[logic-ml] リマインダ(RIMSモデル理論研究集会申込締切11/6金)