[logic-ml] AQIS17のご案内