{"created":"2023-07-27T06:26:10.936686+00:00","id":9793,"links":{},"metadata":{"_buckets":{"deposit":"78ec9148-0fc2-476f-96d0-fdd2e575d0ed"},"_deposit":{"created_by":3,"id":"9793","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"9793"},"status":"published"},"_oai":{"id":"oai:kanazawa-u.repo.nii.ac.jp:00009793","sets":["934:935:936"]},"author_link":["14317","402","14316"],"item_4_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2008-07-25","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicPageEnd":"80","bibliographicPageStart":"69","bibliographicVolumeNumber":"25","bibliographic_titles":[{"bibliographic_title":"コンピュータソフトウェア"}]}]},"item_4_description_21":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"\"等式推論は代数仕様言語CafeOBJの最重要の推論機構である.等式推論の効率的な実行を可能とする項書換システムについて,CafeOBJ仕様の作成の助けとなる知識に焦点を当てて解説する.項書換システムの停止性,合流性,十分完全性などの基本的性質を満たす仕様作成の指針を示し,AC演算子属性,条件付き等式などを含む仕様への適用を議論する. Equational inference is the most fundamental inference mechanism for CafeOBJ algebraic specification language. Term rewriting system can realize equational inference in an efficient way. Several pieces of fundamental knowledge on term rewriting systems, which are valuable for CafeOBJ specification development, are described. We present the ways to describe specifications which satisfies fundamental properties of term rewriting systems: termination, confluence and sufficient completeness properties, and also discuss about applications to specifications including associative and/or commutative operators, conditional equations, and so on.\"","subitem_description_type":"Abstract"}]},"item_4_description_5":{"attribute_name":"提供者所属","attribute_value_mlt":[{"subitem_description":"金沢大学理工研究域電子情報学系","subitem_description_type":"Other"}]},"item_4_publisher_17":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"日本ソフトウェア科学会"}]},"item_4_relation_28":{"attribute_name":"関連URI","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"http://ci.nii.ac.jp/naid/110006840405/","subitem_relation_type_select":"URI"}}]},"item_4_rights_23":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"日本ソフトウェア科学会；本文データは日本ソフトウェア科学会の許諾に基づきCiNiiから複製したものである"}]},"item_4_source_id_11":{"attribute_name":"NCID","attribute_value_mlt":[{"subitem_source_identifier":"AN10075819","subitem_source_identifier_type":"NCID"}]},"item_4_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0289-6540","subitem_source_identifier_type":"ISSN"}]},"item_4_version_type_25":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"中村, 正樹"}],"nameIdentifiers":[{},{}]},{"creatorNames":[{"creatorName":"二木, 厚吉"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"緒方, 和博"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-10-03"}],"displaytype":"detail","filename":"TE-PR-NAKAMURA-M-69.pdf","filesize":[{"value":"988.6 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"TE-PR-NAKAMURA-M-69.pdf","url":"https://kanazawa-u.repo.nii.ac.jp/record/9793/files/TE-PR-NAKAMURA-M-69.pdf"},"version_id":"56dd632a-05bf-4c9e-b3e0-a34eb80f8973"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"CafeOBJ入門(3) : 等式推論と項書換システム","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"CafeOBJ入門(3) : 等式推論と項書換システム"},{"subitem_title":"Introducing CafeOBJ (3) : Equational Reasoning and Term Rewriting Systems","subitem_title_language":"en"}]},"item_type_id":"4","owner":"3","path":["936"],"pubdate":{"attribute_name":"公開日","attribute_value":"2017-10-03"},"publish_date":"2017-10-03","publish_status":"0","recid":"9793","relation_version_is_last":true,"title":["CafeOBJ入門(3) : 等式推論と項書換システム"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-07-28T01:49:07.726566+00:00"}