[logic-ml] AQIS2011のご案内