トップページ > 談話会・セミナー等 > 集中講義 > 計算機が支援する数学の証明 (4年:数理科学特論8) (院:数理科学特別講義VIII)

集中講義

計算機が支援する数学の証明 (4年:数理科学特論8) (院:数理科学特別講義VIII)

開催期間
2021-06-28 13:00~2021-07-02 17:00
場所
九州大学 伊都キャンパス ウエスト1号館 C-512 中講義室
受講対象
 
講師
Jacques Garrigue (名古屋大学)

初回の開始時間は13:00~です.
あとの日程は初回に決めます.


※ Web での事前登録の必要はありません.講義室へ直接来て下さい.
※ 単位取得を希望する学生は、出席簿へ氏名等を記入して下さい.