Yoshihiro Imai @yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。
-
Proof Summit 2017
4794pv 18 1 -
「マンガでわかるZFC(仮)」
2617pv 22 2 users -
AC(公共広告機構)のCMを見た人たちの反応
18592pv 91 6 users