Solution to Lawvere's first problem: A Grothendieck topos that has proper class many quotient topoi
Gives a solution to Lawvere's first open problem.
- 2026年11月2日〜4日主催・運営Categories in Tokyo 3．
- 2026年11月14日講演題目未定 — ZEN大学 ずしフェス -ZUSHI ACADEMIC FESTIVAL-, Zushi, Japan
- 2026年12月8日講演題目未定 — Intensive lecture for beginners, hosted by Masafumi Oizumi (The University of Tokyo)
- 2026年12月27日講演題目未定 — MATH EXPO 2026, Yokohama, Japan
- 2027年2月講演題目未定 — AI for Math at Osaka
参加予定
- 2026年11月7日東京都立科学技術高等学校の卒業研究発表会に数学・情報の講評者として参加予定．
- 2026年11月16日東京大学 本郷キャンパスの「AIと数学・理論物理のいま：GPT研究会から3年」に参加予定． 仮予定
- 2026年11月23日〜24日AutumnFesta 2026．
- 2026年12月1日東京で開催されるNEDO「数学イノベーション共創イベント」第2回に参加予定．
- 2027年1月21日〜23日CGTC VI: Combinatorial Game Theory Colloquium VI． 仮予定
現在
- ZEN大学助教 2026年4月から
- HUMAIセンター研究員 2026年4月から
- 数理空間トポスで現代数学を指導 2020年7月から
- 角川ドワンゴ学園 研究部アドバイザー 2025年6月から
主催・運営
- Categories in Tokyo — 創設者・代表 2024年4月から
- AI for Math勉強会 — 創設者・主催者 2026年6月から
学歴など
- 博士（数理科学）, 東京大学 (2026) — Connectedness and full subcategories of topoi
- 修士（数理科学）, 東京大学 (2024) — Two classification theorems of quotient toposes
- 学士（理学）, 東京大学 (2022)
- 東京大学大学院数理科学研究科博士課程 数理科学研究科長賞・修了生代表． 2026年3月
- SLACS 2025発表賞． 2025年10月