トップ «前の日記(2009-08-09) 最新 次の日記(2009-08-11)» 月表示 編集

日々の流転


2009-08-10 [長年日記]

λ. 数学基礎論サマースクール 2009 一日目

「夏は夏らしく夏じみたことを」ということで、数学基礎論サマースクール2009に参加。

masahiro_sakaiによる数学基礎論サマースクール実況まとめ - yoriyukiの日記

後で書く。