WEKO3
アイテム
SchemeにおけるEvaluation Strategy の設計と実装
https://ipsj.ixsq.nii.ac.jp/records/16852
https://ipsj.ixsq.nii.ac.jp/records/16852df91934f-8e03-48e9-b9cd-969cd298081c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4211014.pdf (38.9 kB)
|
Copyright (c) 2001 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2001-11-15 | |||||||
| タイトル | ||||||||
| タイトル | SchemeにおけるEvaluation Strategy の設計と実装 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Design and Implementation of Evaluation Strategy on Scheme | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 発表概要 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 京都大学情報学研究科 | ||||||||
| 著者所属 | ||||||||
| 京都大学情報学研究科 | ||||||||
| 著者所属 | ||||||||
| 京都大学情報学研究科 | ||||||||
| 著者所属 | ||||||||
| 京都大学情報学研究科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者名 |
西村, 祥治
× 西村, 祥治
|
|||||||
| 著者名(英) |
Shoji, Nishimura
× Shoji, Nishimura
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Evaluation Strategyとは，並列プログラムを記述する一手法で，アルゴリズムと動的な振舞を分けてプログラムを記述することを可能にする．これはlazyな言語であるHaskellで提案されている手法である．遅延評価は評価する式を動的に決定するため，式の評価順序は不定である．しかし，評価要求を与えることによってそれを制御することは可能であり，Evaluation Strategyはこれを利用している．本発表ではこの手法をStrictな言語であるSchemeに導入する．導入にあたっては，Schemeに遅延評価の仕組みが必要である．Schemeにはdelay，forceがあり，これらを用いた遅延評価を実現することは可能であるが，プログラムの至るところに埋め込む必要があり，エレガントな手法ではない．本発表ではSchemeの言語機能として遅延評価系を導入し，そのインタフェースを用意することで遅延評価を容易に利用できる仕組みを提案する．それによって，Scheme上でEvaluation Strategyを実現する． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Evaluation Strategy is a method to describe parallel programs, which enables us to describe the dynamic behavior of a program separately from the algorithm. It is proposed for a lazy programming language, Haskell. Since lazy evaluation dynamically decides which expression should be evaluated next, the evaluation order depends on execution. However, it is controllable by giving evaluation request to expressions and Evaluation Strategy uses this gauge, Scheme. For this purpose, it is necessary to introduce lazy evaluation mechanism into Scheme. Since Scheme has delay and force, we could construct lazy evaluation by using them. But we have to insert delay and force all over a program and it is not an elegant way. In this presentation, we propose to introduce lazy evaluator into Scheme and to provide lazy and touch as the interface to use it easily. Using this mechanism, we implement Evaluation Strategy on Scheme. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 42, 号 SIG11(PRO12), p. 96-96, 発行日 2001-11-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
