簡単に短くをもっとうに書く予定です。

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

業務アプリケーション開発を経験後、フレームワーク開発を長らくやり、今はR&DとEngineering Managerをやっています。 システム開発はキツいもの、というところから脱却するとともに、 アジャイルを中心としたワクワク感を持ちながらの開発と、 技術力＆高いアンテナを軸にしたイノベーションを狙っています。