数学と機械学習理論に興味がある大学院生です．最近ははてなブログの方に記事を書いています．

きーた

仕事からの現実逃避中

んha-

型と圏がすきです Qiitaはほぼ見る専です

LightZone（写真編集用OSS）の開発者

I love reading open source codes & papers in arXiv. My interests: #QuantumComputing #Haskell #量子情報. I'm @#OpenQL 未踏tg '18-'20.

ABC問題の解答例を通じて、Haskellのよさを広めたい。

仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq

メモ的なものだけを書く予定

HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。