Notes in English
An introduction to rieg theory
Slides at CSCAT 2024
CSCAT 2025
Groupe de travail topossique (April 30, 2025)
Local state classifier for algebraic language theory
Centre Lagrange 16th May
IRIF 6th May
Local state classifier for automata theory (IRIF/LIPN)
IRIF 26th May/ LIPN 5th June
Notes in Japanese
構成的数学と表現論
数学基礎論若手の会 2023
数理空間トポス 2021年新歓
数理空間トポス 2022年新歓
数理空間トポス 2023年新歓
数理空間トポス 2024年新歓