[logic-ml] RIMS Set Theory Workshop 2022 のご案内