[logic-ml] RIMS 研究集会「記述集合論の展望」 (10/19 〜 21) のご案内