WEKO3
アイテム
宣言的プログラムのアンフォールド変換
https://ipsj.ixsq.nii.ac.jp/records/16974
https://ipsj.ixsq.nii.ac.jp/records/16974c9c7d8c4-46d8-471a-a162-9fa3f8b688f5
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4007003.pdf (2.8 MB)
|
Copyright (c) 1999 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1999-08-15 | |||||||
| タイトル | ||||||||
| タイトル | 宣言的プログラムのアンフォールド変換 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Unfolding of Declarative Programs | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 通常論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 北海道大学情報メディア教育研究総合センター | ||||||||
| 著者所属 | ||||||||
| 東芝システムLSI技術研究所 | ||||||||
| 著者所属 | ||||||||
| 北海道大学大学院システム情報工学専攻 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Center for Information and Multimedia Studies, | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| System ULSI Engineering Laboratory, Toshiba Corporation | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of System and Information Engineering, Hokkaido University | ||||||||
| 著者名 |
赤間, 清
繁田, 良則
宮本, 衛一
× 赤間, 清 繁田, 良則 宮本, 衛一
|
|||||||
| 著者名(英) |
Kiyoshi, Akama
Yoshinoei, Shigeta
Eiichi, Miyamoto
× Kiyoshi, Akama Yoshinoei, Shigeta Eiichi, Miyamoto
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 宣言的プログラムは 論理プログラムを任意のデータ構造を利用できるように拡張した問題記述のクラスである.本論文では 宣言的プログラムのアンフォールド変換の理論を与える.一般の宣言的プログラムでは 「健全ではない変換の存在」や「最汎ユニファイアの非存在」などの特徴があり 論理プログラムに関するアンフォールド変換の理論の単純な拡張では 一般的な理論を構築することは困難である.本論文では 既存のユニファイアのかわりにペアユニファイアという概念を導入し 健全なペアユニファイア集合や完全なペアユニファイア集合という概念を提案する.またこれらの定義に基づいて 宣言的プログラムのアンフォールド変換の健全性と完全性の定理を提案し その正当性を証明する.この理論は 宣言的プログラムを用いた問題解決の基礎を与える. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Declarative programs form a class of problem descriptions that are extended from logic programs so as to utilize arbitrary data structures. In this paper, we propose a theory for unfolding of declarative programs. Since unfolding of declarative programs may be unsound and most general unifiers do not exist for many declarative programs, it is very difficult to develop a general theory of unfolding for declarative programs as a simple extension of the one for logic programming. We introduce a new concept of pair unifiers in place of usual unifiers and propose concepts of sound pair-unifier sets and complete pair-unifier sets. Based on these definitions, we also propose and prove a theorem of sound and complete unfolding for declarative programs. This theory gives a foundation of problem solving in terms of declarative programs. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 40, 号 SIG07(PRO4), p. 9-23, 発行日 1999-08-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
