[kisoron-ml] RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」