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

個人的な開発記事および公開技術情報の要約記事を公開しています。 https://qiita.com/matsui_685　にも何点か記事を置いています

宇宙に憧れる潜水艦乗りだった犬

[2022-07-17 Qiitaは無期限の停止] 理由: 名寄せタグには賛成できないことと、他の件についてももやもやしているので。