PO10期

休日は、無駄なものを開発しているオカメインコです。革新的なアイデアや文化は、無駄から生まれると思ってます。

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

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