yoshihiro503

Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。 ...

eccyan

Kento Nagata

YasushiKobayashi

yoshimoto8

フロントエンジン

Atsushikeys