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

vscodeの翻訳とかしてます

靴・シューズ専門ポータルサイト「shoepara.jp（シューパラ）」というシューズ専門ウェブメディアを運営しています。よろしくお願いいたします♪

北九州市立大学 准教授 Univ. of Kitakyushu Associate Professor / Computer and software for artificial satellite and space rover / Domain-specific architecture / Elixir