活動
-
Categories in Tokyo
国内の圏論研究集会シリーズ．
-
BiSCiT
Categories in Tokyoの隔月セミナーシリーズ．
-
AI for Math勉強会
数学者の視点から，数学研究でのAI活用を考えるセミナーシリーズ．全体設計を担当．
-
JCGTW
- 2026年10月22日主催・運営第3回AI for Math． 予定
- 2026年11月2日 – 2026年11月4日主催・運営Categories in Tokyo 3． 予定
- 2027年1月21日 – 2027年1月23日参加CGTC VI: Combinatorial Game Theory Colloquium VI． 仮予定
- 2026年9月5日講演圏論は役に立つのか：数学者とエンジニアの対話から考える夜 — 圏論NIGHT, Tokyo, Japan.
- 2026年8月5日参加Categories in Tokyoの活動，BiSCiT 2に参加．
- 2026年7月21日 – 2026年7月23日参加ZMC Conference 2026: Arithmetic geometry, AI, and Leanに参加．
- 2026年7月17日主催・運営第2回AI for Mathを主催（ハイブリッド開催，登録者46名，うち対面参加登録29名）．
- 2026年7月17日講演AIについて数学者は(何を)考えるべきか — AI for Math勉強会 第2回, Tokyo, Japan.
- 2026年7月6日 – 2026年7月10日参加タリンのACT 2026に参加し，セッションの座長を担当．
- 2026年6月4日主催・運営第1回AI for Mathを主催（ハイブリッド開催，参加者約43名）．
- 2026年6月3日主催・運営Categories in Tokyoの活動，BiSCiT 1を主催．
- 2026年5月27日 – 2026年5月30日参加CCC 2026: Continuity, Computability, Constructivityに参加．
- 2026年5月23日講演ベン図からトポスへ — Math Space Topos 2026 new welcome event.
- 2026年5月20日参加名古屋大学での木原貴行氏の講義にオンライン参加．
- 2026年5月19日訪問千葉大学の古生物学者，泉賢太郎氏と面会．
- 2026年5月8日参加Pacific Category Theory Seminarにオンライン参加．
- 2026年5月1日参加Tohoku Logic Seminarにオンライン参加．
- 2026年4月26日訪問幕張メッセでの展軸祭2026 - ZEN University Festivalを訪問．
- 2026年4月24日参加Pacific Category Theory Seminarにオンライン参加．
- 2026年4月6日講演A Rota-Baxter equation for winning games — Differentiation in category theory and program semantics, Kyoto, Japan.
- 2026年4月5日節目HUMAI Anthology最終審査会に参加．
- 2026年3月27日参加Pacific Category Theory Seminarにオンライン参加．
- 2026年3月27日参加Workshop on Modal Logicに参加．
- 2026年3月24日節目2025年度学位記授与式で博士号を取得．
- 2026年3月16日講演A space⋊time for Conway’s Game of Life — CSCAT 2026, Fukui, Japan.
- 2026年3月11日ポスターMeasure-theoretic closure operators on formal languages — PPL 2026, Takamatsu, Japan.
- 2026年2月22日 – 2026年2月23日参加第20回組合せゲーム・パズルプロジェクトに参加．
- 2026年2月22日講演Turning lights out with the Snake Lemma — 20th CGP project, Chofu, Japan (発表者： Kyosuke Higashida).
- 2026年2月7日 – 2026年2月8日主催・運営Categories in Tokyo 2を主催．
- 2026年1月23日講演Connectedness and full subcategories of topoi — Ph.D. thesis presentation, Tokyo, Japan.
- 2026年1月節目博士論文を提出．
- 2025年12月19日参加東京都立大学の幾何学セミナーに参加．
- 2025年12月12日参加PCT seminarに参加．
- 2025年12月5日講演Local state classifier, The axiom of choice, and permutation model — UTokyo Logic seminar, Tokyo, Japan.
- 2025年11月28日講演Connectedness and full subcategories of topoi — UTokyo Logic seminar, Tokyo, Japan.
- 2025年11月16日参加NII軽井沢国際高等セミナーハウスで，NII共同研究「組合せゲーム理論の応用可能性の探求」の研究合宿に参加．
- 2025年11月参加東京大学本郷キャンパスで新屋良磨氏のセミナーに参加．
- 2025年10月31日講演Topoi of automata — SLACS 2025, Akita, Japan.
- 2025年10月18日 – 2025年10月19日参加第25回高木レクチャーに参加．
- 2025年7月17日講演Topoi of automata — CT 2025, Brno, Czech Republic.
- 2025年6月11日講演A topos for regular language theory — Theoretical Cosynus Seminar, Palaiseau, France.
- 2025年6月5日講演Local state classifier for automata theory — Séminaires du LIPN, Villetaneuse, France.
- 2025年5月27日講演Local state classifier for automata theory — IRIF Sémantique seminar, Paris, France.
- 2025年5月16日講演Local state classifier for algebraic language theory — Groupe de travail topossique, Paris, France.
- 2025年5月13日参加オックスフォード大学で第1回TopOx seminarに参加．
- 2025年5月6日講演Topoi of automata — Categories for Automata and Language Theory, Paris, France.
- 2025年4月30日講演Topoi of automata — Groupe de travail topossique, Paris, France.
- 2025年4月参加Université Paris CitéでJoshua Wrigley氏の2日間のセミナーに参加．
- 2025年4月訪問Morgan Rogers氏との議論のためLIPNを訪問．
- 2025年3月11日講演Topoi of automata — CSCAT 2025, Kumamoto, Japan.
- 2025年2月28日講演Topoi of automata — CMUP SAL seminar, オンライン.
- 2025年2月17日 – 2025年2月21日参加理化学研究所のLogic Winter School IIIに参加．
- 2025年2月12日参加Kyoto Category Theory Meetingに参加．
- 2025年1月 – 2025年2月節目FoPMのラボローテーションでcondensed mathematicsを学習．
- 2024年12月参加RIMSで浦元武雄氏によるオートマトンと類体論の講義に参加．
- 2024年11月30日講演Quotient topoi and geometry of computation — AFSA area meeting, Tokyo, Japan.
- 2024年11月23日 – 2024年11月24日主催・運営Categories in Tokyo 1を主催．
- 2024年9月10日講演The colimit of all monomorphisms classifies hyperconnected geometric morphisms — Toposes in Mondovì, Mondovì, Italy.
- 2024年8月29日講演Topos theory as a tool of automata theory — Young Automata Theorists Gathering in Japan, Akita, Japan.
- 2024年8月訪問京都大学数理解析研究所を訪問．
- 2024年7月1日 – 2024年7月5日参加TACL 2024に参加．
- 2024年6月28日講演Quotient toposes of discrete dynamical systems — CT 2024, Santiago de Compostela, Spain.
- 2024年6月訪問Queen Mary University of Londonを訪問．
- 2024年5月18日講演アイゼンシュタイン整数と組合せ論 — Math Space Topos 2024 new welcome event.
- 2024年5月15日主催・運営Categories in Tokyo 0を主催．
- 2024年4月24日講演圏論の利用と濫用 — 18th AFSA Colloquium, Tokyo, Japan.
- 2024年3月16日講演Introduction to topos theory — 代数トポロジー若手の会, Nagoya, Japan.
- 2024年3月15日講演Combinatorial games as recursive coalgebras — CSCAT 2024, Chiba, Japan.
- 2023年12月10日講演Constructive mathematics and representation theory — 数学基礎論若手の会2023, Kyonan, Chiba, Japan.
- 2023年10月訪問RIMSとAFSA Colloquiumのため京都を訪問．
- 2023年9月22日メディア数理物理ラジオ「母関数の種」でJoyalの種の理論について話した．
- 2023年9月3日 – 2023年9月5日参加岡山で第3回数物セミナーAdvancedに参加．
- 2023年9月参加NII神田ラボでアブダクションに関する最終セミナーに参加．
- 2023年9月訪問東京でIvan Tomašić氏と議論．
- 2023年9月訪問京都大学RIMSでIvan Tomašić氏と議論．
- 2023年8月21日講演Category Theory and Combinatorial Game Theory — 7th Japan Combinatorial Game Theory Conference, Tokyo, Japan.
- 2023年8月20日 – 2023年8月25日参加ICIAM 2023にスタッフ・参加者として参加．
- 2023年7月15日講演母関数の種 — Math Space Topos 2023 new welcome event.
- 2023年7月6日講演Internal parameterization of hyperconnected quotients — Category Theory 2023, Louvain-la-Neuve, Belgium.
- 2023年6月参加Em-Catsに参加．
- 2023年5月26日訪問書泉グランデで数理空間トポス5周年記念公開イベントに登壇．
- 2023年5月12日講演Grundy Numbers and Categories — Japan Combinatorial Game Theory Mini-Workshops with Urban Larsson, Tokyo, Japan.
- 2023年4月19日講演Internal parameterization of hyperconnected quotients — Australian Category Seminar, オンライン.
- 2023年3月10日講演Internal parameterization of hyperconnected quotients — CSCAT 2023, Kyoto, Japan.
- 2023年3月訪問東京大学本郷キャンパスのFoPMセミナーで応用圏論について講演．
- 2023年2月6日 – 2023年2月8日参加FoPM International Symposiumに参加．
- 2022年6月4日講演順序集合で遊ぶKan拡張 — Math Space Topos 2022 new welcome event.
- 2021年12月4日講演ゼータ関数とメビウス反転 — Math Space Topos 2021 new welcome event.
- 査読Applied Categorical Structuresの原稿1件を査読．