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

アプリケーション・アーキテクト。 2022/09に書籍『Apache Kafkaをはじめる』をインプレスR&D社から出版しました。 自分の投稿は所属会社の見解を微塵たりとも示すものではなく、あくまで個人の意見です。