[logic-ml] rims研究集会