作用素環セミナー

過去の記録 ～12/05｜次回の予定｜今後の予定 12/06～

開催情報 水曜日　16:30～18:00　数理科学研究科棟(駒場) 122号室
担当者 河東 泰之
セミナーURL https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm

次回の予定

2024年12月10日(火)

15:00-16:30   数理科学研究科棟(駒場) 002号室
時間，部屋が普段と違います．
谷本溶 氏 (Univ. Rome, "Tor Vergata")
Introduction to Lean theorem prover

[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm