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

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