[logic-ml] RIMS研究集会「体のモデル理論とその応用」(11/28〜11/30)のご案内