漸化式と後ろ向き最適化はちがうだろ!