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

計測・制御・情報に興味があります。 数理工学の記事を書きます。

Engineer at inaho

趣味垢

おじさんは　すうれつが　だいすきだぞ！

Pythonをよく書いてます。

理論生物学者

東北大天文で研究とかアウトリーチとか。今はJij inc. で量子アニーリング・量子回路・数理最適化・統計力学の技術を研究し、わかりやすくブログで発信。 弊社技術ブログ: https://tech.j-ij.com/