[logic-ml] QIT45のご案内