この資料をSMS送信: Maximum a posteriori estimation by search in probabilistic programs