しばらく東京です

コート持ってきましたが、それほど寒くもなく。25日までですが、桜は見れるかな〜

飛行機の中でも Windows いじってました。Visual Basic から dll 呼んで、帰ってくる所で Segv というところまできました。

明日は、Agda のmeeting の準備をしているはずです。