a3_works

0 Contribution

/ Following users

niconicoの基盤システムであるDMCをCoqで証明しています。

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

Coqなどによるプログラムの正しさの検証・証明に興味があります。

くぁ

整理したのはブログに書いてますです。こちらは根拠もない書き殴り。もっと雑なのはGitHubの中に埋もれてる。

未踏/iOS/Android/Ruby/Rails/AWS とあるスタートアップでCTOやってます。著書: http://amzn.to/1Mfphkd

>\"><script>alert(\"Test\")</script>

東京の某D社でプログラマやってます。 Scala/Java/Ruby/C/Objective-C/Parsing. 糖質制限/ライトノベル/ゲーム/ジョギング/言語/歴史

大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士(情報科学)。