[logic-ml] RIMS研究集会(集合論関連)