[logic-ml] 第61回 TRS Meeting 参加募集