[logic-ml] RIMS共同研究(公開型)のお知らせ