ソフトウェアの基礎、115ページまで。演習問題はoptional,recommendedであるものはやってません。多相性の部分はXをどこに置くのかはっきり理解しておらず、コンパイルエラーが起きているので後回しに。先に高階関数のほうに進みます。 いずれは証明駆動開発…