Activities

Organizing

Categories in Tokyo

Founder and representativesince April 2024

A series of domestic research conferences in category theory.
BiSCiT

Founder and organizersince June 2026

A bimonthly seminar series of Categories in Tokyo.
AI for Math勉強会

Founder and organizersince June 2026

A seminar series on the use of AI in mathematical research, from mathematicians’ perspectives. Responsible for the overall design of the series.
JCGTW

Organizing committee member

Plans

22 October 2026Organizingthe third AI for Math meeting. planned
2–4 November 2026OrganizingCategories in Tokyo 3. planned
21–23 January 2027AttendanceCGTC VI: Combinatorial Game Theory Colloquium VI. tentative

2026

5 September 2026Talk圏論は役に立つのか：数学者とエンジニアの対話から考える夜 — 圏論NIGHT, Tokyo, Japan.
5 August 2026AttendanceAttended BiSCiT 2, a Categories in Tokyo activity.
21–23 July 2026AttendanceAttended ZMC Conference 2026: Arithmetic geometry, AI, and Lean.
17 July 2026OrganizingOrganized the second AI for Math meeting (hybrid; 46 registrants, including 29 registered for in-person participation).
17 July 2026TalkAIについて数学者は(何を)考えるべきか — AI for Math勉強会第2回, Tokyo, Japan.
6–10 July 2026AttendanceAttended ACT 2026 in Tallinn, and chaired a session.
4 June 2026OrganizingOrganized the first AI for Math meeting (hybrid; approximately 43 participants).
3 June 2026OrganizingOrganized BiSCiT 1, a Categories in Tokyo activity.
27–30 May 2026AttendanceAttended CCC 2026: Continuity, Computability, Constructivity.
23 May 2026Talkベン図からトポスへ — Math Space Topos 2026 new welcome event.
20 May 2026AttendanceAttended Takayuki Kihara's Nagoya University lecture online.
19 May 2026VisitMet Kentaro Izumi, a paleontologist at Chiba University.
8 May 2026AttendanceAttended the Pacific Category Theory Seminar online.
1 May 2026AttendanceAttended the Tohoku Logic Seminar online.
26 April 2026VisitVisited 展軸祭2026 - ZEN University Festival at Makuhari Messe.
24 April 2026AttendanceAttended the Pacific Category Theory Seminar online.
6 April 2026TalkA Rota-Baxter equation for winning games — Differentiation in category theory and program semantics, Kyoto, Japan.
5 April 2026MilestoneAttended the HUMAI Anthology final screening.
27 March 2026AttendanceAttended the Pacific Category Theory Seminar online.
27 March 2026AttendanceAttended Workshop on Modal Logic.
24 March 2026MilestoneReceived Ph.D. at the AY 2025 Diploma Presentation Ceremony.
16 March 2026TalkA space⋊time for Conway’s Game of Life — CSCAT 2026, Fukui, Japan.
11 March 2026PosterMeasure-theoretic closure operators on formal languages — PPL 2026, Takamatsu, Japan.
22–23 February 2026AttendanceAttended the 20th Combinatorial Games and Puzzle Project.
22 February 2026TalkTurning lights out with the Snake Lemma — 20th CGP project, Chofu, Japan (Presented by Kyosuke Higashida).
7–8 February 2026OrganizingOrganized Categories in Tokyo 2.
23 January 2026TalkConnectedness and full subcategories of topoi — Ph.D. thesis presentation, Tokyo, Japan.
January 2026MilestoneSubmitted Ph.D. thesis.

2025

19 December 2025AttendanceAttended TMU geometry seminar.
12 December 2025AttendanceAttended PCT seminar.
5 December 2025TalkLocal state classifier, The axiom of choice, and permutation model — UTokyo Logic seminar, Tokyo, Japan.
28 November 2025TalkConnectedness and full subcategories of topoi — UTokyo Logic seminar, Tokyo, Japan.
16 November 2025AttendanceAttended a combinatorial game theory research seminar retreat for the NII collaborative research project 組合せゲーム理論の応用可能性の探求 at the NII Karuizawa International Seminar House.
November 2025AttendanceAttended a seminar by Ryoma Sin'ya at Hongo campus, The University of Tokyo.
31 October 2025TalkTopoi of automata — SLACS 2025, Akita, Japan.
18–19 October 2025AttendanceAttended the 25th Takagi Lectures.
17 July 2025TalkTopoi of automata — CT 2025, Brno, Czech Republic.
11 June 2025TalkA topos for regular language theory — Theoretical Cosynus Seminar, Palaiseau, France.
5 June 2025TalkLocal state classifier for automata theory — Séminaires du LIPN, Villetaneuse, France.
27 May 2025TalkLocal state classifier for automata theory — IRIF Sémantique seminar, Paris, France.
16 May 2025TalkLocal state classifier for algebraic language theory — Groupe de travail topossique, Paris, France.
13 May 2025AttendanceAttended the first TopOx seminar at Oxford University.
6 May 2025TalkTopoi of automata — Categories for Automata and Language Theory, Paris, France.
30 April 2025TalkTopoi of automata — Groupe de travail topossique, Paris, France.
April 2025AttendanceAttended a two-day seminar by Joshua Wrigley at Université Paris Cité.
April 2025VisitVisited LIPN for discussion with Morgan Rogers.
11 March 2025TalkTopoi of automata — CSCAT 2025, Kumamoto, Japan.
28 February 2025TalkTopoi of automata — CMUP SAL seminar, online.
17–21 February 2025AttendanceAttended Logic Winter School III at RIKEN.
12 February 2025AttendanceAttended the Kyoto Category Theory Meeting.
January – February 2025MilestoneCompleted a FoPM lab rotation on condensed mathematics.

2024

December 2024AttendanceAttended courses on Automata and Class field theory by Takeo Uramoto at RIMS.
30 November 2024TalkQuotient topoi and geometry of computation — AFSA area meeting, Tokyo, Japan.
23–24 November 2024OrganizingOrganized Categories in Tokyo 1.
10 September 2024TalkThe colimit of all monomorphisms classifies hyperconnected geometric morphisms — Toposes in Mondovì, Mondovì, Italy.
29 August 2024TalkTopos theory as a tool of automata theory — Young Automata Theorists Gathering in Japan, Akita, Japan.
August 2024VisitVisited RIMS, Kyoto University.
1–5 July 2024AttendanceAttended TACL 2024.
28 June 2024TalkQuotient toposes of discrete dynamical systems — CT 2024, Santiago de Compostela, Spain.
June 2024VisitVisited Queen Mary University of London.
18 May 2024Talkアイゼンシュタイン整数と組合せ論 — Math Space Topos 2024 new welcome event.
15 May 2024OrganizingOrganized Categories in Tokyo 0.
24 April 2024Talk圏論の利用と濫用 — 18th AFSA Colloquium, Tokyo, Japan.
16 March 2024TalkIntroduction to topos theory — 代数トポロジー若手の会, Nagoya, Japan.
15 March 2024TalkCombinatorial games as recursive coalgebras — CSCAT 2024, Chiba, Japan.

2023

10 December 2023TalkConstructive mathematics and representation theory — 数学基礎論若手の会2023, Kyonan, Chiba, Japan.
October 2023VisitVisited Kyoto for RIMS and the AFSA Colloquium.
22 September 2023MediaSpoke about Joyal's theory of species in 数理物理ラジオ母関数の種.
3–5 September 2023AttendanceAttended the 3rd 数物セミナーAdvanced at Okayama.
September 2023AttendanceAttended the last seminar on abduction at NII Kanda Lab.
September 2023VisitDiscussion with Ivan Tomašić at Tokyo.
September 2023VisitDiscussion with Ivan Tomašić at RIMS, Kyoto University.
21 August 2023TalkCategory Theory and Combinatorial Game Theory — 7th Japan Combinatorial Game Theory Conference, Tokyo, Japan.
20–25 August 2023AttendanceStaff and participant at ICIAM 2023.
15 July 2023Talk母関数の種 — Math Space Topos 2023 new welcome event.
6 July 2023TalkInternal parameterization of hyperconnected quotients — Category Theory 2023, Louvain-la-Neuve, Belgium.
June 2023AttendanceParticipated in Em-Cats.
26 May 2023VisitTalked at 数理空間トポス 5th anniversary public event at Shosen Grande.
12 May 2023TalkGrundy Numbers and Categories — Japan Combinatorial Game Theory Mini-Workshops with Urban Larsson, Tokyo, Japan.
19 April 2023TalkInternal parameterization of hyperconnected quotients — Australian Category Seminar, online.
10 March 2023TalkInternal parameterization of hyperconnected quotients — CSCAT 2023, Kyoto, Japan.
March 2023VisitTalked about Applied Category Theory at a FoPM seminar on Hongo campus, The University of Tokyo.
6–8 February 2023AttendanceAttended FoPM International Symposium.

2022

4 June 2022Talk順序集合で遊ぶKan拡張 — Math Space Topos 2022 new welcome event.

2021

4 December 2021Talkゼータ関数とメビウス反転 — Math Space Topos 2021 new welcome event.

Other

Peer reviewPeer-reviewed one manuscript for Applied Categorical Structures.