[logic-ml] モデル理論研究集会のお知らせ