NaOHaq

81 Contribution

/ Following users

東京のO社でプログラマやってます.Scala/Java/Ruby/C/Objective-C/Parsing. ライトノベル/ゲーム/ダイエット/ジョギング/言語/歴史

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