[logic-ml] QIT36のご案内