WEKO3
アイテム
自己反映計算機能をもつ等式プログラム処理系の実現
https://ipsj.ixsq.nii.ac.jp/records/30582
https://ipsj.ixsq.nii.ac.jp/records/3058281d10934-0d37-4233-8a96-1fddc37352d0
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-PRO92011008.pdf (878.2 kB)
|
Copyright (c) 1993 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1993-03-10 | |||||||
| タイトル | ||||||||
| タイトル | 自己反映計算機能をもつ等式プログラム処理系の実現 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | An Implementation of an Equational Programming System with Reflective Facilities | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 北海道大学工学部 | ||||||||
| 著者所属 | ||||||||
| 北海道大学工学部 | ||||||||
| 著者所属 | ||||||||
| 北海道大学工学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Hokkaido University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Hokkaido University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Hokkaido University | ||||||||
| 著者名 |
佐藤崇昭
× 佐藤崇昭
|
|||||||
| 著者名(英) |
Taka-Aki, Satoh
× Taka-Aki, Satoh
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 自己反映計算とは，因果結合的に自分自身の計算に関して，計算したり，影響を与えたりする計算システムによって実行されるものである．関数型，論理型，オブジェクト指向など，様々な枠組みで，自己反映的な言語が提案されてきている．しがしながら，等式プログラミングの枠組みでは，提案されていない．本稿では，自己反映計算機能を等式プログラミングの枠組みに導入することを試み，自己反映計算機能をもつ等式プログラム処理系REPSをCLOS(mmon Lisp Object Syst)によって，実現する．REPSでは，計算状態をリデックス，文脈，書き換え規則の集合によってモデル化している．リーフィケーションによって，これらのメタレベルのオブジェクトは，プログラム中で計算可能なオブジェクト（項）へ変換される．リフレクションは，リデックス，文脈，書き換え規則の集合をREPS項で指定することによって，リダクションマシンの計算状態に影響を与えることができる． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Computational Reflection is the activity performed by a computational system which computes about (and possibly affects) its own computation in a causually connected way. Many reflective languages have been proposed in the frameworks of functional programming, logic programming, and object-oriented programming. However, reflective languages are not proposed in the framework of equational programming. We try to introduce 'reflective' facilities into the framework of an equational programming, and implement a Reflective Equational Programming System REPS in CLOS (Common Lisp Object System). In REPS, computation is modeled by a redex, a context, a set of rewriting rules. Reification translates these meta-objects into computable objects (terms) in programs. Reflection specifies a redex, a context and a set of rewriting rules all of which are expressed in REPS term, and can affect the reduction machine registers. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10485570 | |||||||
| 書誌情報 |
情報処理学会研究報告プログラミング（PRO） 巻 1993, 号 19(1992-PRO-011), p. 69-76, 発行日 1993-03-10 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
