WEKO3
インデックスリンク
アイテム
{"_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": ["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": [{"nameIdentifier": "402", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "40345658", "nameIdentifierScheme": "研究者番号", "nameIdentifierURI": "https://nrid.nii.ac.jp/nrid/1000040345658"}]}, {"creatorNames": [{"creatorName": "二木, 厚吉"}], "nameIdentifiers": [{"nameIdentifier": "14316", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "緒方, 和博"}], "nameIdentifiers": [{"nameIdentifier": "14317", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-10-03"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "TE-PR-NAKAMURA-M-69.pdf", "filesize": [{"value": "988.6 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 988600.0, "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"], "permalink_uri": "http://hdl.handle.net/2297/12395", "pubdate": {"attribute_name": "公開日", "attribute_value": "2017-10-03"}, "publish_date": "2017-10-03", "publish_status": "0", "recid": "9793", "relation": {}, "relation_version_is_last": true, "title": ["CafeOBJ入門(3) : 等式推論と項書換システム"], "weko_shared_id": -1}
CafeOBJ入門(3) : 等式推論と項書換システム
http://hdl.handle.net/2297/12395
http://hdl.handle.net/2297/123951ae8c94a-dbfa-40eb-bad0-ee3ae245f87a
名前 / ファイル | ライセンス | アクション |
---|---|---|
TE-PR-NAKAMURA-M-69.pdf (988.6 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2017-10-03 | |||||
タイトル | ||||||
タイトル | CafeOBJ入門(3) : 等式推論と項書換システム | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Introducing CafeOBJ (3) : Equational Reasoning and Term Rewriting Systems | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者 |
中村, 正樹
× 中村, 正樹× 二木, 厚吉× 緒方, 和博 |
|||||
提供者所属 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 金沢大学理工研究域電子情報学系 | |||||
書誌情報 |
コンピュータソフトウェア 巻 25, 号 3, p. 69-80, 発行日 2008-07-25 |
|||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0289-6540 | |||||
NCID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AN10075819 | |||||
出版者 | ||||||
出版者 | 日本ソフトウェア科学会 | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | "等式推論は代数仕様言語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." | |||||
権利 | ||||||
権利情報 | 日本ソフトウェア科学会;本文データは日本ソフトウェア科学会の許諾に基づきCiNiiから複製したものである | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
関連URI | ||||||
識別子タイプ | URI | |||||
関連識別子 | http://ci.nii.ac.jp/naid/110006840405/ |