Webベンチャー1年目　エンジニア職 大学院卒

気ままな雑食系アイドルプログラマ

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

Qiitaは雑なメモ、ブログはマシなメモ

CG会社のパイプラインエンジニア -> ゲーム会社 日々のしんどかったのあしあと

Nagoya univ

電子工作が主な趣味ですが、PC用のツールを作るのも好きです。 特にライセンスを明記していないソースコードのライセンスについてはCC0です。