[logic-ml] QIT46のご案内