@na4zagin3

2020年4月より理学博士。 専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを用いた形式検証が得意。

D言語とか出来ます

主にサーバぺしぺししてるエンジニアです！

自然言語処理とか機械学習とか競技プログラミングとか

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

Haskellプログラマです。

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

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

One of implementations of june29.