{"id":30289,"updated":"2025-01-22T17:08:07.208540+00:00","links":{},"created":"2025-01-18T22:59:55.592157+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00030289","sets":["1164:2386:2397:2399"]},"path":["2399"],"owner":"1","recid":"30289","title":["条件付き項書換え系の健全性と完全性"],"pubdate":{"attribute_name":"公開日","attribute_value":"1996-09-03"},"_buckets":{"deposit":"c3e2aa01-08db-46d6-b8b5-ef8749db3a68"},"_deposit":{"id":"30289","pid":{"type":"depid","value":"30289","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":"Soundness and Completeness of Conditional Term Rewriting Systems","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1996-09-03","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":"Doctoral Programin Engineering, University of Tsukuba","subitem_text_language":"en"},{"subitem_text_value":"Institute of Information Sciences and Electronics, University of Tsukuba","subitem_text_language":"en"},{"subitem_text_value":"Institute of Information Sciences and Electronics, University of Tsukuba","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/30289/files/IPSJ-PRO96009004.pdf"},"date":[{"dateType":"Available","dateValue":"1998-09-03"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-PRO96009004.pdf","filesize":[{"value":"406.3 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":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"2a96f6d2-e063-4c0f-b4d6-0e1712bab8ff","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1996 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"山田, 俊行"},{"creatorName":"Middeldorp, Aart"},{"creatorName":"井田, 哲雄"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Toshiyuki, Yamada","creatorNameLang":"en"},{"creatorName":"Aart, Middeldorp","creatorNameLang":"en"},{"creatorName":"Tetsuo, Ida","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10485570","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":"条件付き等式系εに対する条件付き項書換え系(TR)が健全かつ完全であるととは，εのすべてのモデルにおける等価性（=M_ε）とεのもとで等しいことの証明可能性（〓）とが一致することを意味する．本論文では，oriented　CTRSの完全性に関するAvenhausとLoria?Saenzの主張を反駁し，絶対不可約性(bsolute　irreduciblit)がoriented　CTRSの完全性を保証するのに不適切であることを指摘する．この性質に代え，安定性という性質を導入することにより，oriented　CTRSが完全であるための新たな十分条件を提示する．Suzukiらにより提案された，階層合流性をもっOriented　CTRSが健全かつ完全であることは，本論文の結果により明らかになる．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Soundness and completeness of a conditional term rewriting system (CTRS) for a conditional equational system ε means the equivalence of equality in all models (=M_ε) and the provability by equational reasoning (〓). In this paper a claim of Avenhaus and Loria-Saenz about the completeness of oriented CTRSs is refuted. We point out that absolute irreduciblity is an insufficient for ensuring the completeness of oriented CTRSs. As a substitute, we introduce stability and provide a new sufficient condition for completeness of oriented CTRSs. The level-confluent oriented CTRSs proposed by Suzuki et al. turn out to be sound and complete by using the result in this paper.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"24","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告プログラミング（PRO）"}],"bibliographicPageStart":"19","bibliographicIssueDates":{"bibliographicIssueDate":"1996-09-03","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"83(1996-PRO-009)","bibliographicVolumeNumber":"1996"}]},"relation_version_is_last":true,"weko_creator_id":"1"}}