Yoshihiro Imai @yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。
-
Proof Summit 2018 のまとめです
2208pv 2 -
Proof Summit 2016
1945pv 6 1 user -
CoqでModuleをまるごと仮定するVariableみたいなの
1261pv 4
-
ドラゴンパターンマッチの語源と初出
2732pv 12 -
#TPP2014 高信頼な理論と実装のための定理証明および定理証明器
5162pv 39 4 users 14 -
スタートSsreflect
2883pv 6 1 -
Proof Summit 2011
3999pv 8 -
トップエスイーチュートリアル「Coqで学ぶ定理証明入門」
2035pv 2 users -
名古屋Reject会議まとめ
2875pv 10 2 users