キターーーー


2026年04月08日
　・（過去と現在の研究）研究集会「Workshop on AI and Theorem Provers in
　　Mathematics」での講演のスライドを公開。