第38

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

(SLACS2021)