昨日発生していたサイトログインできない不具合は修正されております（詳細はこちら）

Yoshihiro Imai @yoshihiro503

Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。

http://proofcafe.org/

フォローする

デザイン プログラミング 言語 テクノロジー 数学 音楽 ニコニコ動画 Coq 型理論 パターンマッチ 依存型 DSSS2018 proofsummit2018
1

いま話題のタグ

ロボット904 溶接29 麒麟がくる117 芹沢達也7 もぎ7 学級会44 ハウステンボス35 メタバース211 あすけん10 ドカ食いダイスキ!もちづきさん8 反AI55 犬2546 転職1787 ラーメン二郎110 トランスジェンダー507