Re: [logic-ml] CSCAT 2019 開催案内