[logic-ml] QIT28のご案内