@awekuit

Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ
フリーランス
東京
Following Users4