集中講義

計算機が支援する数学の証明（4年：数理科学特論８）（院：数理科学特別講義VIII）

開催期間

2021.6.28(月)
13:00 ~ 2021.7.2(金)

場所

九州大学伊都キャンパスウエスト1号館 C-512 中講義室

講演者

Jacques Garrigue (名古屋大学)

概要

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

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

集中講義一覧

研究活動