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