[logic-ml] (First Announcement) RIMS 研究集会 ( 集合論分野 ) について