{"created":"2021-03-01T06:29:04.723061+00:00","id":21409,"links":{},"metadata":{"_buckets":{"deposit":"77c2f08a-59de-4dab-8003-e17114b36cd8"},"_deposit":{"id":"21409","owners":[],"pid":{"revision_id":0,"type":"depid","value":"21409"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00021409","sets":["312:313:314"]},"author_link":["62075","62076","62077","62078","62079","62080","62081","62082","62083","62084"],"item_10_alternative_title_19":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"On class of equation sets whose word problems are reducible to those of ground equation sets","subitem_alternative_title_language":"en"}]},"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2012-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"406","bibliographicPageEnd":"49","bibliographicPageStart":"45","bibliographicVolumeNumber":"111","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス","bibliographic_titleLang":"ja"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"等式集合の語問題は,2つの項を与えたときに,等式集合のもとで2つの項が等しいかどうかを決定する問題である.本論文では線形,シャロー,変数非消去かつ非崩壊な規則からなる等式集合の語問題が,等式集合と2つの項から定められる基底項を各等式に代入する変換を用いることにより,変数を持たない等式集合の語問題へ帰着可能であることを示す.この結果より,変数を持たない等式集合の語問題判定アルゴリズムを用いて,目的の語問題を解くことが可能となる. ","subitem_description_language":"ja","subitem_description_type":"Abstract"},{"subitem_description":"The word problem of an equation set is to decide, given two terms, whether the two terms are equivalent under the equations. In this paper, we show that word problems of linear, shallow, non-erasing and non-collapsing equation sets are reducible to those of equation sets having no variables, where we use a transformation that substitutes ground terms determined from the equation set and the given two terms into each equation. This result allows us to use decision algorithms for the word problem of an equation set without variables to solve the target problem.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"IEICE Technical Report;MSS2011-62,IEICE Technical Report;SS2011-47","subitem_description_language":"en","subitem_description_type":"Other"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"URI","subitem_identifier_uri":"http://ci.nii.ac.jp/naid/110009482061/"},{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/23552"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"一般社団法人電子情報通信学会","subitem_publisher_language":"ja"}]},"item_10_relation_40":{"attribute_name":"シリーズ","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"IEICE Technical Report;MSS2011-62"}]},{"subitem_relation_name":[{"subitem_relation_name_text":"IEICE Technical Report;SS2011-47"}]}]},"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/110009482061/","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":"62075","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"酒井, 正彦","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"62076","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"坂部, 俊樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"62077","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"西田, 直樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"62078","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"草刈, 圭一朗","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"62079","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKAI, Toshimitsu","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"62080","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKAI, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"62081","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKABE, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"62082","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NISHIDA, Naoki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"62083","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KUSAKARI, Keiichirou","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"62084","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-16"}],"displaytype":"detail","filename":"110009482061.pdf","filesize":[{"value":"639.7 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"110009482061.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/21409/files/110009482061.pdf"},"version_id":"dd6bf901-c7b0-4196-a187-404519824e9b"}]},"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":"equational theory","subitem_subject_scheme":"Other"},{"subitem_subject":"word problem","subitem_subject_scheme":"Other"},{"subitem_subject":"congruence closure","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":"2016-02-23"},"publish_date":"2016-02-23","publish_status":"0","recid":"21409","relation_version_is_last":true,"title":["語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:10:35.439687+00:00"}