シンガポールでSoftware Engineerとして働いています。

Software Engineer at Nstock. ex-AWS. Opinions are my own, not endorsed by any org.

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

最近jackson-module-kotlinのメンテナになりました。 jackson-module-kotlinに関する実験的プロジェクトもやっています、試用・スターお待ちしています。 https://github.com/ProjectMapK/jackson-module-kogera

リモート社会人してる

Developer | ガチエンジニア系YouTuber moga.page.link/yt | プロトタイプ開発や新規サービス立ち上げが主な仕事 | ex) 実験, DeNA

🚀 Web Application Engineeeeer