{"created":"2021-03-01T06:14:19.251811+00:00","id":7651,"links":{},"metadata":{"_buckets":{"deposit":"7d09a974-a8c5-41b6-ab1f-069a1655f0c6"},"_deposit":{"id":"7651","owners":[],"pid":{"revision_id":0,"type":"depid","value":"7651"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00007651","sets":["312:313:314"]},"author_link":["21634","21635","21636","21637","21638","21639","21640","21641","21642","21643"],"item_1615768549627":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_9_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2005-04","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"112","bibliographicPageStart":"106","bibliographicVolumeNumber":"1426","bibliographic_titles":[{"bibliographic_title":"京都大学数理解析研究所講究録","bibliographic_titleLang":"ja"}]}]},"item_9_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"項到達可能性問題とは、与えられた2つの項と項書換え系(TRS) に対し、片方の項(初期項)からもう片方の項(標的項)へ到達できるかという問題である。この問題は一般には決定不能だが、決定可能なTRSのクラスも存在する。F.Jacquemardは、TRSが右線形逆成長の場合において、初期項から到達可能な全ての項を受理する木オートマトン(TA)を構成し、標的項がTAに受理されるかで到達可能性を判定する方法を提案した。さらに、TRSが右線形の場合においては初期項から到達可能な項を全て受理するTAを構築して到達不可能性を判定する手法を示した。本稿では、Jacquemard の手法を元にして、任意のTRSにおいて初期項から到達可能な項を全て受理するTA を、TA生成ツールTimbukが必ず出力するような、Timbukの入力生成アルゴリズムを提案する。また、提案手法とJacquemardの手法を比較し、TRSが右線形の場合においては得られるTAの能力が等価であることを示す、さらに、提案したアルゴリズムを改良し近似精度の向上を図る。","subitem_description_language":"ja","subitem_description_type":"Abstract"}]},"item_9_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/9355"}]},"item_9_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"京都大学数理解析研究所","subitem_publisher_language":"ja"}]},"item_9_relation_43":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"http://hdl.handle.net/2433/47265","subitem_relation_type_select":"URI"}}]},"item_9_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_9_source_id_7":{"attribute_name":"ISSN（print）","attribute_value_mlt":[{"subitem_source_identifier":"1880-2818","subitem_source_identifier_type":"PISSN"}]},"item_9_text_14":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_text_value":"application/pdf"}]},"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":"21634","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"MURATA, Tatsuhiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21635","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"酒井, 正彦","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"21636","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKAI, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21637","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"西田, 直樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"21638","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NISHIDA, Naoki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21639","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"草刈, 圭一朗","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"21640","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KUSAKARI, Keiichirou","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21641","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"坂部, 俊樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"21642","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKABE, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"21643","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-19"}],"displaytype":"detail","filename":"1426_106-112.pdf","filesize":[{"value":"870.7 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"1426_106-112.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/7651/files/1426_106-112.pdf"},"version_id":"128de295-6a00-4e48-a343-81660da38571"}]},"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"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係","subitem_title_language":"ja"}]},"item_type_id":"9","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2008-01-22"},"publish_date":"2008-01-22","publish_status":"0","recid":"7651","relation_version_is_last":true,"title":["項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T03:53:06.610726+00:00"}