[logic-ml] RIMS研究集会「無限組合せ論と強制法理論」