この資料をSMS送信: Commutative semantics for probabilistic programming