今年の目標: 研究がんばる (積読論文を減らす) 圏のべんきょう Coq に親しむ 英語がんばる とか。メタな目標としては「(研究関係は) アグレッシブに !」# 去年と一緒だけど…。楽しみなこと: ICFP !!! 今年も OCaml Meeting (in Tokyo?) はあるのかな :-) を…