スラドよりひっこしてきました。理論系出身ですが組み込みが得意技 (Cell B.E.のHypervisor書いた)

定理証明系や論理プログラミングに興味をもっています。

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