[logic-ml] 数学基礎論若手の会2023:宿泊締め切りが近づきました