@hamukazu

自然言語処理とかPythonについて書きます。

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

Haskellプログラマです。

HQ社でソフトウェアエンジニアをしています。大昔に Qiita を開発していました。