Activités
-
Categories in Tokyo
Série de conférences de recherche en théorie des catégories au Japon.
-
BiSCiT
Série de séminaires de Categories in Tokyo, tous les deux mois.
-
AI for Math勉強会
Série de séminaires sur l’usage de l’IA dans la recherche mathématique, du point de vue des mathématiciens. Responsable de la conception d’ensemble.
-
JCGTW
- 22 octobre 2026OrganisationTroisième rencontre AI for Math. prévu
- 2 novembre 2026 – 4 novembre 2026OrganisationCategories in Tokyo 3. prévu
- 21 janvier 2027 – 23 janvier 2027ParticipationCGTC VI : Combinatorial Game Theory Colloquium VI. provisoire
- 5 septembre 2026Exposé圏論は役に立つのか：数学者とエンジニアの対話から考える夜 — 圏論NIGHT, Tokyo, Japan.
- 5 août 2026ParticipationParticipation à BiSCiT 2, une activité de Categories in Tokyo.
- 21 juillet 2026 – 23 juillet 2026ParticipationParticipation à ZMC Conference 2026: Arithmetic geometry, AI, and Lean.
- 17 juillet 2026OrganisationOrganisation de la deuxième rencontre AI for Math (hybride ; 46 inscrits, dont 29 en présentiel).
- 17 juillet 2026ExposéAIについて数学者は(何を)考えるべきか — AI for Math勉強会 第2回, Tokyo, Japan.
- 6 juillet 2026 – 10 juillet 2026ParticipationParticipation à ACT 2026 à Tallinn et présidence d’une session.
- 4 juin 2026OrganisationOrganisation de la première rencontre AI for Math (hybride ; environ 43 participants).
- 3 juin 2026OrganisationOrganisation de BiSCiT 1, une activité de Categories in Tokyo.
- 27 mai 2026 – 30 mai 2026ParticipationParticipation à CCC 2026: Continuity, Computability, Constructivity.
- 23 mai 2026Exposéベン図からトポスへ — Math Space Topos 2026 new welcome event.
- 20 mai 2026ParticipationParticipation en ligne au cours de Takayuki Kihara à l’Université de Nagoya.
- 19 mai 2026VisiteRencontre avec Kentaro Izumi, paléontologue à l’Université de Chiba.
- 8 mai 2026ParticipationParticipation en ligne au Pacific Category Theory Seminar.
- 1 mai 2026ParticipationParticipation en ligne au Tohoku Logic Seminar.
- 26 avril 2026VisiteVisite de 展軸祭2026 - ZEN University Festival à Makuhari Messe.
- 24 avril 2026ParticipationParticipation en ligne au Pacific Category Theory Seminar.
- 6 avril 2026ExposéA Rota-Baxter equation for winning games — Differentiation in category theory and program semantics, Kyoto, Japan.
- 5 avril 2026ÉtapeParticipation à la sélection finale de HUMAI Anthology.
- 27 mars 2026ParticipationParticipation en ligne au Pacific Category Theory Seminar.
- 27 mars 2026ParticipationParticipation au Workshop on Modal Logic.
- 24 mars 2026ÉtapeObtention du doctorat lors de la cérémonie de remise des diplômes de l’année universitaire 2025.
- 16 mars 2026ExposéA space⋊time for Conway’s Game of Life — CSCAT 2026, Fukui, Japan.
- 11 mars 2026PosterMeasure-theoretic closure operators on formal languages — PPL 2026, Takamatsu, Japan.
- 22 février 2026 – 23 février 2026ParticipationParticipation au 20th Combinatorial Games and Puzzle Project.
- 22 février 2026ExposéTurning lights out with the Snake Lemma — 20th CGP project, Chofu, Japan (Présenté par Kyosuke Higashida).
- 7 février 2026 – 8 février 2026OrganisationOrganisation de Categories in Tokyo 2.
- 23 janvier 2026ExposéConnectedness and full subcategories of topoi — Ph.D. thesis presentation, Tokyo, Japan.
- janvier 2026ÉtapeDépôt de la thèse de doctorat.
- 19 décembre 2025ParticipationParticipation au séminaire de géométrie de TMU.
- 12 décembre 2025ParticipationParticipation au séminaire PCT.
- 5 décembre 2025ExposéLocal state classifier, The axiom of choice, and permutation model — UTokyo Logic seminar, Tokyo, Japan.
- 28 novembre 2025ExposéConnectedness and full subcategories of topoi — UTokyo Logic seminar, Tokyo, Japan.
- 16 novembre 2025ParticipationParticipation à un séminaire résidentiel de théorie des jeux combinatoires, dans le cadre du projet collaboratif NII 組合せゲーム理論の応用可能性の探求, au NII Karuizawa International Seminar House.
- novembre 2025ParticipationParticipation à un séminaire de Ryoma Sin’ya sur le campus de Hongo de l’Université de Tokyo.
- 31 octobre 2025ExposéTopoi of automata — SLACS 2025, Akita, Japan.
- 18 octobre 2025 – 19 octobre 2025ParticipationParticipation aux 25th Takagi Lectures.
- 17 juillet 2025ExposéTopoi of automata — CT 2025, Brno, Czech Republic.
- 11 juin 2025ExposéA topos for regular language theory — Theoretical Cosynus Seminar, Palaiseau, France.
- 5 juin 2025ExposéLocal state classifier for automata theory — Séminaires du LIPN, Villetaneuse, France.
- 27 mai 2025ExposéLocal state classifier for automata theory — IRIF Sémantique seminar, Paris, France.
- 16 mai 2025ExposéLocal state classifier for algebraic language theory — Groupe de travail topossique, Paris, France.
- 13 mai 2025ParticipationParticipation au premier séminaire TopOx à l’Université d’Oxford.
- 6 mai 2025ExposéTopoi of automata — Categories for Automata and Language Theory, Paris, France.
- 30 avril 2025ExposéTopoi of automata — Groupe de travail topossique, Paris, France.
- avril 2025ParticipationParticipation à un séminaire de deux jours de Joshua Wrigley à Université Paris Cité.
- avril 2025VisiteVisite au LIPN pour discuter avec Morgan Rogers.
- 11 mars 2025ExposéTopoi of automata — CSCAT 2025, Kumamoto, Japan.
- 28 février 2025ExposéTopoi of automata — CMUP SAL seminar, en ligne.
- 17 février 2025 – 21 février 2025ParticipationParticipation à Logic Winter School III au RIKEN.
- 12 février 2025ParticipationParticipation au Kyoto Category Theory Meeting.
- janvier 2025 – février 2025ÉtapeRéalisation d’une rotation de laboratoire FoPM sur les mathématiques condensées.
- décembre 2024ParticipationParticipation aux cours de Takeo Uramoto sur les automates et la théorie du corps de classes au RIMS.
- 30 novembre 2024ExposéQuotient topoi and geometry of computation — AFSA area meeting, Tokyo, Japan.
- 23 novembre 2024 – 24 novembre 2024OrganisationOrganisation de Categories in Tokyo 1.
- 10 septembre 2024ExposéThe colimit of all monomorphisms classifies hyperconnected geometric morphisms — Toposes in Mondovì, Mondovì, Italy.
- 29 août 2024ExposéTopos theory as a tool of automata theory — Young Automata Theorists Gathering in Japan, Akita, Japan.
- août 2024VisiteVisite au RIMS, Université de Kyoto.
- 1 juillet 2024 – 5 juillet 2024ParticipationParticipation à TACL 2024.
- 28 juin 2024ExposéQuotient toposes of discrete dynamical systems — CT 2024, Santiago de Compostela, Spain.
- juin 2024VisiteVisite à Queen Mary University of London.
- 18 mai 2024Exposéアイゼンシュタイン整数と組合せ論 — Math Space Topos 2024 new welcome event.
- 15 mai 2024OrganisationOrganisation de Categories in Tokyo 0.
- 24 avril 2024Exposé圏論の利用と濫用 — 18th AFSA Colloquium, Tokyo, Japan.
- 16 mars 2024ExposéIntroduction to topos theory — 代数トポロジー若手の会, Nagoya, Japan.
- 15 mars 2024ExposéCombinatorial games as recursive coalgebras — CSCAT 2024, Chiba, Japan.
- 10 décembre 2023ExposéConstructive mathematics and representation theory — 数学基礎論若手の会2023, Kyonan, Chiba, Japan.
- octobre 2023VisiteVisite à Kyoto pour le RIMS et l’AFSA Colloquium.
- 22 septembre 2023MédiasPrésentation de la théorie des espèces de Joyal dans 数理物理ラジオ 母関数の種.
- 3 septembre 2023 – 5 septembre 2023ParticipationParticipation au troisième 数物セミナーAdvanced à Okayama.
- septembre 2023ParticipationParticipation au dernier séminaire sur l’abduction au NII, laboratoire Kanda.
- septembre 2023VisiteDiscussion avec Ivan Tomašić à Tokyo.
- septembre 2023VisiteDiscussion avec Ivan Tomašić au RIMS, Université de Kyoto.
- 21 août 2023ExposéCategory Theory and Combinatorial Game Theory — 7th Japan Combinatorial Game Theory Conference, Tokyo, Japan.
- 20 août 2023 – 25 août 2023ParticipationParticipation à ICIAM 2023 comme membre de l’équipe et participant.
- 15 juillet 2023Exposé母関数の種 — Math Space Topos 2023 new welcome event.
- 6 juillet 2023ExposéInternal parameterization of hyperconnected quotients — Category Theory 2023, Louvain-la-Neuve, Belgium.
- juin 2023ParticipationParticipation à Em-Cats.
- 26 mai 2023VisiteIntervention à l’événement public du cinquième anniversaire de 数理空間トポス, à Shosen Grande.
- 12 mai 2023ExposéGrundy Numbers and Categories — Japan Combinatorial Game Theory Mini-Workshops with Urban Larsson, Tokyo, Japan.
- 19 avril 2023ExposéInternal parameterization of hyperconnected quotients — Australian Category Seminar, en ligne.
- 10 mars 2023ExposéInternal parameterization of hyperconnected quotients — CSCAT 2023, Kyoto, Japan.
- mars 2023VisiteExposé sur la théorie appliquée des catégories à un séminaire FoPM, campus de Hongo, Université de Tokyo.
- 6 février 2023 – 8 février 2023ParticipationParticipation au FoPM International Symposium.
- 4 juin 2022Exposé順序集合で遊ぶKan拡張 — Math Space Topos 2022 new welcome event.
- 4 décembre 2021Exposéゼータ関数とメビウス反転 — Math Space Topos 2021 new welcome event.
- Évaluation scientifiqueÉvaluation d’un manuscrit pour Applied Categorical Structures.