第36回

記号論理と情報科学 研究集会

(SLACS 2019)