JPS585852A - 関数型情報処理装置 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 本発明は、数値ではなく記号を処理するりスズ（Ｌｌｓ
ｐすなわちＬｌｍｔ　Ｐｒｏｃｏｍｓｏｒ　）のような
関数層、言絣用の関数層情報処理装置に係９、とくに、
関数が実行される環境（変数の値として何をっがうかと
いうこと）をコンピュータ内部の記憶回路にスタ、り構
造的に格納するにあたって、そのスタックに格納された
変数の検索時間を短縮するために上記スタックメモリの
外部に連想バッファを設けることを特徴とする関数型情
報処理装置に関する。

リスｆｌｄ第１図に示すような２道木リストすなわち記
号のつながりを閉路を含まない動点と枝の集合である木
構造（シ１図（＆））で、あられし九ものを扱うもので
ある。すなわち、第１１ＣＩ（ａ）のような木構蓬であ
られされる記号のつながりを第１図（ｉｔ）のように各
ノードからでる枝が２本づつである２進木表現に直した
形で第１図（ａ）　Ｋ示されるような主記憶装置に格納
する。すなわち、各リストセルは主記憶装置の１論また
は２語からなりその各セルは左、右２つの部分からなる
。各セルの左の部分懺昔通はある記号、九とえばムとい
う文字の記号のピットパターンが格納され、右の部分は
その記号とつながるべき、次の記号を格納しているセル
の帯地を格納するこ、とにようて２つセルが連結してい
ることを表現する。従って、藤１図（＠）のリストセル
のつながりは、ｗｋ１図（ｂ）の２進木リストを記憶回
路上で実現しているものである。リスプは、このような
リスト構造をリスプ言語を実行することによって、デロ
セ、すを使って動的に変換し、目的のリスト構造を得る
装置である。

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

５つの基本関数とは、 イ）　ｃａｒ（Ｘｌカール ２進水リス）Ｘの左の枝の先にある２進木リストを値と
する。

口）　ｅｄｒ［Ｘ）クダー ２道木リス）Ｘ゛の右の枝の先にある２進木リストを値
とする。

ハ）　＠ｏｍｓ［：Ｘ：Ｙ］　：ｆｆ　ｙ　ｘ新しいリ
スト・セルを般社、その左の枝を２進本リストＸとし右
の枝を２進本リストＹとするような新たな２進木リスト
を作ってそれを値とする・ 工）　ａｔ＠ｍ［Ｘ］　７トム Ｘがアトムの時、真という値（＠Ｔ″や１本Ｔ１１で示
めす）を取り、そうでないとき、偽（＠ＮＩＬ″という
アトムで示す）とする。

ホ）・ｑ［Ｘ：Ｙ］イク ＸとＹが同じ２進木リストの時、真の値（”Ｔ”や−丁
＊＃）を取り、そうでない時、偽の値（”ＮＩＬ”）を
取る。

例えば、／（ｘ−ｙ）　−ｘ’　＋　ｙ”の定義性／＝
　２（（ｘ、ｙ）：ｘ’＋Ｙｘ）　ト表ｂ　ｔ　コトｒ
ｃ　ｘ　ｖ、／（２，３）ノ値ハ、λｏ：ｘ、ｙ＋：Ｘ
１＋ｙｘ〕〔ｚ、５）−ｚ’＋ｓ２トナり、変数の対応
関係を明確に規定することができる。

ここで％（Ｘ＄Ｙ）は仮引数と呼ばれる変数であって（
２，３）は（ｘ、ｙ）のそＯときの値である実引数と呼
ばれるものである。そして、この実引数（２，３）を仮
引数（ｘ、ｙ）に代入することを束縛（ｂｉｎｄｌｌｇ
　）すると呼び、実引数を仮引数に束縛するととＫよっ
て関数の値、この場合２’　＋　８２という目的のりス
Ｆをつくることがリスプを実行することである。し友が
りて、リスプすなわち関数蓋情報処理装［Ｋありては、
仮引数と実引数をどのように束縛するかが問題となる。

本発明においては、変数の束縛値（引ｎｄＶａｌｕ・）
が線形リスト（環境リスト）すなわちＦＩＬＯ（Ｆｌｒ
ｓｔ　Ｉ！Ｉ　Ｌａ５ｔ　Ｏｕｔ　ｔたはＰｕ５ｈ　ｄ
ｏｗｎ　Ｐｏｐ　ｕｐ）置スタ、クヘ変数名と値の対で
格納される。ここでＦＩＬＯ’Ｉｌｉスタ、スタは前記
記憶回路上で２進本リスト構造でデータを間接アドレス
方式（すなわち、あるセルに次につながるセルのアドレ
スを格納しておく方式）で格納していくことである。こ
の変数名と値との対を格納していく順序は、引数変数の
関係が呼ばれ九と１１に実引数を値とする願書になる、
いわゆる〆イナミ、クスコーピング（Ｄｙｍａｍｌｅ　
８＠すｂａｇ）ｌ！の環境をもつ関ａｍ言語であうて、
その変数の値がなにであるかを参照する手Ｉｌｌは、基
本的には上記環境リスト（又はスタ、夕）を先頭からシ
ーケンシャルに検索して最初に見つかうた値を使う、い
わゆるガイ−ジノ肴インド（Ｄ・すＢｌｍｄ）ｍｌ変数
束縛を行なう場合に、入城変数（＠数の引数Ｏように、
関数を起動するときに束縛値が決定されている局所変数
とＩＩｉ異なり、それ以前からその値が決められている
変数）を捜し出すアクセスタイムを短縮するために主記
憶装置の他に連想バッファを設けることが本発明の特徴
である。

一般に１第２図に示すように関数型とは、そのプログラ
ム構造中実性形態が呼ぶべき関数すなわち実行するぺ＊
ＩＩａ／−λ（（Ｘ、Ｙ）　：Ｘ”＋Ｙ”）　Ｏ［引ａ
（ｘ、ｙ）へ実引数（２，３）を結合すなわち束縛（バ
インド）シ、呼ばれた（起動され九）ＩＩ！数扛、渡さ
れ九すなわち代入されるべき実引数や大域変数を参照し
て所定の手続きを実行し、その関数の値Ｎ＋３２を呼び
側へ返し、それ以外の副作用（１１１１境を変更するこ
と）はないものを言う、副作用については、本発明の要
旨からみて、説明を省略する。

関数を呼び出す（Ｃａｌｌ）場合、その仮引数への実引
数の束縛の方法に社、ディープバインド法とシャｐ−バ
インド法（８ｈａｌｌｏｖ　１ｌｉｎｄ　）がある。

ディープバインド法は前述したように、束縛されａ変ａ
名（Ｘ、Ｙ）　と［（２，３）の対（−ｅア、すなわち
、Ｘは２、Ｙは３の対）を線型リストやス最俵に束縛さ
れた方向からシーケンシャルにたどり、最初に発見した
その変数の値を使うという環境の構成である。

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

関数コール（Ｃａｌｌ）の時に、引数変数に値をバイン
ドするときＫは、環境リスト（または環境スタック）の
検索出発点の方向から、その名前と値の対をつなげ、検
索出発点ポインタを新たに付加した項目の先頭へ更新す
る。すなわち、第３図（１）の主記憶装置上では、先頭
に１つのセルｎ　＋　１を設けることに対応し、そのセ
ルがつながる次のセルがｌであることに対応する。これ
は％−ＩＩ　３１ｉｌｌ（ｂ）においては、スタＶりの
プツシ＆（シ箇−ｈ）動作五に対応し、その変数名が富
＋ｌ″ｅＴｏ−）て、その値が（ｍ＋１）であるセルを
スタックの最下段にプＶシ、して入れることに対応する
―関数のリターン（Ｒ＠ｔｕｒ醜）時には、その関数が
コールされたときの状態に検索出発点ポインタを罠す、
すなわち、總３図（１）の主記憶回路上で社、先頭のセ
ル亀＋１を１つとって、セル１′を先頭にすることに対
応し、第３図（１，）では１＋１とその値（ｍ＋１）を
−ツブ動作３で外に出すことを意味する。ディープバイ
ンド法の長所は、スタックのプ、シ、ポ、ｆ動作が簡単
であるＯ″ｅＩＩＩＩ＃Ｊ１．：ｙ−ル時の引数変数の
バインド処理、関数リターン時の引数変数のアンパイノ
ド（Ｕｍｂｌｍｄ）　ｍ理のオーバーへ、ドが比軟的少
ないことであり、短所は、大域変数（自由変数とも呼ぶ
°）のように、かなり以前にバインドされた変数すなわ
ちスタックＯ央０７ＦＫある変数の参照に時間がかかあ
ことである。

ｙヤローバインド法嬬、缶変歇毎に、その値を保持する
ツンメムアクセス域（Ｖａｌｕ＠Ｃ＠ｌｌと呼ぶ）を設
け、関数コール時には引数変数のパリ。

−セルへその実引数を格納し、バリューセルに以前から
存在し友値を、線形リスト（またはスタック）へ名前と
旧懐の対として格納し、変数参照は対応するパリ、−セ
ルを読むだけでよく、関数リターン時には、その引数変
数のバリューセルへ線形リスト（またはスタ、り）へ格
納してめった旧懐を戻す、シャｐ−バインド法の長所は
、変数参照時間が短かいことであり、短所は関数コール
時の引数変数のバインド処理、関数のリターン時のアン
バインド処理のオーバーヘッドが大きいことである。

以上のようにディープバインド法はシャｐ−バインド法
に比べて、引数のバインド／ア／ノ苛インド処理につい
ては高速であるが、変数の参照とくに大域変数の＃凧が
遅い。゛この点を数置するのが本発明の方式である。

本発明の目的は、上述したような関数臘情報処理装置に
おいて、ディープバインド法式に従うてスタ、クメ篭り
内に格納される変数を参照するアクセスタイムを短縮す
るために主記憶装置の外部に連想バッファを設けた関数
型情報処理装置を提供することＫＴｏる・ 本発明の特徴とするところは、デ四ダラムの構造及び実
行形態が仮引数としての変数名と実引数としての変数値
の対として環境リストであるＦｉｒｓｔ−Ｉｎ−Ｌｏｓ
ｔ−Ｏｕｔ　ＩＩ　Ｏスタックメモリへ格納することに
よって、呼ぶべき関数の仮引数変数へ実引数を束縛し、
呼ばれ九関数は変数の値を参照する場合、上記環境、リ
ストの最近の束縛値を使って処理を行い、その関数の値
が得られれば、関数の仮引数変数を上記環境リストから
削除して上記関数値をリターンするという一連の処理を
繰返す関数蓋情報処理装置において、変数名と環境リス
ト上のその変数の束縛位置アドレス情報を対として、各
エントリを構成する連想バッファメモリを有し、変数を
参照する場合には、まず前記バッファを、変数名をキー
として検索し、存在すれば上記束縛位置アドレスを用い
て環境リストからランダムアクセスして変数値を取得し
、存在しなければ上記環境リストを変数名をキーとして
連想検索し、最初にみつかった値を使うとともに、上記
バッファへ変数名と環境リスト上でのアドレスを対とし
て格納し、関数を呼ぶ際に１その引数を束縛する場合に
は、上記環境リストへ名前と値の対を格納するとともに
、引数変数名と名前が一致する前記パ、ファエントリを
削除し、関数がその呼び側に復帰する場合には、その引
数基と束縛値の値を上記環境リストから社ずすとともＫ
、その時の環境リスト上の位置アドレスを有する前記バ
ッファ中のエントリを削除する関数型情報処理装置を提
供する。

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

まず、スタック上のディープバインド方式では次のよう
ｔｍｉｉｉが行なわれる。関数呼び出しが起こる手前で
実引数がそろうとスタックは第４図（ａ）のようｋなる
。こζで８ＴＰはスタ、クトッｆ４インタである。関数
が呼び出されると呼び出された関数側で第４図（ｂ）　
（Ｄような形になる。

以上のような処理によって第４図（＠）のようにスタ、
り中Ｏ関数毎の情報間は、１日Ｆｌによってリンクされ
る。ここでＦＰは７レーム４インタすなわち現在実行し
ている関数の制御情報の先頭を指すものである。このリ
ンクによりて変数の参照があったときそれをたどりて変
数名をサーチすることによってその値を得ることができ
る。

たとえば Ｆ　１　（Ｚ　）−Ｚ”＋Ｆ２（１０）ＦＺ（！　）−
ｘ　＋Ｘ＋Ｆ３（７） Ｆ　Ｂ　（ｘ　）−ｘ　＋１＋Ｚ という関係にある３つの関数において、Ｆｌ（３）の値
を求める場合を説明する。関数Ｐｉ（Ｚ）をコールする
時点で仮引数２は３に束縛されて、環境リスト上にその
束縛関係が格納される。しかし、Ｆｌ（Ｚ）の計算には
関数Ｆ２（Ｘ）の値Ｆ２（１０）が必要であるので、関
数Ｆ２（ｘ）をコールする。このコール時において、仮
引数Ｘは１０に束縛されて環境リスＹ上にその束縛関係
が格納される。しかし、ｔｉ、Ｆ２（１Ｇ）の計算には
関＠　Ｆ　３　（ｘ　）の値Ｆ３（？）が必要であるの
で、関数ＦＢ（ｘ）をコールする。このコール時におい
て、仮引数！は７に束縛されて環境リスト上にその束縛
関係が格納される・しかし、ＦＢ（ｘ）の値Ｆ３（７）
を求めるＯＫ　Ｆ３　（ｘ　）ｍｘ’＋ｔ＋ｚ　、　ノ
ｚは大域変数、ｆなわち、その時点で束縛されない変数
であるが、２ａＦ１（Ｚ）をプールする時点でＺ−３に
束縛されているので、環境リスト上をさかのぼって２が
３であることをサーチするわけである。そしてはじめて
Ｆ３（７）＝７　＋１＋３が求ｔｐ、ＩＦ５（Ｘ）Ｋリ
ターンＬ？　Ｆ２（１０）ｓ−１０＋１０＋Ｆ３　（７
）　カ求ｔ９、Ｆｌ（Ｚ）にすｐ　−ｙ　ｔ、テ、Ｆｌ
（３）　＝　３”＋Ｆ２（１０）となり、Ｆｌ（３）と
いう値が求まるのである。

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

第５図（ａ）の環境リストにおいて、関数Ｆ１はＦ２を
、Ｆ２はＦ３を、Ｆ３はＦ４を、Ｆ４ＦｉＦ５を、そし
てＦ５はＦ６をコールするようになっているとする。こ
のとき関数Ｆ６を ！ Ｆ　６　（Ｎ　）　−Ｎ　＋ｘ＋Ｚ＋Ｚ　”であると仮
定する。すなわち、Ｎは局所変数で、Ｘと２は大域変数
である。大域変数であるＸは関数Ｆ２（ｘｍｙ）をコー
ルする時点でｚ　ｘｍ　５であるように束縛されてお９
、ｚは関数Ｆ３（Ｚ）　をコールする時点でＺ−Ｓであ
るように束縛されている。

Ｆ６（Ｎ）Ｃ）値を計算するために、ＮとＸそして２の
各変数を参照するため、まず環境リスト上をサーチする
が、局所変数Ｎに対して拡即座にその値（例えばＮ−１
０）をみつけることができるが、Ｘ中ｚ紘最初は環境リ
スト上をさかのぼうてサーチする必要があｐ％！　諺５
　、　Ｚ　ｗｘ　ｇであることがわかる・しかし、もし
、この最初のサーチにおいて、見つけ九ｚ　ｗｍ　５　
、　ｇ■８を嬉５図（ｂ）のように連想Ａ、フチに対と
して格納しておけば、２度目の同じ変数名の参照紘連ｌ
ａＡッ７アをまずアクセスすることｋよりてなされ、高
速化されることになる。

スナわち、Ｆｌｌ（Ｎ）−Ｎ”＋ｘ＋Ｚ＋Ｚ２ｏ最後ｏ
項ｚ！は連層パラフチにＺ−ａＳという対が格納されて
いて変数ｚｔ着−として連想検索すれば２ｍ８であるこ
とが良だちに拠ｔ）Ｚ”Ｋ代入すればよいことＫなる。

このバッファメモリの持つべき機能祉以下のものである
。ｔｋ訃、Δ、ファメ峰りの具体的構成は５ｓａａを参
照して後述する。

（１）　　ある大域変数を初めてアクセスし＊、場合、
その変数をＡ　、　７丁へ登鍮しておき、以後のアクセ
スの高連化をはかる・この場合、ＩＲＷＲ名と、そのパ
イン２ｍ１０１１境リスト（又はスタック）上での位置
情味（スタック内アドレス）も岡崎に格納して、変数値
はスタック内アｔレスを参照してランダムアクセス的に
スタックから引自出す。

（２）与えられた変数名が内部格納変数名と一致するか
どうかをハード的に行ない、一致がとれればその変数４
に対応するスタッタアドレスを読むことがで自ゐこと、
す表わち、変数１をキーとしてΔツ７アを連想検索して
、アタックアドレスをリードする機能をもつことである
。これは、変数を参照する場合に必要である。

（３）変数名をキーとして、Ａｖ７アメモリ上でその変
数と同一名の変数の有効表示ビットｖをす七ットする機
能を持つことである。これは参照されてバッフγに存在
する大域変数と同一名Ｏ仮引数名をもつ関数をコールす
る場合、パ、ファ上のその大域ｆ数を１９１除するため
に必要である。この処理をおこたると同一変数名の参照
の場合に、大域変数より局所変数を優先するスコービン
ダの原則がくずれゐ。

（４）　　リスト上の位置情報をキーとして、それが一
致するすべてＯ項目の有効表示Ｃツ）Ｙを９竜ツトする
機能を有する。これは関数が呼び儒の関数ヘリターンす
る時に、そのリターンする関数の引数変数を全てパッツ
ァから除去するのに必要である。この部層をおこたると
、もしこの関数の仮引数変数と同一４０変数がこの関数
以前にバインドされておや、そ０Ｉｌｌ！ｍｌ管参照す
ると、既に環境から除去され九はずの値が娯壕うて使わ
れるととになる。

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

ＩＩ６■轄、前述ＯΔツ７アメ毫りの必要機能（１）を
説−する−であＬｉｅｓは第１番Ｏ関数の引数のバイン
ドデー、夕、ｒｉは第１番の関数のツレーム、ＩＰはエ
ンパイロンメントーイン！（環境すストポインタ）であ
る、今、関数第４香がある変数ＭＡＲを参照したとし、
ＩＰから鳶４２、葬３；Ｅ２と環境を検索し、１２でそ
の変数ＷＡＲが見っかつ九とすると、バッフγに格納す
る環境リスト上の位置情報とｔｉ１２パイン１１．り０
スタ。

り内アドレスＦム２のことであゐ。

第７図（１）　、　Ｃｂ）はパックアメ毫りの前述の必
要機能（３）を説明するものである０％／ｈｉ、関数第
４香が仮引数塩ＷＡＲをもつ関数第５誉を；−ルしよう
としているとする。このときバインドプロ、りに変数Ｗ
ＡＲとその実引数値が対として格納され、＊Ｋ。

記数バッファに変数名ＷＡＲをもつａ■がもし存在すれ
ば、それのベリラドビットをリセットする。

第８図は、前述のバッファメモリの必要機ｍ　（４）を
説明するものである。関数第４香が大域変数ＷＡＲを参
照し、それがＮ２内で見つかり、バッファに格納されて
いる。いずれ、関数第４番、纂３番とリターンしてゆき
、関＃Ｌ纂２書がリターンする場合を考える。関数籐２
番がリターンすれば、そＯ引数ＶＡ鼠のΣ２バインドツ
ロ、りでの束縛も解ｉｔｓれるので、パフフチメモリ中
の変数ｖＡＲも削除され為必要がある。そこで、そのと
きのｍｐｏｗｎム２を中−としてバッファからスタック
内アドレスの一部が一致する項目を削除する。

ＪＩＩＩ図絋、本鉱明の連想バッファメモリの具体的構
成図である。すなわち、！ロダラムの構造および奥行形
態が変数名と変数値の対として、環境リストへ格納する
ことによりて、呼ぶべき関数の仮引数変数Ｅｌｌ引数を
束縛し、呼ばれた関数は、変数の値を参照する場合、上
記環境リストの最近Ｏ束縛値を使って処理を行ない、関
数の値が得られれば、関数の仮引数変数を上記環境リス
トから削除して、上記関数値をリターンするという一連
ｏｉｅ、ｗｉを繰ｐ返す関数層情報処理装置の内部に連
想バッファメモリを新たに加えてなる構成図である・前
記連想パ、７アメモリの持つべき機能社、前記（１）　
＃　（２）　＃　（３）　ｅ　（４）である。

上記実施例には、まず変数名メモ９１０．アドレスメｑ
９３０が設けられ、それぞれが１〜！Ｉのレジスタで構
成される。メモリ１０は変数名ネームを格納するもので
あり、３Ｇはスタ、り内アドレスを格納するものである
。前記メモリ１０゜３０の１番目（ｉ　；１　＃　２　
ｅ　＝・ｎ　）のレジスタはそれぞれが対応し、１つの
ワードを形成している。

これが第１の機能である。関数型情報処理装置の環境リ
スト内のある大域変数をはじめてアクセスした場合、そ
の大域変数とスタック内アドレスを前記連想バッファの
前記メモリ１０．３０にそれぞれ登録していき、以後の
アクセスの高速化を図る。連想ノ肴、７アへの登録は変
数名ネームに対しては入力線１０１．１０３を変数名１
のセルに書込み１４ルス信号靜１を活性化して書き込む
。このとき同時に、スタック内アドレスは入力線３０１
からアタ、り内アドレスの１番目のセルに前記書込み信
号面１を活性化して書込む、前記票２０機能を行なうた
めに、連想バッファは、与えられた変数名が、あらかじ
め内部メモリ１０に格納しておいた変数名と一致回路４
０で一致するかどうかを検出し、−歇がとれれば出力ｌ
［４０１のｎ本のうちのどれか一本が活性化されて、選
択回路６０を制御して、対応するセル３ｐの内容、すな
わち対応するスタック内アドレスを出方９６０１に出力
する。すなわち、変数名をキーとして、連想検索してス
タック内アドレスを読出すことができる機能をもつ・し
かも、スタ、り内アドレスを格納するメモリ３０は、書
き込みも行えるので、変数名に対応するアドレスを読出
したシ、書込んだりすることができる。これは、アドレ
スを参照した夛変更したりするときに必要である。

第３及び第４の機能である、変数名から同一名の項目の
有効表示ビｙ）Ｖをリセットする機能を実現するれめ、
本実施例には、有効表示ビット格納セル評８０および選
択回路９０が含まれる。

有効表示ピッ）Ｖを格納するセル群のうち、ｋｉミセル
前記変数名１、アドレス１を書き込むときの前記書込み
信号ＷＥ１によってセットする。

変数名をキーとする場合は、リセット信号１００１が論
ｉｌｌのとき、−回路１００によって出力１００２４Ｄ
うち一致回路４０で内部変数基量番目と入力された変数
名１番目の一致がとれたとき、選択回路７０を介して対
応する有効表示ビ、）Ｖｌ−ｂ１リセ、トされる。

アドレスをキーとする場合は、リセット信号１００１が
論理１のとき、ＡＮＤ回路１００によって、出力１００
２のうち一致回路５０で内部アドレス１番目と信号１１
３０１，３０２を介して入力されたアドレス１１１１の
一致がとれたとき、選択回路７０を介して対応する有効
表示ビットＶＢがリセットされる。なお、−数回路５０
で比較に使うアドレスは全アドレスビットの一部である
。ここで選択回路７０は変数名キーによる一致信号４０
１力為アドレスをキーとする一致信号５０１かを切替選
択するものである。

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

以上説明したように、本発明によれば、ディーシバイン
ド方式に従９て実行していく関数部情報アクセスが、前
記連想パ、フ７を使うことによって高速に行なうことが
できる。

【図面の簡単な説明】

第１図（ａ）　、　（ｂ）　、　（・）は２進木リスト
を説明するための図、第２図は関数型情報処理を説明す
るための図、第３図（ａ）　、　（ｂ）はディープバイ
ンド法を説明する図、第４図（ａ）　、　（ｂ）　、　
（ｅ）はスタ、り上のディープバインド法を説明する図
、第５図（ａ）　ｌ　（ｂ）はディープバインド法を具
体的に説明する図、第６図は本発明のバッファメモリの
機能を説明する図、第７図（ａ）　、　（ｂ）は本発明
のバッファメモリの他の機能をａ明する図、第８図は本
発明Ｏバッファメモリのさらに他の機能を説明する図、
第９図は本発明の一実施例のブロック図である。 １０−・変数名メモリ、３０・・・アドレスメモリ、４
０．５０・・・−数回路、６０，７０．９０・・・選択
回路。 實４図 （ａ）　　　　　　　　（ｂ）　　　　　　　　　（Ｃ
）青５図 （ａ）　　　　　　　　　　（ｂ） 實７ （ａ） 図 （ｂ） 」 □−一■■Ｌノ

Claims (1)

1. 【特許請求の範囲】 ｆ四プラ４の構造及び実行形態が仮引数としての変数名
   と実引数としての変数値の対として環境リストであるＦ
   ｉｒｓｔ−Ｉｎ−Ｌａｓｔ−Ｏｕｔ型のスタックメモリ
   へ格納することによりて呼ぶべき関数の仮引数変数へ実
   ゛引数を束縛し、呼ばれた関数は変数の値を参照する場
   合、前記埠°境リストの最近の束縛値を使って処理を行
   い、その関数の値が得られれば、関数の仮引数変乾を前
   記環境リストから削除して前記関数値をリターンすると
   いう一連の処理を繰返す関数麗情報処理装置において、
   変数名と環境リスト上のその変数の束縛位置アドレス情
   報を対とし゛て、各エントリを構成する連想バッファメ
   そりを有し、変数を参照する場合には、まず前記パ、フ
   ァを、変数名をキーとして検索し、存在すれば、上記束
   縛位置アドレスを用いて環境リストからランダムアクセ
   スして変数値を１１Ｒ碧し、存在しなければ、上記環境
   リストを変数名をキーとして連想検索し、最初に見つか
   った値を使うとともに１上記パ、ファへ変数名と環境リ
   スト上でのアドレスを対として格納し、関数を呼ぶ際に
   、そ。 の引数を束縛する場合には、上記環境リストへ名前と値
   の対を格納するとともに、引数変数名と名前が一致する
   鹸記パ、ファエントリを削除し、関数がその呼び側へ復
   帰する場合には、その引数基と束縛値の対を上記環境リ
   ストからはずすとと°もに、その時の環境リスト上の位
   置アドレスを有する前記バッファ中のエントリを削除す
   ることを特徴とする関数璽情報処理装置。