[logic-ml] QIT49のご案内