Jakarta EE/MicroProfile 関連の開発をしてます。学生のときは自動定理証明とかやってました。 Java/Scala/OCaml/Haskell/Coq (掲載内容は私個人の見解であり、所属する組織の公式見解ではありません。)

Qiitaへの記載内容は個人の見解であり、所属する組織やコミュニティを代表するものではありません。