[logic-ml] QIT47のご案内