[logic-ml] 【講演募集】 RIMS 研究集会「記述集合論の展望」 (10/19 〜 21)