今日はミーティングが多め。昼は懇親会があったのでオフィスで食べる。午後早めに切り上げて数学同好会の準備。

今日の『トポロジーの基礎』セミナーではvan Kampenの定理の証明をやった。ひとつひとつフォローすれば分かるタイプの証明だったが、ちゃんと書こうとするとノーテーションが面倒。次回はvan Kampenの定理を使っていろいろ基本群を計算する予定なのでもっと楽しいはず。