http://itpro.nikkeibp.co.jp/article/COLUMN/20070305/263828/
>本物のプログラマはHaskellを使う
>第8回　遅延評価の仕組み
>この問題を解決するのが必要呼び出しです。必要呼び出しでは，
>同じ変数から束縛された項はポインタによって共有され，
>一度簡約された項をもう一度使用する場合には最初の計算によってキャッシュされた解を利用します。
>項を共有することにより，構文はもはや通常の木構造ではなくグラフ（graph）構造を取ることになります。
>そのため，このような簡約方法を「グラフ簡約（あるいはグラフ簡約法，graph reduction）」と呼びます。
>また，同じ式の評価のために，キャッシュされた解を使う手法のことを「メモ化（memoization）」といいます。