Topoi of automata I: Four topoi of automata and regular languages
形式言語理論へのトポス理論的視点を導入する．
ZEN大学助教
Ryuya Hora 洞龍弥
現在
- ZEN大学助教 2026年4月から
- HUMAIセンター研究員 2026年4月から
- 数理空間トポスで現代数学を指導 2020年7月から
- 角川ドワンゴ学園 研究部 顧問 2025年6月から
学歴など
- 博士（数理科学）, 東京大学 (2026) — Connectedness and full subcategories of topoi
- 修士（数理科学）, 東京大学 (2024) — Two classification theorems of quotient toposes
- 学士（理学）, 東京大学 (2022)
- 東京大学大学院数理科学研究科博士課程 研究科長賞・修了生代表． 2026年3月
- SLACS 2025講演賞． 2025年10月
- 2026年9月29日講演題目未定 — ItaCa Fest 2026 (オンライン)
- 2026年10月22日主催・運営第3回AI for Math．
- 2026年11月2日 – 2026年11月4日主催・運営Categories in Tokyo 3．
- 2027年1月21日 – 2027年1月23日参加CGTC VI: Combinatorial Game Theory Colloquium VI． 仮予定