Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ
No Organizations you are following
No tags you are following