Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Followees
オミータ@omiitaオミータです。AIのエンジニアやってます。 ご連絡はメールまたはTwitterでお待ちしております。
- Psycho@psycho
僕と仲良く喧嘩しましょう (like("トムとジェリー"))(言うと(有り体に("プロレス")))
