unarist

336 Contribution

/ Following users

よんたった

ほげぽよ~

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

アキバではたらくWebエンジニア。最近はディレクターはじめました。

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