2017年9月19日 Continuous Logic I and II モデル理論夏の学校研究集会 竹内,耕太 開催年月日 2017年9月19日 - 2017年9月21日 記述言語 日本語 会議種別 口頭発表（一般）
