活動
-
Categories in Tokyo
東京での対面集会を中心とした圏論のコミュニティ．
-
BiSCiT
Categories in Tokyoの隔月セミナーシリーズ．
-
AI for Math勉強会
数学者の視点から，数学研究でのAI活用を考えるセミナーシリーズ．全体設計を担当．
-
JCGTW
- 2026年11月2日〜4日主催・運営Categories in Tokyo 3． 予定
- 2026年11月7日参加東京都立科学技術高等学校の卒業研究発表会に数学・情報の講評者として参加予定． 予定
- 2026年11月16日参加東京大学 本郷キャンパスの「AIと数学・理論物理のいま：GPT研究会から3年」に参加予定． 仮予定
- 2026年11月23日〜24日参加AutumnFesta 2026． 予定
- 2026年12月1日参加東京で開催されるNEDO「数学イノベーション共創イベント」第2回に参加予定． 予定
- 2027年1月21日〜23日参加CGTC VI: Combinatorial Game Theory Colloquium VI． 仮予定
- 2026年10月31日ポスター数学とAIがなすべきこと — 異分野・異業種研究交流会2026, Tokyo, Japan.
- 2026年10月30日参加書泉グランデでの『結びつく圏論』刊行記念講演会に参加．
- 2026年10月28日参加Categories in Tokyoの活動，BiSCiT 3に参加．
- 2026年10月26日参加一橋講堂でのSakana AIのイベント「From World Models to Real-World AI｜日本から拓くAIの新時代」に参加．
- 2026年10月24日参加東京ミッドタウンのカンファレンス2026「マシン・コンシャスネス」に参加（1日目）．
- 2026年10月22日主催・運営第3回AI for Math勉強会を主催（ハイブリッド開催，10月21日時点の登録者153名，うち対面参加76名）．
- 2026年10月22日講演過渡期に数学を愛してしまったあなたへ — AI for Math勉強会 第3回, Tokyo, Japan.
- 2026年10月20日参加東京開催のOpenAI DevDay Exchange 2026に参加．
- 2026年10月16日参加第2回AIセーフティシンポジウムに参加．
- 2026年10月14日参加AI Safety Tokyoの勉強会「Calls for AI Governance」に参加．
- 2026年10月13日参加東京大学 本郷キャンパスの「AIの次の10年：私たちの選択」に参加．
- 2026年10月6日参加東京科学大学・湯島キャンパスの「意識の科学：構造・機能・現象の統合的理解に向けて」に参加．
- 2026年9月29日講演A Rota-Baxter equation for winning games — ItaCa Fest 2026, オンライン.
- 2026年9月28日参加ZEN数学センター 初心者向けLean研究会に参加（9月28日のみ，逗子）．
- 2026年9月15日訪問理化学研究所 数理創造研究センター（iTHEMS）を訪問．
- 2026年9月12日参加LessWrong Tokyo / ACX meetupに参加．
- 2026年9月12日講演文字列から現代数学へ — 数学カフェ 最先端数学講演「文字列の数理」, Tokyo, Japan.
- 2026年9月5日講演圏論は役に立つのか：数学者とエンジニアの対話から考える夜 — 圏論NIGHT, Tokyo, Japan.
- 2026年8月5日参加Categories in Tokyoの活動，BiSCiT 2に参加．
- 2026年7月21日〜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日〜10日参加タリンのACT 2026に参加し，セッションの座長を担当．
- 2026年6月4日主催・運営第1回AI for Math勉強会を主催（ハイブリッド開催，参加者約43名）．
- 2026年6月3日主催・運営Categories in Tokyoの活動，BiSCiT 1を主催．
- 2026年5月27日〜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大学祭-を訪問．
- 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日〜23日参加組合せゲーム・パズル（CGP）プロジェクト第20回研究集会に参加．
- 2026年2月22日講演Turning lights out with the Snake Lemma — 20th meeting of the CGP Project, Chofu, Japan (発表者： Kyosuke Higashida).
- 2026年2月7日〜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日〜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日〜21日参加理化学研究所で開催されたロジックウィンタースクールIIIに参加．
- 2025年2月12日参加Kyoto Category Theory Meetingに参加．
- 2025年1月〜2月節目condensed mathematicsを主題とするFoPMの研究室ローテーションを修了．
- 2024年12月参加RIMSで浦本武雄氏によるオートマトンと類体論の講義に参加．
- 2024年11月30日ポスターQuotient topoi and geometry of computation — AFSA area meeting, Tokyo, Japan.
- 2024年11月23日〜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日〜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月7日講演Constructive mathematics and representation theory — 数学基礎論若手の会2023, Kyonan, Chiba, Japan.
- 2023年10月訪問RIMSとAFSAコロキウムのため京都を訪問．
- 2023年9月22日メディア数理物理ラジオ「母関数の種」でJoyalの種の理論について話した．
- 2023年9月3日〜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日〜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日〜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件を査読．