Department of Mathematics Kyoto University

AI定理証明の現状と理論

2026/06/24 Wed 16:45 - 17:45 | 園田翔

集中講義　数学特別講義3/H　関数解析・確率論　「単調確率論入門」

2026/07/06 Mon 09:00 - 11:00 | 長谷部　高広

集中講義　数学特別講義10/I　微分幾何学　「オペラッド A無限大圏の非可換幾何学フレアーホモロジー」

2026/06/29 Mon 13:00 - 14:30 | 深谷　賢治

集中講義　数学特別講義4/H　機械学習理論　「数学系エンドユーザーのための Lean入門」

2026/06/22 Mon 15:00 - 17:00 | 園田　翔

Enumerative Geometry from Elliptic Stable Envelopes

2026/06/11 Thu 15:00 - 16:30 | Andrey Smirnov

Classification of real and imaginary modules of quantum affine algebras in monoidal categorifications of affine cluster algebras

2026/06/11 Thu 10:30 - 12:00 | 坂本平蔵

Counterexamples in the Minimal Model Theory for $\mathbb Q$-Gorenstein Surfaces

2026/06/05 Fri 15:30 - 17:00 | Nao Moriyama

Counterexamples in the Minimal Model Theory for $\mathbb Q$-Gorenstein Surfaces

2026/06/05 Fri 15:30 - 17:00 | 森山奈緒

Resolution of Foliations and Varieties via Weighted Centers

2026/06/18 Thu 15:30 - 17:00 | Jaroslaw Włodarczyk

TBA

2026/07/22 Wed 16:45 - 17:45 | 正宗淳