2018年12月10日 Compactness and finite structures RIMS Model Theory Workshop 2018 Tsuboi,Akito 記述言語 英語 会議種別 口頭発表(一般)