Yoshihiro Imai @yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。
-
Proof Summit 2017
4810pv 18 1 -
NII Shonan Summer School on Coq
2208pv 20 3 users 3 -
Proof Summit 2012
5611pv 15 2 users
-
トップエスイー特別講義、定理証明と検証
2366pv 7 2 users -
CoqのSortについて
1959pv 1 1 user -
ソフトウェア開発にテストは必要か?テストの代わりになるものは無いのか?
5467pv 53 7 users -
ProofCafe 第1回
3456pv 1 3 users