戻すDPの導出