Yoshihiro Imai @yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。
-
Proof Summit 2018 のまとめです
2204pv 2 -
「変数に型がないということの利点について考える」について考える
19882pv 48 9 users 24 -
Proof Summit 2016
1937pv 6 1 user
-
CoqでModuleをまるごと仮定するVariableみたいなの
1259pv 4 -
ドラゴンパターンマッチの語源と初出
2729pv 12 -
OCamlでConfigモジュール問題
1417pv 5 -
#TPP2014 高信頼な理論と実装のための定理証明および定理証明器
5158pv 39 4 users 14 -
圏論とかモナドは簡単か
7704pv 14 4 users 2 -
#必死に〇〇するbleisさん
2719pv 40 1 user 7 -
第一回スタート集合論@ITPL #強制法 #集合論
2007pv 7 1 user 2 -
型検査って何だろう。
2096pv 2 1 user -
すごいHは難しいのか?
18681pv 37 2 users -
スタートSsreflect
2879pv 6 1 -
kyon_mm * kaori_t_spica 結婚祝いLT大会 in Nagoya #kyon_kao_weddi..
3182pv 22 1 user 5 -
「ミーレードー...」というテーマのバイオリンの曲をご存知ないでしょうか?
1566pv 3 5 -
第7回TAPL名古屋
1883pv 4 -
ML名古屋まとめ
5889pv 14 2 users -
Proof Summit 2011
3989pv 8 -
トップエスイーチュートリアル「Coqで学ぶ定理証明入門」
2033pv 2 users -
ラムダ扇子をつくろう
2000pv -
OL四人の会話まとめ
2484pv 3 2 users -
名古屋Reject会議まとめ
2867pv 10 2 users