13.5 リストに対する数学的帰納法 リストも再帰的にオブジェクトが構築される型なので、数学的帰納法で論証できる。 reverse (reverse xs) = xsの証明。 xs = [] の場合 reverse (reverse []) = reverse [] = [] xs = ns のときに reverse (reverse xs) = xs…