Topoi of automata I: Four topoi of automata and regular languages
Introduit un point de vue topos-théorique sur la théorie des langages formels.
Assistant Professor à l’université ZEN
Ryuya Hora 洞龍弥
- Professionnel ryuya_hora@zen.ac.jp
- Personnel horaryuya38@gmail.com
Actuellement
- Assistant Professor à l’université ZEN depuis avril 2026
- Chercheur au centre HUMAI depuis avril 2026
- Enseignement des mathématiques modernes à Math Space Topos depuis juillet 2020
- Conseiller du club de recherche de 角川ドワンゴ学園 depuis juin 2025
Formation
- Doctorat en mathématiques, Université de Tokyo (2026) — Connectedness and full subcategories of topoi
- Master en mathématiques, Université de Tokyo (2024) — Two classification theorems of quotient toposes
- Licence ès sciences, Université de Tokyo (2022)
- Prix du doyen et représentant des diplômés du doctorat, Graduate School of Mathematical Sciences, Université de Tokyo. mars 2026
- Prix de présentation SLACS 2025. octobre 2025
- 29 septembre 2026ExposéTitre à venir — ItaCa Fest 2026 (en ligne)
- 22 octobre 2026OrganisationTroisième rencontre AI for Math.
- 2 novembre 2026 – 4 novembre 2026OrganisationCategories in Tokyo 3.
- 21 janvier 2027 – 23 janvier 2027ParticipationCGTC VI : Combinatorial Game Theory Colloquium VI. provisoire