Notes with '☁︎' mark is very speculative. Notes with '✍️' mark is still under construction.
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
✍️ A note on language measurability
March 8, 2026
☁︎A Rota-Baxter equation for winning games
April 5, 2026
Notes in Japanese
☁︎構成的数学と表現論
数学基礎論若手の会 2023
Turnig lights out with the Snake Lemma
CGPプロジェクト(written by/ j.w.w 東田 京介)
数理空間トポス 2021年新歓
数理空間トポス 2022年新歓
数理空間トポス 2023年新歓
数理空間トポス 2024年新歓
CSCAT2026
Older Notes (mostly in Japanese): Some older documents can be found via this Notion page.