この資料をSMS送信: Linking Theories in Probabilistic Programming