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

システムやネットワークの運用・監視を仕事にしてるエンジニアです。 よく使う言語はJavaやPython、フロント言語は趣味程度。

nodejs,coffee-script等で遊んでいます。 https://github.com/mick-whats

Software Developer @ PeopleX / Go, TypeScript, AWS, GCP / ex) ABEMA, HiCustomer, iRidge