[logic-ml] RIMS 研究集会『記述集合論の展望』のご案内