[logic-ml] AQIS2015のご案内