[logic-ml] CTFMのご案内