分野別セミナー
九大数理では大学内外から講演者・参加者を迎えて分野別セミナーが開催されています。
SUURI-COOL (Kyushu) セミナー
開催日
タイトル講師・場所
2025.11.7
Rational function semifields of dimension one
宋 珠愛 (九州大学)
Online via Zoom / 理化学研究所
2025.10.31
Introduction to Lean theorem prover
水野 勇磨 (Postdoctoral Researcher, University College Cork, Ireland)
Online via Zoom / 理化学研究所
2025.9.5
Computer Algebra with Deep Learning
石原 侑樹 (日本大学 理工学部 数学科 助教)
Online via Zoom / 理化学研究所
2025.8.1
LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
恩田 直登 (Project Research Engineer, Research Administrative Division, Omron Sinic X Corporation)
Online via Zoom
2025.7.17
Modeling form growth in curved spaces using Riemannian L-systems
Christophe Godin (Research Derector, Inria, Univ Lyon, France)
Online via Zoom
分野別セミナーカレンダー
年
月
分野別セミナーカレンダー
年
月
分野別セミナーカレンダー
年
月