各日3コマ，(10:10--11:40, 13:10--14:40, 15:00--16:30)
9/17: 算術1(倉橋), 構成1(根元), 算術2(横山),
9/18: 構成2(石原), 算術3(倉橋), 算術4(倉橋)
9/19: 構成3(根元), 構成4(Sambin), 算術5(横山)
9/20: 算術6(横山), 構成5(Sambin), 構成6(Sambin)
算術 1, 3, 4(倉橋)
算術 2, 5, 6(横山)
講義メモ, スライド1, スライド2, スライド3, スライド(逆数学紹介)
構成的数学 1,3 (根元)
構成的数学2 (石原)
構成的数学 4,5,6 (Sambin)
講演動画: Lecture 2 (構成的数学 5), Lecture 3 (構成的数学 6) ※Lecture 1の動画はありません