本日から開始＠数理解析研究所。印象に残った講演は以下の通り。内容については、近いうちに、講演のスライドが公式web siteで更新されるようなので、それから紹介します。 "Inductive Cyclic Sharing Data Structures" （浜名 誠）

午前中は晴れ、午後から雲が出て、湿度も高くなる。起床は10時、京都へ向かう。13時から研究集会、23時半にホテルへ。