[logic-ml] QIT27のご案内