Ryuya Hora洞龍弥

講演

2026

  1. 2026年9月29日

    題目未定

    ItaCa Fest 2026 オンライン 予定

  2. 2026年9月12日

    文字列から現代数学へ

    数学カフェ 先端講演 9F, Special Conference Room（特）, 台東区民会館, Tokyo 予定 一般向け

    Interactive slides (HTML)

  3. 2026年9月5日

    圏論は役に立つのか：数学者とエンジニアの対話から考える夜

    圏論NIGHT 学術バーQ, Tokyo 共同発表： Kory 一般向け

    Categories in Tokyoとの共同イベント．こりー氏との対談．

    参加登録
    • Category
    Slides (HTML)

  4. 2026年7月17日

    AIについて数学者は(何を)考えるべきか

    AI for Math勉強会 第2回 12F, Kabukiza Tower, Tokyo 一般向け

    Slides (HTML)

  5. 2026年5月23日

    ベン図からトポスへ

    Math Space Topos 2026 new welcome event 一般向け

    • Topos
    スライド（PDF）

  6. 2026年4月6日

    A Rota-Baxter equation for winning games

    Differentiation in category theory and program semantics Room 420, RIMS, Kyoto University

    論文: Differential calculus of impartial combinatorial games

    • Game
    スライド（PDF）

  7. 2026年3月16日

    A space⋊time for Conway’s Game of Life

    CSCAT 2026 Room 601A, AOSSA, Fukui

    論文: Dynamical systems on pretopological spaces

    • Dynamics
    スライド（PDF）

  8. 2026年3月11日

    Measure-theoretic closure operators on formal languages

    PPL 2026 Rexxam Hall, Takamatsu 共同発表： Ryoma Sin'ya ポスター

    論文: A note on language measurability

    • Automaton

  9. 2026年2月22日

    Turning lights out with the Snake Lemma

    20th CGP project The University of Electro-Communications, Chofu 発表者： Kyosuke Higashida

    • Game
    スライド（PDF）

  10. 2026年1月23日

    Connectedness and full subcategories of topoi

    Ph.D. thesis presentation Room 126, Graduate School of Mathematical Sciences, The University of Tokyo

    論文: Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor · Solution to Lawvere's first problem: A Grothendieck topos that has proper class many quotient topoi · Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets

    • Topos
    • Category

2025

  1. 2025年12月5日

    Local state classifier, The axiom of choice, and permutation model

    UTokyo Logic seminar Graduate School of Mathematical Sciences, The University of Tokyo

    論文: Local state classifier, permutation model, and the internal axiom of choice

    • Topos
    • 論理

  2. 2025年11月28日

    Connectedness and full subcategories of topoi

    UTokyo Logic seminar Graduate School of Mathematical Sciences, The University of Tokyo

    論文: Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor · Solution to Lawvere's first problem: A Grothendieck topos that has proper class many quotient topoi · Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets

    • Topos
    • Category

  3. 2025年10月31日

    Topoi of automata

    SLACS 2025 Shared Room 321, Akita University, Tegata Campus

    論文: Topoi of automata I: Four topoi of automata and regular languages

    • Topos
    • Automaton
    スライド（PDF）

  4. 2025年7月17日

    Topoi of automata

    CT 2025 Building B2, Faculty of Arts, Masaryk University, Brno

    論文: Topoi of automata I: Four topoi of automata and regular languages

    • Topos
    • Automaton
    スライド（PDF）

  5. 2025年6月11日

    A topos for regular language theory

    Theoretical Cosynus Seminar Henri Poincaré room, LIX, École polytechnique, Palaiseau

    論文: Topoi of automata I: Four topoi of automata and regular languages · Internal parameterization of hyperconnected quotients

    • Topos
    • Automaton

  6. 2025年6月5日

    Local state classifier for automata theory

    Séminaires du LIPN Salle B107, LIPN, Université Sorbonne Paris Nord, Villetaneuse

    IRIF Sémantique seminarと同じスライド．

    論文: Topoi of automata I: Four topoi of automata and regular languages · Internal parameterization of hyperconnected quotients

    • Topos
    • Automaton
    スライド（PDF）

  7. 2025年5月27日

    Local state classifier for automata theory

    IRIF Sémantique seminar Salle 3071, IRIF, Université Paris Cité

    論文: Topoi of automata I: Four topoi of automata and regular languages · Internal parameterization of hyperconnected quotients

    • Topos
    • Automaton
    スライド（PDF）

  8. 2025年5月16日

    Local state classifier for algebraic language theory

    Groupe de travail topossique Centre Lagrange, Paris

    論文: Topoi of automata I: Four topoi of automata and regular languages · Internal parameterization of hyperconnected quotients

    • Topos
    • Automaton
    • 代数
    スライド（PDF）

  9. 2025年5月6日

    Topoi of automata

    Categories for Automata and Language Theory Salle 3071, IRIF, Université Paris Cité

    論文: Topoi of automata I: Four topoi of automata and regular languages

    • Topos
    • Automaton
    スライド（PDF）

  10. 2025年4月30日

    Topoi of automata

    Groupe de travail topossique Centre Lagrange, Paris

    論文: Topoi of automata I: Four topoi of automata and regular languages

    • Topos
    • Automaton
    スライド（PDF）

  11. 2025年3月11日

    Topoi of automata

    CSCAT 2025 Room F203, Sojo University, Kumamoto

    論文: Topoi of automata I: Four topoi of automata and regular languages

    • Topos
    • Automaton
    スライド（PDF）

  12. 2025年2月28日

    Topoi of automata

    CMUP SAL seminar オンライン

    Event flyer

    論文: Topoi of automata I: Four topoi of automata and regular languages

    • Topos
    • Automaton

2024

  1. 2024年11月30日

    Quotient topoi and geometry of computation

    AFSA area meeting Hall 401, TKP Kanda Business Center, Tokyo 一般向け

    • Topos
    • 幾何

  2. 2024年9月10日

    The colimit of all monomorphisms classifies hyperconnected geometric morphisms

    Toposes in Mondovì Circolo di Lettura, Palazzo del Governatore, Mondovì

    動画

    論文: Internal parameterization of hyperconnected quotients

    • Topos

  3. 2024年8月29日

    Topos theory as a tool of automata theory

    Young Automata Theorists Gathering in Japan Room 305, Akita University, Tegata Campus

    論文: Topoi of automata I: Four topoi of automata and regular languages

    • Topos
    • Automaton

  4. 2024年6月28日

    Quotient toposes of discrete dynamical systems

    CT 2024 Facultade de Matemáticas, Universidade de Santiago de Compostela

    論文: Quotient toposes of discrete dynamical systems

    • Topos
    • Dynamics

  5. 2024年5月18日

    アイゼンシュタイン整数と組合せ論

    Math Space Topos 2024 new welcome event 一般向け

    • 代数
    • 組合せ論
    スライド（PDF）

  6. 2024年4月24日

    圏論の利用と濫用

    18th AFSA Colloquium NII Kanda Lab, Tokyo

    • Category

  7. 2024年3月16日

    Introduction to topos theory

    代数トポロジー若手の会 Nagoya University

    • Topos

  8. 2024年3月15日

    Combinatorial games as recursive coalgebras

    CSCAT 2024 Multimedia Room 1, Science Building 4, Chiba University, Nishi-Chiba Campus

    論文: Games as recursive coalgebras: A categorical view on the Nim-sum

    • Game
    • Coalgebra
    • 代数
    スライド（PDF）

2023

  1. 2023年12月10日

    Constructive mathematics and representation theory

    数学基礎論若手の会2023 Multipurpose Room Nalu, Sunset Breeze Hota, Kyonan, Chiba

    論文: A topos-theoretic view on Gabriel's theorem

    • 論理
    • 代数
    スライド（PDF）

  2. 2023年8月21日

    Category Theory and Combinatorial Game Theory

    7th Japan Combinatorial Game Theory Conference National Institute of Informatics, Tokyo

    論文: Games as recursive coalgebras: A categorical view on the Nim-sum

    • Game
    • Category

  3. 2023年7月15日

    母関数の種

    Math Space Topos 2023 new welcome event 一般向け

    • 組合せ論
    スライド（PDF）

  4. 2023年7月6日

    Internal parameterization of hyperconnected quotients

    Category Theory 2023 Auditoires des Sciences, UCLouvain, Louvain-la-Neuve

    動画

    論文: Internal parameterization of hyperconnected quotients

    • Topos

  5. 2023年5月12日

    Grundy Numbers and Categories

    Japan Combinatorial Game Theory Mini-Workshops with Urban Larsson National Institute of Informatics, Tokyo

    論文: Games as recursive coalgebras: A categorical view on the Nim-sum

    • Game
    • Category

  6. 2023年4月19日

    Internal parameterization of hyperconnected quotients

    Australian Category Seminar オンライン

    論文: Internal parameterization of hyperconnected quotients

    • Topos

  7. 2023年3月10日

    Internal parameterization of hyperconnected quotients

    CSCAT 2023 Room 478, Research Building 2, Kyoto University, Yoshida Campus

    論文: Internal parameterization of hyperconnected quotients

    • Topos

2022

  1. 2022年6月4日

    順序集合で遊ぶKan拡張

    Math Space Topos 2022 new welcome event 一般向け

    • Category
    スライド（PDF）

2021

  1. 2021年12月4日

    ゼータ関数とメビウス反転

    Math Space Topos 2021 new welcome event 一般向け

    • 組合せ論
    スライド（PDF）