この資料をSMS送信: The art and theory of dynamic programming