Yoshihiro Imai @yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。
-
「変数に型がないということの利点について考える」について考える
19892pv 48 9 users 24 -
Proof Summit 2016
1946pv 6 1 user -
CoqでModuleをまるごと仮定するVariableみたいなの
1262pv 4
-
ドラゴンパターンマッチの語源と初出
2732pv 12 -
OCamlでConfigモジュール問題
1419pv 5 -
#TPP2014 高信頼な理論と実装のための定理証明および定理証明器
5162pv 39 4 users 14 -
圏論とかモナドは簡単か
7705pv 14 4 users 2 -
すごいHは難しいのか?
18716pv 37 2 users -
スタートSsreflect
2883pv 6 1 -
kyon_mm * kaori_t_spica 結婚祝いLT大会 in Nagoya #kyon_kao_weddi..
3185pv 22 1 user 5