都内でインフラエンジニアをやっています。

Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ

Google Cloud, Customer Engineering, Data analytics specialist / Opinions and acts are my own, NOT views of my employer.