今年の目標: 研究がんばる (積読論文を減らす) 圏のべんきょう Coq に親しむ 英語がんばる とか。メタな目標としては「(研究関係は) アグレッシブに !」# 去年と一緒だけど…。楽しみなこと: ICFP !!! 今年も OCaml Meeting (in Tokyo?) はあるのかな :-) を…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。