Yoshihiro Imai @yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。
-
CoqでModuleをまるごと仮定するVariableみたいなの
1262pv 4 -
ドラゴンパターンマッチの語源と初出
2733pv 12 -
kyon_mm * kaori_t_spica 結婚祝いLT大会 in Nagoya #kyon_kao_weddi..
3185pv 22 1 user 5