I love reading OSS codes & arXiv papers. My interests: #QuantumComputing #Haskell #LEAN #LLVM #RISCV #p5 #q5mjs #OpenQL #processgraph #量子コンパイラ #未踏tg '18-'20.

専門は物性理論．

Nixが大好きです。R言語も大好きです。

データサイエンティストをやっています。 統計検定2級を持っていて、準1級も近いうちに合格したい。

つくる。

理学系大学院卒業後、計測・制御システムのインテグレーション会社にて、8年間ソフトウエアの設計・開発を担当。最近は技術営業をやってます。