PAIP: メモ化, memo, memoize, define-memo

メモ化。以前もいくつかいい加減な記事を書いています。。

• vallog: syntax-rules: define-memoize
• vallog: メモ化された Y Combinator
• vallog: pluggable Y Combinator

メモ化については On Lisp や SICP（計算機プログラムの構造と解釈）なんかでも出てきますね。

今回はPAIP（実用 Common Lisp (IT Architects’Archive CLASSIC MODER)）P.253 第3部 第9章 9.1 より。Common Lisp ではなく Gauche（Scheme）で書いてあるので、コードが多少違います。

以下コード。一つ目がmemo関数のプロトタイプで二つ目が本番 memo, meomize, define-memo, clear-memoize。都合により clear-memo も追加しています。

本番。

• vallog: fib, tail-call-fib, lazy-fib