[logic-ml] RIMS研究集会「モデル理論における独立概念と次元の研究」のご案内