Takashi Miyamoto @tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
-
Coqチュートリアルへのアドバイスやご指摘
2327pv 6 1 user -
OCaml Meeting 2013
1114pv 8 1 user -
関数型言語でのデザイン手法
31796pv 102 110 users 10