Yoshihiro Imai @yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。
-
2012/03/03_なるせ君とScala+Android初めて開発会( #scalaandroid )
9012pv 21 4 users 3