[kisoron-ml] RIMS共同研究(公開型)「実数の集合論における近年の進展」 2021年10月12--15日