詰んだでれない

A programmer

仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq

このアカウントで発信する内容は個人検証に基づくものであり、現在所属する会社の公式見解を示すものではありません。

おちこんだりもしたけれど、私はのんきです。

ブログ記事を流すくらいしかしないと思います。

Web 系企業のソフトウェア開発者です。