[logic-ml] RIMS研究集会「集合論における無限組み合わせ論とその応用」