[logic-ml] TQC2012のご案内