プログラミング好きなデータサイエンティストです。 コードの書き方がすぐ見つかるスニペット共有サービスを運営しています。 https://code-lets.dev

自分が問題にぶつかって、解決に10分以上使った内容は、記事にして投稿する。

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