WEKO3
アイテム
コントロールオペレータの表現力の比較
https://ipsj.ixsq.nii.ac.jp/records/81556
https://ipsj.ixsq.nii.ac.jp/records/8155621eb3f47-0e6b-4100-8a3f-999f40cc1da7
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO0501006.pdf (91.1 kB)
|
Copyright (c) 2012 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-03-28 | |||||||
| タイトル | ||||||||
| タイトル | コントロールオペレータの表現力の比較 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Comparing the Expressive Power of Control Operators | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 発表概要 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻 | ||||||||
| 著者所属 | ||||||||
| 筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science, Graduate School of Systems and Information Engineering University of Tsukuba | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science, Graduate School of Systems and Information Engineering University of Tsukuba | ||||||||
| 著者名 |
高島, 尚希
× 高島, 尚希
|
|||||||
| 著者名(英) |
Naoki, Takashima
× Naoki, Takashima
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本発表は，コントロールオペレータの表現力を解明すること，特に，捕捉される限定継続の範囲が入れ子になることを許すコントロールオペレータnested shift/resetを，入れ子を許さないコントロールオペレータcontrol/promptを用いて表現できることを厳密に示すことを目的とする．コントロールオペレータnested shift/resetは，よく知られているコントロールオペレータshift/resetに，タグを付加して拡張したものである．本研究の出発点は，独立に提案され研究されているnested shift/resetとcontrol/promptが，抽象機械のレベルでは非常に類似した構造を持つ，という観測である．この観測に基づき，抽象機械のレベルで前者を後者でシミュレートできることを証明する．この手法を拡張して，nested control/promptをcontrol/promptでシミュレートできることも示す．最後に，抽象機械をソースコードレベルに戻す変換を適用することにより，nested shift/resetやnested control/promptを，control/promptでマクロ定義可能であることを示す．本手法によるマクロ定義は，簡潔なデータ型を用いて実現され，多くの関数型言語でそのまま利用可能である． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | We study the expressive power of control operators. We show that control operator “control/prompt” can simulate control operator “nested shift/reset”. “Nested shift/reset” is a control operator that extends “shift/reset”, which is well-known control operator, with tag. First, we find “nested shift/reset” and “control/prompt” have very similar structure on abstract machine level. Next, we prove that the latter operator can simulate by later one. Moreover, we also show “nested control/prompt” can simulate by “control/prompt” using same technique. Finally, we show that “nested shift/reset” and “control/prompt” can be macro-expressed by “control/prompt” by translating the abstract machine back to the source calculus. Since our macro-expressing technique requires only few basic data types, it can be implemented in many functional programming languages. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 5, 号 1, p. 27-27, 発行日 2012-03-28 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
