[logic-ml] RIMS 集合論研究集会の日程について