ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 研究報告
  2. 知能システム(ICS)
  3. 1999
  4. 63(1999-ICS-117)

等価変換ルールの探索に基づくプログラム合成

https://ipsj.ixsq.nii.ac.jp/records/50695
https://ipsj.ixsq.nii.ac.jp/records/50695
532497bb-b439-4a28-8c49-84b1fa3f7e1b
名前 / ファイル ライセンス アクション
IPSJ-ICS99117002.pdf IPSJ-ICS99117002.pdf (667.2 kB)
Copyright (c) 1999 by the Information Processing Society of Japan
オープンアクセス
Item type SIG Technical Reports(1)
公開日 1999-07-22
タイトル
タイトル 等価変換ルールの探索に基づくプログラム合成
タイトル
言語 en
タイトル Program Synthesis Based on Searching for Equivalent Transformation Rules
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_18gh
資源タイプ technical report
著者所属
北海道大学大学院工学研究科システム情報工学専攻
著者所属
北海道大学情報メディア教育研究総合センター
著者所属
北海道大学大学院工学研究科システム情報工学専攻
著者所属(英)
en
Division of System and Information Engineering, Hokkaido University
著者所属(英)
en
Center of Information and Multimedia Studies, Hokkaido University
著者所属(英)
en
Division of System and Information Engineering, Hokkaido University
著者名 小池, 英勝 赤間, 清 宮本, 衛市

× 小池, 英勝 赤間, 清 宮本, 衛市

小池, 英勝
赤間, 清
宮本, 衛市

Search repository
著者名(英) Hidekatsu, Koike Kiyoshi, Akama Eiichi, Miyamoto

× Hidekatsu, Koike Kiyoshi, Akama Eiichi, Miyamoto

en Hidekatsu, Koike
Kiyoshi, Akama
Eiichi, Miyamoto

Search repository
論文抄録
内容記述タイプ Other
内容記述 等価変換による問題解決では,等価変換ルールの集合で問題解決の手続きを記述する.等価変換ルールを用いると,正当で効率的な問題解決が可能である.論理プログラミングでは,関係を正しく記述しても解を得られない場合がある(everseの例題など).そのような問題に対してもこの方法では正しく解を与えることができる.これまでに,確定節の集合から多数の正当な等価変換ルールの集合を生成するための基礎理論が提案されている.本論文では,等価変換ルールの集合から探索によって,問題を効率的に解決するための等価変換ルールを発見する方法を提案する.この方法は,正当で効率的なプログラムを自動生成するための基礎を与える.
論文抄録(英)
内容記述タイプ Other
内容記述 In problem solving based on equivalent transformation (ET), a procedure is represented by a set of ET rules, which enables us to sove problems correctly and efficiently. There exist some problems that can be solved correctly by the ET paradigm, but cannot be solved by natural logic programs, though they define problems correctly. A theoretical foundation for generating a large class of correct ET rules has been proposed. In this paper we develop a method of searching the class of rules for efficient ET rules. This method lays a foundation of synthesizing correct and efficient programs.
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AA11135936
書誌情報 情報処理学会研究報告知能と複雑系(ICS)

巻 1999, 号 63(1999-ICS-117), p. 9-16, 発行日 1999-07-22
Notice
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-22 07:30:04.240871
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