Assistant Professor, ZEN University

Ryuya Hora 洞龍弥

Writings Talks

Upcoming

14 November 2026Talk数学の未解決問題を解こう — ZEN大学ずしフェス -ZUSHI ACADEMIC FESTIVAL-, Zushi, Japan
8 December 2026TalkKan拡張入門：再構成の数理として — Intensive lecture for beginners, hosted by Masafumi Oizumi (The University of Tokyo), Tokyo, Japan
27 December 2026TalkTitle pending — MATH EXPO 2026, Yokohama, Japan
February 2027TalkTitle pending — AI for Math at Osaka
Date to be announcedOrganizingCo-organizing AfM RIMS at RIMS, Kyoto University.

Also attending

16 November 2026AIと数学・理論物理のいま：GPT研究会から3年 at The University of Tokyo, Hongo Campus.
23–24 November 2026AutumnFesta 2026.
1 December 2026NEDO 数学イノベーション共創イベント (second meeting) at Center of Garage, Tokyo.
19–20 December 2026形式検証の最前線 at the National Institute of Informatics.
21–23 January 2027CGTC VI: Combinatorial Game Theory Colloquium VI. tentative
16–17 March 2027CSCAT 2027: Computer Science and Category Theory at RIMS, Kyoto University.
Autumn 2027 (date to be announced)Categories in Tokyo 4. tentative

Ph.D. in Mathematical Sciences, The University of Tokyo (2026) — Connectedness and full subcategories of topoi
- Dean's award and Graduation Representative.
Master of Mathematical Sciences, The University of Tokyo (2024) — Two classification theorems of quotient toposes
- Dean's award and Graduation Representative.
Bachelor of Science, The University of Tokyo (2022)
- Faculty of Science encouragement award.
SLACS 2025 presentation award. October 2025

Introduces local state classifiers and uses them to establish an internal parameterization of hyperconnected quotients.