From 11th April to 26th June 2025, I am staying in Paris.
I will attend and give a short talk at CT2025 13-19 July, Czech Republic.
Jan, Feb/ I did Lab Rotation on condensed mathematics.
Feb/ I've attended Kyoto Category Theory Meeting at Kyoto.
Feb/ I've attend Logic Winter School at RIKEN, Saitama.
Feb/I gave a talk at CMUP Semigroups, Automata and Languages seminar online.
Mar/ I put j.w.w. Yuki Maehara about the fourth open problem on arXiv.
Mar/ I put the paper about completely connected topoi on arXiv.
Mar/ I attended CSCAT2025 and gave a talk on topoi of automata.
Apr/ I came to Paris, as a RA at CTTA and a visitor in Paris-Saclay University.
Apr/ I have visited LIPN for discussing with Morgan Rogers.
Apr/ I have attended Two days seminar of by Joshua Wrigley at Université Paris Cité.
Apr/ I talked about Topoi of automata at Groupe de travail topossique CTTA, Paris.
May/ I talked about Topoi of automata at Categories for Automata and Language Theory IRIF, Paris.
May/ I have attended the first of OxTop seminar, where Prof. Peter Johnstone talked about my paper(!), at the Oxford University, UK.
May/ I talked about local state classifier at Groupe de travail topossique CTTA, Paris.
May/ I have attended Itaca Fest May online from Centre Lagrange.
May/ I gave a talk at sémantique seminar at IRIF, Paris.
May/ I have attended Morgan Rogers' talk at Théorie des Topos reading group online.
Jun/ I gave a talk on 5th June at LIPN.
Jan/ I submitted my master thesis on Quotient toposes.
Feb/ I passed the entrance exam for the Dr course.
Mar/ I talked about recursive coalgebras at CSCAT2024.
Mar/ I gave an introductory talk on topos theory at 代数トポロジー若手の会.
Mar/ Joint work with Yuhi Kamio, Quotient toposes of discrete dynamical systesms is accepted by Journal of Pure and Applied Algebra. doi
Apr/ My paper on local state classifier is accepted.
Apr/ At the AFSA Colloquium, I gave an outreach talk on category theory for researchers outside of mathematics.
May/ I've organized the 0th conference of Categories in Tokyo.
Jun/ I visited the Queen Mary University of London.
Jun/ I gave a talk at CT2024 at Santiago de Compostela.
Jul/ I've attended TACL2024 at Barcelona.
Jul/ We submit Joint work with Yuhi Kamio at arXiv.
Aug/ I've visited Kyoto RIMS.
Aug/ My first TAC paper was finally published!
Aug/ I will attend オートマトン理論若手の会 (Young Automata Theorists Gathering in Japan)
Sep/ I've given a talk at Toposes in Mondovi at Mondovi.
Nov/ I've arXived my paper on topoi of automata.
Nov/ I've organized the first conference of Categories in Tokyo.
Nov/ I gave a poster session talk at AFSA領域集会.
Dec/ I have attended the courses on Automata and Class field theory by Prof. Uramoto at RIMS.
Feb/ FoPM symposium
Feb/ I uploaded my paper on arXiv
Mar/ I talked about Applied Category Theory at FoPM seminar
Mar/ CSCAT
Apr/ AusCatSeminar
May/ JCGTW
May/ I talked about Applied Category Theory at a bookstore talk event (!?)
Jun/ EmCat meeting for CT2023
Jul/ CT2023
Jul/ I talked about Joyal's species at "Math space topos"
Aug/ Speaker and Organizer at JCGTW
Aug/ Staff and Participant at ICIAM
Sep/ 数物セミナーadv at Okayama
Sep/ Discussion with Prof. Ivan Tomasic at Kyoto and Tokyo
Sep/ My friend's paper has been uploaded on arXiv, which I was a little involved
Sep/ I Attended The last seminar on the book of the notion of abduction at NII.
Sep/ I Talked about Joyal's species on my friend's YouTube channel 数理物理ラジオ (in Japanese). The archive is available here.
Oct/ I uploaded our new paper with Yuhi Kamio
Oct/ Visit in Kyoto (RIMS and AFSA colloquium)
Oct/ A paper on combinatorial game theory in which I am acknowledged has been uploaded to arXiv.
Dec/ I talked about logical aspects of topoi at 数学基礎論若手の会2023
Bouldering (Rock Climbing)
Programming and Simulations