Yoshihiro Imai @yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。
-
#必死に〇〇するbleisさん
2723pv 40 1 user 7 -
第一回スタート集合論@ITPL #強制法 #集合論
2011pv 7 1 user 2 -
第7回TAPL名古屋
1899pv 4