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