About
Updated: 2021-02-02

数学を専攻している修士課程の学生です. 専門は数学基礎論です.

Profile

Talks

Projects

  • 位相空間具体例愛好会プロジェクト (仮称) (工事中)
    • 多種多様な位相空間の具体例を収集し, 空間の性質の調べ上げを証明付きで行います. そうして整理したデータを, 検索機能を備えた Web サイトとして一般公開する予定です.
    • ロールモデルとして, 書籍 [Steen, Seebach] “Counterexamples in Topology” と Web サイト π-Base の 2 つを主に念頭に置いています.
    • メンバーは現状, 私と友人の 2 人です.
    • 公開に向けてセットアップ中 (2021/02/02 現在)

Interests

  • Reverse Mathematics
  • Topology
このエントリーをはてなブックマークに追加