[logic-ml] 第59回 MLG 数理論理学研究集会のご案内