OSC 2014 Okinawa

ポスター作りとか、TreeVNCのデバッグとか、Agda の資料作りとか、前日は疲れはててました。

Agda の live programming みたいになったけど、

こいつ本当に簡単なものでも、なんで、こんなに通らないんだ

ってくらいで面白かったです。

今回は神戸さんに実際に会えたのが良かったかな。内輪の集まりだからな〜 天気には恵まれました。

お昼ご飯は毎年のピッツァ Togo でした。

これから懇親会行ってきます。(その前に風呂か?)