この資料をSMS送信: Automating inference, learning, and design using probabilistic programming