この資料をSMS送信: Axiomatic description of mixed states from selinger's CPM-construction