3月の予定

3/11から3/25は東京にいるはずです。

第29回 Agda Implementors' Meeting (AIM XXIX) 3/13-3/19
お茶の水女子大学

に主にいるはずです。いや、何するMeetingなのかわからないんだけど。でも、Agda の中身もそろそろいじりたいのでちょうど良い。

その後は、

　　Ingress Darsana Prime Tokyo 3/23

関連のイベントですね。Mission day とかそんなの。申し込まないと。

まぁ、Anomaly は勝ち負けは気にせず。いや、そろそろ青が勝っても良いんじゃないのか?