[logic-ml] RIMS共同研究(公開型)のご案内