数学/Rust/競技プログラミング/型理論/圏論

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

大学(院)では型システムについて研究してゐました。 長らくスマートフォン用電子書籍ビューアーを作る仕事をしてゐました。 最近はとあるスマートフォン用漫画配信サービスに携わってゐます。 趣味では yash といふコマンドラインシェルを作ってゐます。

I like Haskell

ぼちぼち記事を書きます。 お手柔らかに

an amateur in programming

凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

You'll never learn if you don't see the dark side too.