[kisoron-ml] モデル理論集中講義