tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
khibino
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明...
yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskel...
eldesh
アレゲを目指すC++, ML, VeriFastプログラマ
takumi-kato
kappa
yukiyama9999999999999999999999
yak_ex
tanaka_akr
nekonibox Ph.D.
理学博士。専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを使った形式検証...
fetburner
MLしか書けない
coqtokyo
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら