この資料をSMS送信: Shaded tangles for the design and verification of quantum programs