ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング


インデックスリンク

インデックスツリー

  • RootNode

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 論文誌(トランザクション)
  2. プログラミング(PRO)
  3. Vol.42
  4. No.SIG11(PRO12)

SchemeにおけるEvaluation Strategy の設計と実装

https://ipsj.ixsq.nii.ac.jp/records/16852
https://ipsj.ixsq.nii.ac.jp/records/16852
df91934f-8e03-48e9-b9cd-969cd298081c
名前 / ファイル ライセンス アクション
IPSJ-TPRO4211014.pdf 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
著者名 西村, 祥治 湯淺, 太一 八杉, 昌宏 小宮, 常康

× 西村, 祥治 湯淺, 太一 八杉, 昌宏 小宮, 常康

西村, 祥治
湯淺, 太一
八杉, 昌宏
小宮, 常康

Search repository
著者名(英) Shoji, Nishimura Taichi, Yuasa Masahiro, Yasugi Tsuneyasu, Komiya

× Shoji, Nishimura Taichi, Yuasa Masahiro, Yasugi Tsuneyasu, Komiya

en Shoji, Nishimura
Taichi, Yuasa
Masahiro, Yasugi
Tsuneyasu, Komiya

Search repository
論文抄録
内容記述タイプ 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
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-22 23:39:05.868823
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3