第35回

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

(SLACS 2018)