Yoshihiro Imai @yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。
-
ML名古屋まとめ
5926pv 14 2 users -
Proof Summit 2011
4011pv 8 -
トップエスイーチュートリアル「Coqで学ぶ定理証明入門」
2038pv 2 users