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