Director string とは

数学では、ラムダ計算と計算の分野では、ディレクターやディレクター・ストリングは、ある期間内の自由変数を追跡するためのメカニズムです。ゆるやかに言えば、自由変数の一種のメモとして理解することができます。すなわち、自由変数を項代数またはラムダ式に迅速に配置するための最適化手法として使用できます。ディレクターの文字列は1982年にKennawayとSleepによって導入され、Sinot、Fernandez、Mackieによって開発され、ベータ版の計算の複雑さを理解し制御する仕組みとなっています。