『プログラミングの基礎概念』を読み終えた。 理解度はおそらく 10% ほどだ。雰囲気では分かるけど、練習問題を解いていないし、証明なども読み流しているだけなので……。推論規則・導出・帰納法。導出システムで証明していく。ペアノ自然数の扱いで練習し、 …