大阪でAndroidアプリ開発やっています！

SRE who dreams of working abroad. Go, Scala, Kotlin, Google Cloud, AWS, DDD, Scrum.

都内で働いているエンジニアです。

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

福岡でサーバサイドエンジニアをしています。