2015-02-19 7 Induction and Recursion 帰納と再帰 ぱらぱらめくる『The Haskell Road to Logic, Maths and Programming』 Haskell ぱらぱらめくるシリーズ 数学的帰納法 ペアノの自然数(カリー) 再帰的定義 木構造上の再帰…フラクタルは扱われていないけれど、できるはず