[logic-ml] RIMS共同研究リマインダ