11月の予定

11/10-19 東京の予定です。高校の同窓会とか、システム更新関係の打合せとか。

システム更新で参考になる大学どっかないかな〜

11/23 情報工学科一期生同窓会 これは沖縄

11/23-25 コンパイラ読み会 今回は Haskell と Agda です。321教室取らないと。

参加自由です。ネット配信するかどうかは...