[logic-ml] QIT38のご案内