Yoshihiro Imai @yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。
-
Proof Summit 2017
4794pv 18 1 -
Proof Summit 2012
5583pv 15 2 users