自己反映計算 (計算機科学)
計算機科学における自己反映計算（reflection、リフレクション）とは、計算機システムにおいて対象レベルとメタレベルを分離し、データとしてシステム自身を因果結合 (causally connect) することで対象レベルの推論や計算に関するメタな情報を、メタレベルで明示的に記述して操作することをいう。因果結合を実現する方法は複数存在する。
概要 編集
計算機システムの一般論 編集
一般に計算機システムにおいて、なにかしら意味を持つ計算はその計算の対象というべき問題領域を持つ。計算に係るデータや手続き、オブジェクトとはその問題領域における具体的・概念的実体を表現したものであり、計算機システムの本質とはそれらデータなどで表現した問題領域における実体の振る舞いをシミュレートすることにある。
自己反映計算の実現方法 編集
自己反映計算の実現方法には少なくとも直接法、間接法[1]と呼ばれる2つの方法が知られている。
直接法 編集
直接法とは、言語 L のインタプリタを言語 L で記述する メタサーキュラー (meta-circular) と呼ばれる言語の実装方法を応用するもので、言語 L のデータオブジェクトとして言語 L 自身を構成することで実現される。
このとき、データオブジェクトとしての言語 L は対象レベル、データオブジェクトを記述している言語 L はその対象レベルに対するメタレベルと見立てられる。
このデータオブジェクトである言語 L に環境 (environment) と継続 (continuation) を渡すことで因果結合が成され、メタレベルの情報を反映したデータオブジェクトとなる。一般的には、インタプリタの状態はその時点における環境およびその時点以降のプログラム（継続）によって決定される。自己反映計算は、この情報反映されたデータオブジェクトについての情報取得および操作を行うことで実現される。
なお、この対象とメタレベルの見立てはデータオブジェクトとしての言語 L 内部でも同様に実行することができ、この見立てを無限に繰り返した言語 L の無限の階層はリフレクティブタワー (reflective tower) と呼ばれる。
関連項目 編集
- インタプリタ
- モナド (プログラミング)
- アルフレト・タルスキ 言語階層説[2]に直接法の源流を読み取ることができる。
- リフレクション (情報工学)
脚注 編集
参考文献 編集
- 菅野博靖, 田中二郎「非標準理論とその応用：メタ推論とリフレクション」『情報処理』第30巻第6号、情報処理学会、1989年6月、694-705頁、ISSN 04478053、NAID 110002717109。
- 渡部卓雄「リフレクション」『コンピュータソフトウェア』第11巻第3号、日本ソフトウェア科学会、1994年5月、5-14頁、ISSN 02896540、NAID 110003743804。
- 田中 二郎 著「第9章：メタプログラミングとリフレクション」、井田 哲雄、田中 二郎 編『続 新しいプログラミング・パラダイム』1990年。
- Brian Cantwell Smith (1982), Procedural Reflection in Programming Languages
- Brian Cantwell Smith (1984), Reflection and semantics in LISP
- Mitchell Wand, Daniel P. Friedman (1988), The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower
- Guy Lewis Steele, Jr. and Gerald Jay Sussman (1978), The Art of the Interpreter or, the Modularity Complex (Parts Zero, One, and Two)
- John C. Reynolds (1972). “Definitional interpreters for higher-order programming languages”. Proceedings of the ACM annual conference on - ACM '72 (ACM Press). doi:10.1145/800194.805852.
- 佐伯豊『再利用可能な拡張機能を備えた言語処理系』 北陸先端科学技術大学院大学〈博士 (情報科学) 甲第130号〉、2001年。doi:10.11501/3184128。hdl:10119/908。NAID 500000205085。
- 米澤明憲, 武市正人「特集「自己反映計算(リフレクション)」の編集にあたって」『コンピュータ ソフトウェア』第11巻第3号、日本ソフトウェア科学会、1994年5月、3_163-3_164、doi:10.11309/jssst.11.3_163、ISSN 0289-6540、NAID 130007505177。
- 浅井 健一 (1996), Duplication and Partial Evaluation -- For a Better Understanding of Reflective Languages
- 中川 理恵、浅井 健一 (2004), 部分評価を使った自己反映言語のコンパイル, KAKEN 研究課題/領域番号 09780251
- 栗原正仁, 佐藤崇昭, 大内東「項書換えシステムにおける自己反映計算」『北海道大学工学部研究報告』第167号、北海道大学、1994年1月、57-66頁、ISSN 0385602X、NAID 110000341132。
- 山岡悦郎『うそつきのパラドックス―論理的に考えることへの挑戦』海鳴社、2001年。ISBN 4875252056。