JPH0126092B2 - - Google Patents

Description

【発明の詳細な説明】 本発明は、数値ではなく記号を処理するリスプ
（LispすなわちList Processor）のような関数型
言語用の関数型情報処理装置に係り、とくに関数
が実行される環境（変数の値として何をつかうか
ということ）をコンピユータ内部の記憶回路にス
タツク構造的に格納するにあたつて、そのスタツ
クに格納された変数の検索時間を短縮するために
上記スタツクメモリの外部に連想バツフアを設け
ることを特徴とする関数型情報処理装置に関す
る。

リスプは第１図に示すような２進木リストすな
わち記号のつながりを閉路を含まない節点と枝の
集合である木構造（第１図ａ）であらわしたもの
を扱うものである。すなわち、第１図ａのような
木構造であらわされる記号のつながりを第１図ｂ
のように各ノードからでる枝が２本づつである２
進木表現に直した形で第１図ｃに示されるような
主記憶装置に格納する。すなわち、各リストセル
は主記憶装置の１語または２語からなりその各セ
ルは左、右２つの部分からなる。各セルの左の部
分は普通はある記号、たとえばＡという文字の記
号のビツトパターンが格納され、右の部分はその
記号とつながるべき、次の記号を格納しているセ
ルの番地を格納することによつて２つセルが連結
していることを表現する。従つて、第１図ｃのリ
ストセルのつながりは、第１図ｂの２進木リスト
を記憶回路上で実現しているものである。リスプ
は、このようなリスト構造をリスプ言語を実行す
ることによつて、プロセツサを使つて動的に変換
し、目的のリスト構造を得る装置である。

リスプにおいてプログラムするということは、
２進木リストを変換するために必要な以下の５つ
の基本関数を組み合せて形成される関数を定義
し、その値を求めることである。

５つの基本関数とは、 (イ) car〔Ｘ〕カール ２進木リストＸの左の枝の先にある２進木リ
ストを値とする。

(ロ) cdr〔Ｘ〕クダー ２進木リストＸの右の枝の先にある２進木リ
ストを値とする。

(ハ) cons〔Ｘ：Ｙ〕コンス 新しいリスト・セルを設け、その左の枝を２
進木リストＸとし右の枝を２進木リストＹとす
るような新たな２進木リストを作つてそれを値
とする。

(ニ) atom〔Ｘ〕アトム Ｘがアトムの時、真という値（“Ｔ”や“＊
Ｔ＊”で示す）を取り、そうでないとき、偽
（“NIL”というアトムで示す）とする。

(ホ) eq〔Ｘ：Ｙ〕イク ＸとＹが同じ２進木リストの時、真の値
（“Ｔ”や“＊Ｔ＊”）を取り、そうでない時、
偽の値（“NIL”）を取る。

例えば、ｆ（ｘ、ｙ）＝x^y＋y^xの定義は ｆ＝λ〔〔Ｘ、Ｙ〕；X^Y＋Y^X〕と表わすことによ
り、ｆ（２、３）の値は、 λ〔〔Ｘ、Ｙ〕；X^Y＋Y^X〕〔２、３〕＝2³＋3² となり、変数の対応関係を明確に規定することが
できる。

ここで、（Ｘ、Ｙ）は仮引数と呼ばれる変数で
あつて（２、３）は（Ｘ、Ｙ）のそのときの値で
ある実引数と呼ばれるものである。そして、この
実引数（２、３）を仮引数（Ｘ、Ｙ）に代入する
ことを束縛（binding）すると呼び、実引数を仮
引数に束縛することによつて関数の値、この場合
2³＋3²という目的のリストをつくることがリスプ
を実行することである。したがつて、リスプすな
わち関数型情報処理装置にあつては、仮引数と実
引数をどのように束縛するかが問題となる。

本発明においては、変数の束縛値（Bind
Value）が線形リスト（環境リスト）すなわち
FILO（First In Last OutまたはPush down Pop
up）型スタツクへ変数名と値の対で格納される。
ここでFILO型スタツクとは前記記憶回路上で２
進木リスト構造でデータを間接アドレス方式（す
なわち、あるセルに次につながるセルのアドレス
を格納しておく方式）で格納していくことであ
る。この変数名と値との対を格納していく順序
は、引数変数の関数が呼ばれたときに実引数を値
とする順番になる、いわゆるダイナミツクスコー
ピング（Dynamic Scoping）型の環境をもつ関
数型言語であつて、その変数の値がなにであるか
を参照する手順は、基本的には上記環境リスト
（又はスタツク）を先頭からシーケンシヤルに検
索して最初に見つかつた値を使う、いわゆるデイ
ープバインド（Deep Bind）型変数束縛を行な
う場合に、大域変数（関数の引数のように関数を
起動する時に束縛値が決定されている局所変数と
は異なり、それ以前からその値が決められている
変数）を捜し出すアクセスタイムを短縮するため
に主記憶装置の他に連想バツフアを設けることが
本発明の特徴である。

一般に、第２図に示すように関数型とは、その
プログラム構造や実行形態が呼ぶべき関数すなわ
ち実行するべき関数ｆ＝λ〔〔Ｘ、Ｙ〕；X^Y＋Y^X〕
の仮引数（Ｘ、Ｙ）へ実引数（２、３）を結合す
なわち束縛（バインド）し、呼ばれた（起動され
た）関数は、渡されたすなわち代入されるべき実
引数や大域変数を参照して所定の手続きを実行
し、その関数の値2³＋3²を呼び側へ返し、それ以
外の副作用（環境を変更すること）はないものを
言う。副作用については、本発明の要旨からみ
て、説明を省略する。

関数を呼び出す（Call）場合、その仮引数への
実引数の束縛の方法には、デイープバインド法と
シヤローバインド（Shallow Bind）法がある。

デイープバインド法は前述したように、束縛さ
れた変数名（Ｘ、Ｙ）と値（２、３）の対（ペ
ア、すなわち、Ｘは２、Ｙは３の対）を線型リス
トやスタツク構造に格納し、変数値を参照する場
合には、最後に束縛された方向からシーケンシヤ
ルにたどり、最初に発見したその変数の値を使う
という環境の構成である。

すなわち、デイープバインド法は、第３図ａに
示すように、主記憶装置の記憶単位である語の構
成が左、右２つの部分に分かれ、１つのセルにな
つていて、左部に変数名を格納し、右部はそのセ
ルが接続する次のセルのアドレスを格納すること
によつて次のセルのその変数の値を知ることがで
き、沢山の変数がある場合は、第３図ａのように
連結し、等価的に第３図ｂのようなFILO型のス
タツクを構成するものである。

関数コール（Call）の時に、引数変数に値をバ
インドするときには、環境リスト（または環境ス
タツク）の検索出発点の方向から、その名前と値
の対をつなげ、検索出発点ポインタを新たに付加
した項目の先頭へ更新する。すなわち、第３図ａ
の主記憶装置上では、先頭の１つのセルｎ＋１を
設けることに対応し、そのセルがつながる次のセ
ルがｎであることに対応する。これは、第３図ｂ
においては、スタツクのプツシユ（Push）動作
Ａに対応し、その変数名がｎ＋１であつて、その
値が（ｎ＋１）であるセルをスタツクの最下段に
プツシユして入れることに対応する。関数のリタ
ーン（Return）時には、その関数がコールされ
たときの状態に検索出発点ポインタを戻す。すな
わち、第３図ａの主記憶回路上では、先頭のセル
ｎ＋１を１つとつて、セルｎを先頭にすることに
対応し、第３図ｂでは、ｎ＋１とその値（ｎ＋
１）をポツプ動作Ｂで外に出すことを意味する。
デイープバインド法の長所は、スタツクのプツシ
ユポツプ動作が簡単であるので関数コール時の引
数変数のバインド処理関数リターン時の引数変数
のアンバインド（Unbind）処理のオーバーヘツ
ドが比較的少ないことであり、短所は、大域変数
（自由変数とも呼ぶ）のように、かなり以前にバ
インドされた変数すなわちスタツクの奥の方にあ
る変数の参照に時間がかかることである。

シヤローバインド法は、各変数毎に、その値を
保持するランダムアクセス域（Value Cellと呼
ぶ）を設け、関数コール時には引数変数のバリユ
ーセルへその実引数を格納し、バリユーセルに以
前から存在した値を、線形リスト（またはスタツ
ク）へ名前と旧値の対として格納し、変数参照は
対応するバリユーセルを読むだけでよく、関数リ
ターン時には、その引数変数のバリユーセルへ線
形リスト（またはスタツク）へ格納してあつた旧
値を戻す。シヤローバインド法の長所は、変数参
照時間が短かいことであり、短所は関数コール時
の引数変数のバインド処理、関数のリターン時の
アンバインド処理のオーバーヘツドが大きいこと
である。

以上のようにデイープバインド法はシヤローバ
インド法に比べて、引数のバインド／アンバイン
ド処理については高速であるが、変数の参照とく
に大域変数の参照が遅い。この点を改良するのが
本発明の方式である。

本発明の目的は、上述したような関数型情報処
理装置において、データ間のつながりを表わすリ
ストをデイープバインド方式に従つてスタツクメ
モリ内に格納される変数を参照するアクセスタイ
ムを短縮するために主記憶装置の外部に連想バツ
フアを設けた関数型情報処理装置を提供すること
にある。

本発明の特徴とするところは、プログラムの構
造及び実行形態が仮引数としての変数名と実引数
としての変数値の対として環境リストである
First−In−Last−Out型のスタツクメモリへ格納
することによつて呼ぶべき関数の仮引数変数へ実
引数を束縛し、呼ばれた関数は変数の値を参照す
る場合、上記環境リストの最近の束縛値を使つて
処理を行い、その関数の値が得られれば、関数の
仮引数変数を上記環境リストから削除して上記関
数値をリターンするという一連の処理を繰返す関
数型情報処理装置において変数名、変数値および
その変数が束縛されている前記環境リスト上の位
置情報を対として各ワードが構成され、プログラ
ム実行中に変数を参照する場合には変数名をキー
として連想検索し内部変数と一致がとれれば対応
する変数値を読出して使い、不一致であれば前記
環境リストから変数名を検索し最近にみつかる変
数値をつかう処理装置の動作にともなつてその変
数名と変数値を前記環境リスト上の位置情報も加
えて新しく書込み、引数変数名と名前が一致する
ワードを削除する機能を有し、変数値を変更する
場合には、上記環境リスト上の最近値を変更する
情報処理装置の動作と共にその変数が内部に存在
すればその変数値のみを変更する機能を有し、関
数がその呼び側に復帰する場合には、その引数名
と束縛値の対を上記環境リストから外す処理装置
の動作に伴なつてその環境リスト上の位置情報を
キーとして対応するワードを削除する機能を有す
る連想バツフアを設けた関数型情報処理装置であ
る。

以下図面を参照して本発明の一実施例を説明す
る。

まず、スタツク上のデイープバインド方式では
次のような処理が行なわれる。関数呼び出しが起
こる手前で実引数がそろうとスタツクは第４図ａ
のようになる。ここでSTPはスタツクトツプポ
インタである関数が呼び出されると呼び出された
関数側で第４図ｂのような形になる。以上のよう
な処理によつて第４図ｃのようにスタツク中の関
数毎の情報間は、旧FPによつてリンクされる。
ここでFPはフレームポインタすなわち現在実行
している関数の制御情報の先頭を指すものであ
る。このリンクによつて変数の参照があつたとき
それをたどつて変数名をサーチすることによつて
その値を得ることができる。

たとえば F1（Ｚ）＝Z²＋F2(10) F2（ｘ）＝x²＋ｘ＋F3(7) F3（ｘ）＝x⁵＋１＋Ｚ という関係にある３つの関数において、F1(3)の
値を求める場合を説明する。関数F1（Ｚ）をコー
ルする時点で仮引数Ｚは３に束縛されて、環境リ
スト上にその束縛関係が格納される。しかし、
F1（Ｚ）の計算には関数F2（ｘ）の値F2(10)が必要
であるので、関数F2（ｘ）をコールする。このコ
ール時において仮引数ｘは10に束縛されて環境リ
スト上にその束縛関係が格納される。しかし、ま
た、F2(10)の計算には関数F3（ｘ）の値F3(7)が必
要であるので、関数F3（ｘ）をコールする。この
コール時において、仮引数ｘは７に束縛されて環
境リスト上にその束縛関係が格納される。しか
し、F3（ｘ）の値F3(7)を求めるのにF3（ｘ）＝x⁵
＋１＋ＺのＺは大域変数、すなわち、その時点で
束縛されない変数であるが、ＺはF1（Ｚ）をコー
ルする時点でＺ＝３に束縛されているので、環境
リスト上をさかのぼつてＺが３であることをサー
チするわけである。そしてはじめてF3(7)＝7⁵＋
１＋３が求まり、F2（ｘ）にリターンしてF2(10)＝
10²＋10＋F3(7)が求まり、F1（Ｚ）にリターンし
て、F1(3)＝3²＋F2(10)となり、F1(3)という値が求
まるのである。

一般に関数型情報処理装置において、大域変数
は束縛された局所変数（または仮引数）に比べそ
の数は少いが少数の大域変数が多数回参照される
場合が多い。そこで本発明の関数型情報処理装置
においては新しく連想バツフアを設け、ある関数
が大域変数を参照した場合、前記バツフアにその
変数がない場合は、環境リスト（またはスタツ
ク）をシーケンシヤルに検索し、得た値をその変
数名と対にして前記高速な連想バツフアメモリに
格納しておき、以後その変数が参照された場合に
は、変数名でバツフアを連想アクセスしてアクセ
ス時間の大幅な短縮をすることができるのであ
る。

第５図ａは環境リストにおいて、関数F1はF2
を、F2はF3を、F3はF4を、F4はF5を、そして
F5はF6をコールするようになつているとする。
このとき関数F6を F6（Ｎ）＝N²＋ｘ＋Ｚ＋Z² であると仮定する。すなわち、Ｎは局所変数で、
ｘとＺは大域変数である。大域変数であるｘは関
数F2（ｘ、ｙ）をコールする時点でｘ＝５である
ように束縛されており、Ｚは関数F3（Ｚ）をコー
ルする時点でＺ＝８であるように束縛されてい
る。F6（Ｎ）の値を計算するために、Ｎとｘそし
てＺの各変数を参照するため、まず環境リスト上
をサーチするが、局所変数Ｎに対しては即座にそ
の値（例えばＮ＝10）をみつけることができる
が、ｘやＺは最初は環境境リスト上をさかのぼつ
てサーチする必要があり、ｘ＝５、Ｚ＝８である
ことがわかる、しかし、もし、この最初のサーチ
において、見つけたｘ＝５、Ｚ＝８を第５図ｂの
ように連想バツフアに対として格納しておけば、
２度目の同じ変数名の参照は連想バツフアをまず
アクセスすることによつてなされ高速化されるこ
とになる。すなわち、F6（Ｎ）＝N²＋ｘ＋Ｚ＋Z²
の最後の項Z²は連想バツフアにＺ＝８という対が
格納されていて変数Ｚをキーとして連想検索すれ
ばＺ＝８であることがただちに決まりZ²に代入す
ればよいことになる。本発明はこのような連想バ
ツフアを設置することによつて大域変数の参照ア
クセスタイムを速くすることができる。

このバツフアメモリの持つべき機能は以下のも
のである。なお、バツフアメモリの具体的構成は
第９図を参照して後述する。

(1) ある大域変数を初めてアクセスした場合、そ
の変数をバツフアへ登録しておき、以後のアク
セスの高速化をはかる。この場合、変数名、変
数値の他に、そのバインド値の環境リスト（又
はスタツク）上での位置情報EID
（Environment Identifier）も同時に格納する。

(2) 与えられた変数名が内部格納変数名と一致す
るかどうかをハード的に行ない、一致がとれれ
ばその変数名に対応する値を読んだり書いたり
することができること、すなわち、変数名をキ
ーとしてバツフアを連想検索して、値をリード
またはライトする機能をもつことである。これ
は、変数を参照したり、変更したりする場合に
必要である。

(3) 変数名をキーとしてバツフアメモリ上でその
変数と同一名の変数の有効表示ビツトＶをリセ
ツトする機能を持つことである。これは参照さ
れてバツフアに存在する大域変数と同一名の仮
引数名をもつ関数をコールする場合、バツフア
上のその大域変数を削除するために必要であ
る。この処理をおこたると同一変数名の参照の
場合に、大域変数より局所変数を優先するスコ
ーピングの原則がくずれる。

(4) 位置情報EIDをキーとして、それが一致する
すべての項目の有効表示ビツトＶをリセツトす
る機能を有する。これ関数が呼び側の関数へリ
ターンする時に、そのリターンする関数の引数
変数を全てバツフアから除去するのに必要であ
る。この処理をおこたると、もしこの関数の仮
引数変数と同一名の変数がこの関数以前にバイ
ンドされており、その変数を参照すると、既に
環境から除去されたはずの値が誤まつて使われ
ることになる。

上述したように、各変数を環境上での位置情報
EID付でバツフアに格納していないと、リターン
する関数の各仮引数名をキーとして、それぞれバ
ツフアを検索して除去するか、バツフアのオール
クリアを行なう必要がある。前者では、時間がか
かり、後者では大域変数のバツフア内での寿命は
初めて参照した関数がリターンするまでとなり、
バツフアの効果はほとんどなくなる。

第６図は、前述のバツフアメモリの必要機能(1)
を説明する図であり、Eiは＃ｉ関数の引数のバイ
ンドブロツク、Fiは＃ｉ関数のフレーム、EPは
エンバイロンメントポインタ（環境リストポイン
タ）である。今、関数＃４がある変数VARを参
照したとし、EPからE4、E3、E2と環境を検索
し、E2でその変数VARが見つかつたとすると、
バツフアに格納する環境リスト上の位置情報とは
E2バインドブロツクのスタツク内アドレスEA2
のことである。このアドレスをハツシング（圧縮
コード化）して、長さを短縮してEIDとすること
もできる。

第７図ａ，ｂはバツフアメモリの前述の必要機
能(3)を説明するものである。いま、関数＃４が仮
引数名VARをもつ関数＃５をコールしようとし
ているとする。このときバインドブロツクに変数
VARとその実引数値が対として格納され、更に、
変数バツフアに変数名VARをもつ項目がもし存
在すれば、それのバリツドビツトをリセツトす
る。

第８図は、前述のバツフアメモリの必要機能(4)
を説明するものである。関数＃４が大域変数
VARを参照し、それがE2内で見つかり、バツフ
アに格納されている。いづれ、関数＃４、＃３と
リターンしてゆき、関数＃２がリターンする場合
を考える。関数＃２がリターンすれば、その引数
VARのE2バインドブロツクでの束縛も解除され
るので、バツフアメモリ中の変数VARも削除さ
れる必要がある。そこで、そのときのEPの値
EA2をキーとしてバツフアからEIDが一致する項
目を削除する。

第９図は、本発明の連想バツフアメモリの具体
的構成図である。すなわち、プログラムの構造お
よび実行形態が変数名と変数値の対として、環境
リストへ格納することによつて、呼ぶべき関数の
仮引数変数に実引数を束縛し、呼ばれた関数は、
変数の値を参照する場合、上記環境リストの最近
の束縛値を使かつて処理を行ない、関数の値が得
られれば、関数の仮引数変数を上記環境リストか
ら削除して、上記関数値をリターンするという一
連の処理を繰り返す関数型情報処理装置の内部に
連想バツフアメモリを新たに加えてなる構成図で
ある。前記連想バツフアメモリの持つべき機能
は、前記(1)、(2)、(3)、(4)である。

上記実施例には、まずメモリ１０，２０，３０
が設けられ、それぞれが１〜ｎのレジスタで構成
される。メモリ１０は変数名ネームを格納するも
のであり、２０は環境アイデンテイフアイヤEID
を格納するものであり、３０は変数値ヴアリユー
を格納するものである。前記メモリ１０，２０，
３０のｉ番目（ｉ＝１、２、………ｎ）のレジス
タはそれぞれが対応し、１つのワードを形成して
いる。これが第１の機能である。関数情報処理装
置の環境リスト内のある大域変数をはじめてアク
セスした場合、その大域変数とEIDと変数値を前
記連想バツフアの前記メモリ１０，２０，３０…
……にそれぞれ登録していき、以後のアクセスの
高速化を図る。連想バツフアへの登録は変数名ネ
ームに対しては入力線１０１，１０３をネームｉ
のセルに書込みパルス信号WEiを活性化して書き
込む。このとき同時に、環境位置情報である環境
アイデンテイフアイヤEIDを入力線２０１，２０
３を通して、EIDのｉ番目のセルに前記書込み信
号WEiを活性化して書き込む。同様に変数値は入
力線３０１からヴアリユーのｉ番目のセルに前記
書込み信号WEiを活性化して書込む。前記第２の
機能を行なうために、連想バツフアは、与えられ
た変数名ネームが、あらかじめ内部メモリ１０に
格納しておいた変数名と一致回路４０で一致する
かどうかを検出し、一致がとれれば出力線４０１
のｎ本のうちのどれか一本が活性化されて、選択
回路６０を制御して、対応するセル３０の内容、
すなわち対応する変数値を出力線６０１に出力す
る。すなわち、変数名をキーとして、連想検索し
て変数値を読出すことができる機能をもつ。しか
も、変数値を格納するメモリ３０は書き込みも行
えるので、変数名に対応する値を読出したり、書
込んだりすることとができる。これは、変数値を
参照したり変更したりするときに必要である。

第３及び第４の機能である、変数名または環境
アイデンテイフアイアをキーとして、連想メモリ
バツフアから同一名の項目の有効表示ビツトＶを
リセツトする機能を実現するため、本実施例に
は、選択回路７０、有効表示ビツト格納セル群８
０および選択回路９０が含まれる。

有効表示ビツトＶを格納するセル群のうち、
Viセルは前記変数名ｉ、EIDi、変数値ｉを書き
込むときの前記書込み信号WEiによつてセツトす
る。

変数名をキーとする場合は、選択回路７０で一
致回路４０１の出力を選択し、リセツト信号１０
０１が論理１のとき、AND回路１００によつて
出力１００２のうち一致回路４０で内部変数名ｉ
番目と入力された変数名ｉ番目の一致がとれたと
き、対応する有効表示ビツトViがリセツトされ
る。

有効表示ビツトセル群の出力は選択回路９０に
入力され、一致回路４０の出力４０１の制御をう
けて選択されるので、出力９０１には変数名と格
納変数名が一致がとれている対応する有効表示ビ
ツト選択回路９０の出力９０１に出力される。

また、機能(4)を実現するために、選択回路７０
で、一致回路５０の出力５０１を選択すれば、入
力のEIDと格納されているEIDの一致がとれたと
き、対応する有効表示ビツトがリセツトされ、外
部変数名と内部変数名が一致がとれたとき、選択
回路９０で選択されて、出力９０１に出力され
る。

以上説明したように、本発明によれば、デープ
バインド方式に従つて実行していく関数型情報処
理装置において、特に大域変数の値を検索するア
クセスが前記連想バツフアを使うことによつて高
速に行なうことができる。

【図面の簡単な説明】

第１図ａ，ｂ，ｃは２進木リストを説明するた
めの図、第２図は関数型情報処理を説明するため
の図、第３図ａ，ｂはデイープバインド法を説明
する図、第４図ａ，ｂ，ｃはスタツク上のデイー
プバインド法を説明する図、第５図ａ，ｂは環境
リストを説明する図、第６図は本発明のバツフア
メモリの機能を説明する図、第７図ａ，ｂは本発
明のバツフアメモリの他の機能を説明する図、第
８図は本発明のバツフアメモリのさらに他の機能
を説明する図、第９図は本発明の一実施例のブロ
ツク図である。 １０……変数名メモリ、２０……位置情報
（EID）メモリ、３０……変数値メモリ、４０，
５０……一致回路、６０，７０，９０……選択回
路。

Claims (1)

【特許請求の範囲】
1. １ プログラムの構造及び実行形態が仮引数とし
   ての変数名と実引数としての変数値の対として環
   境リストであるFirst−In−Last−Out型のスタツ
   クメモリへ格納することによつて呼ぶべき関数の
   仮引数変数へ実引数を束縛し、呼ばれた関数は変
   数の値を参照する場合、前記環境リストの最近の
   束縛値を使つて処理を行い、その関数の値が得ら
   れれば関数の仮引数変数を前記環境リストから削
   除して前記関数値をリターンするという一連の処
   理を繰返す関数型情報処理装置において、変数
   名、変数値およびその変数が束縛されている前記
   環境リスト上の位置情報を対として各ワードが構
   成され、プログラム実行中に変数を参照する場合
   には、変数名をキーとして連想検索し、格納され
   ている変数と一致がとれれば対応する変数値を読
   出して使い、不一致であれば前記環境リストから
   変数名を検索し最近に見つかる変数値を使う処理
   装置の動作にともなつてその変数名と変数値を前
   記環境リスト上の位置情報も加えて新しく書込
   み、それとともに引数変数名と名前が一致するワ
   ードを削除でき、変数値を変更する場合には前記
   環境リスト上の最近値を変更する情報処理装置の
   動作と共に、その変数が内部に存在すればその変
   数値のみを変更し、関数がその呼び側に復帰する
   場合には、その引数名と束縛値の対を前記環境リ
   ストからはずす処理装置の動作にともなつて、そ
   の環境リスト上の位置情報をキーとして対応した
   ワードを削除する連想バツフアメモリを設置した
   関数型情報処理装置。