ρ、τ ： 値割り当て、環境 X, Y ： 束縛セット let X in t ： let式、letrecを含む X!u : 束縛（モジュール）X内で、uを定義する最小のlet式 【t|τ】 : 環境τのもとでの、項tの意味 Ev(t) ： 閉じた項tの評価結果（意味を与える） Ev(t, τ) ： 環境τにおける…

なぜ、リストの自作は良い練習問題なのか？ 典型的なデータ構造とメモリーイメージに慣れる。 ポインタ・参照の操作に習熟できる。 再帰処理が理解できる。 データのミュータビリティ、破壊的変更（上書き）と非破壊的操作（修正しながら転写）を理解できる…