7 Induction and Recursion 帰納と再帰 ぱらぱらめくる『The Haskell Road to Logic, Maths and Programming』