{"created":"2021-03-01T06:26:30.416770+00:00","id":19048,"links":{},"metadata":{"_buckets":{"deposit":"e7c2436d-1418-4d57-8e58-a228c81adf59"},"_deposit":{"id":"19048","owners":[],"pid":{"revision_id":0,"type":"depid","value":"19048"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00019048","sets":["312:313:314"]},"author_link":["55593","55594","55595","55596","55597","55598","55599","55600","55601","55602"],"item_10_alternative_title_19":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"On non-termination proof of right-linear and right-shallow term rewriting systems based on forward narrowing","subitem_alternative_title_language":"en"}]},"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2010-12","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"336","bibliographicPageEnd":"36","bibliographicPageStart":"31","bibliographicVolumeNumber":"110","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会技術研究報告SS, ソフトウェアサイエンス","bibliographic_titleLang":"ja"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"順方向ナローイングに基づく非停止性証明解析はAProVE等の停止性証明ツールに採用されている.しかしながら,それが完全である項書換え系のクラス,すなわち,非停止性をもつならば順方向ナローイングに基づく解析でそれが証明可能となるクラスは知られていない.本論文では,依存対が右線形右シャローである項書換え系においては,順方向ナローイングに基づく解析が完全であることを示す. ","subitem_description_language":"ja","subitem_description_type":"Abstract"},{"subitem_description":"Detecting non-termination of term rewriting systems based on forward narrowing is used in termination tools such as AProVE. However, there is no known class of term rewriting systems for which the detection method is complete, that is, non-termination is always proved by the method. This paper proves that the detection method is complete for the term rewriting systems whose dependency pairs are right-linear and right-shallow.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"URI","subitem_identifier_uri":"http://ci.nii.ac.jp/naid/110008675938"},{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/21154"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"一般社団法人電子情報通信学会","subitem_publisher_language":"ja"}]},"item_10_relation_43":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"http://ci.nii.ac.jp/naid/110008675938","subitem_relation_type_select":"URI"}}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"(c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである","subitem_rights_language":"ja"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_10_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0913-5685","subitem_source_identifier_type":"PISSN"}]},"item_1615787544753":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"服部, 達哉","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55593","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"酒井, 正彦","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55594","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"西田, 直樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55595","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"草刈, 圭一朗","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55596","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"坂部, 俊樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55597","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"HATTORI, Tatsuya","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55598","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKAI, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55599","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NISHIDA, Naoki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55600","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KUSAKARI, Keiichirou","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55601","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKABE, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55602","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"110008675938.pdf","filesize":[{"value":"766.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"110008675938.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/19048/files/110008675938.pdf"},"version_id":"d824e7a4-3c74-4a72-9561-a0aee6d965d3"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"停止性証明ツール","subitem_subject_scheme":"Other"},{"subitem_subject":"完全性","subitem_subject_scheme":"Other"},{"subitem_subject":"依存対","subitem_subject_scheme":"Other"},{"subitem_subject":"termination tool","subitem_subject_scheme":"Other"},{"subitem_subject":"completeness","subitem_subject_scheme":"Other"},{"subitem_subject":"dependency pair","subitem_subject_scheme":"Other"}]},"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":"順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について","subitem_title_language":"ja"}]},"item_type_id":"10","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-01-29"},"publish_date":"2015-01-29","publish_status":"0","recid":"19048","relation_version_is_last":true,"title":["順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:32:28.630358+00:00"}