[logic-ml] AQIS2014のご案内