Derivation_of_DP_to_be_returned - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)