[logic-ml] 国際会議AQIS2019のご案内