{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00050695","sets":["1164:4402:4447:4449"]},"path":["4449"],"owner":"1","recid":"50695","title":["等価変換ルールの探索に基づくプログラム合成"],"pubdate":{"attribute_name":"公開日","attribute_value":"1999-07-22"},"_buckets":{"deposit":"d113c463-8563-4549-ae3c-2cbc14f5c7e5"},"_deposit":{"id":"50695","pid":{"type":"depid","value":"50695","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"等価変換ルールの探索に基づくプログラム合成","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"等価変換ルールの探索に基づくプログラム合成"},{"subitem_title":"Program Synthesis Based on Searching for Equivalent Transformation Rules","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1999-07-22","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"北海道大学大学院工学研究科システム情報工学専攻"},{"subitem_text_value":"北海道大学情報メディア教育研究総合センター"},{"subitem_text_value":"北海道大学大学院工学研究科システム情報工学専攻"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Division of System and Information Engineering, Hokkaido University","subitem_text_language":"en"},{"subitem_text_value":"Center of Information and Multimedia Studies, Hokkaido University","subitem_text_language":"en"},{"subitem_text_value":"Division of System and Information Engineering, Hokkaido University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/50695/files/IPSJ-ICS99117002.pdf"},"date":[{"dateType":"Available","dateValue":"2001-07-22"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-ICS99117002.pdf","filesize":[{"value":"667.2 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"25"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"2c33a1a4-2657-41c1-9280-5c1ed0f4363c","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1999 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"小池, 英勝"},{"creatorName":"赤間, 清"},{"creatorName":"宮本, 衛市"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Hidekatsu, Koike","creatorNameLang":"en"},{"creatorName":"Kiyoshi, Akama","creatorNameLang":"en"},{"creatorName":"Eiichi, Miyamoto","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11135936","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"等価変換による問題解決では，等価変換ルールの集合で問題解決の手続きを記述する．等価変換ルールを用いると，正当で効率的な問題解決が可能である．論理プログラミングでは，関係を正しく記述しても解を得られない場合がある(everseの例題など）．そのような問題に対してもこの方法では正しく解を与えることができる．これまでに，確定節の集合から多数の正当な等価変換ルールの集合を生成するための基礎理論が提案されている．本論文では，等価変換ルールの集合から探索によって，問題を効率的に解決するための等価変換ルールを発見する方法を提案する．この方法は，正当で効率的なプログラムを自動生成するための基礎を与える．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"16","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告知能と複雑系（ICS）"}],"bibliographicPageStart":"9","bibliographicIssueDates":{"bibliographicIssueDate":"1999-07-22","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"63(1999-ICS-117)","bibliographicVolumeNumber":"1999"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":50695,"updated":"2025-01-22T07:30:05.084811+00:00","links":{},"created":"2025-01-18T23:15:24.869287+00:00"}