『プログラミングHaskell』の13章を読みました。 第13章 プログラムの論証 全体を通して，面白い内容ですが，特に「13.5 リストに対する数学的帰納法」以降の展開が面白いですね。 こんな感じです。 1. 多くの再帰関数は，連結演算子を用いて定義すると自然…