Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ
Following Organizations
No Organizations you are following
Following tags
No tags you are following
$ analyze @awekuit
posted articles:
- No data
answered questions:
- No data
Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ
No Organizations you are following
No tags you are following