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

ビールとビーフが大好きです。僕です。 システムデザインは論理パズル。