@unarist

よんたった

ほげぽよ～

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

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

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