ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_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": ["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", "download_preview_message": "", "file_order": 0, "filename": "110009482061.pdf", "filesize": [{"value": "639.7 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 639700.0, "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"], "permalink_uri": "http://hdl.handle.net/2237/23552", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2016-02-23"}, "publish_date": "2016-02-23", "publish_status": "0", "recid": "21409", "relation": {}, "relation_version_is_last": true, "title": ["語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて"], "weko_shared_id": -1}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500a 雑誌掲載論文
  3. 学術雑誌

語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて

http://hdl.handle.net/2237/23552
http://hdl.handle.net/2237/23552
d7ed86da-713a-4324-b4d2-e06df4222181
名前 / ファイル ライセンス アクション
110009482061.pdf 110009482061.pdf (639.7 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2016-02-23
タイトル
タイトル 語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて
言語 ja
その他のタイトル
その他のタイトル On class of equation sets whose word problems are reducible to those of ground equation sets
言語 en
著者 坂井, 利光

× 坂井, 利光

WEKO 62075

ja 坂井, 利光

Search repository
酒井, 正彦

× 酒井, 正彦

WEKO 62076

ja 酒井, 正彦

Search repository
坂部, 俊樹

× 坂部, 俊樹

WEKO 62077

ja 坂部, 俊樹

Search repository
西田, 直樹

× 西田, 直樹

WEKO 62078

ja 西田, 直樹

Search repository
草刈, 圭一朗

× 草刈, 圭一朗

WEKO 62079

ja 草刈, 圭一朗

Search repository
SAKAI, Toshimitsu

× SAKAI, Toshimitsu

WEKO 62080

en SAKAI, Toshimitsu

Search repository
SAKAI, Masahiko

× SAKAI, Masahiko

WEKO 62081

en SAKAI, Masahiko

Search repository
SAKABE, Toshiki

× SAKABE, Toshiki

WEKO 62082

en SAKABE, Toshiki

Search repository
NISHIDA, Naoki

× NISHIDA, Naoki

WEKO 62083

en NISHIDA, Naoki

Search repository
KUSAKARI, Keiichirou

× KUSAKARI, Keiichirou

WEKO 62084

en KUSAKARI, Keiichirou

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 ja
権利情報 (c)一般社団法人電子情報通信学会 本文データは学協会の許諾に基づきCiNiiから複製したものである
キーワード
主題Scheme Other
主題 等式理論
キーワード
主題Scheme Other
主題 語問題
キーワード
主題Scheme Other
主題 合同閉包
キーワード
主題Scheme Other
主題 equational theory
キーワード
主題Scheme Other
主題 word problem
キーワード
主題Scheme Other
主題 congruence closure
抄録
内容記述 等式集合の語問題は,2つの項を与えたときに,等式集合のもとで2つの項が等しいかどうかを決定する問題である.本論文では線形,シャロー,変数非消去かつ非崩壊な規則からなる等式集合の語問題が,等式集合と2つの項から定められる基底項を各等式に代入する変換を用いることにより,変数を持たない等式集合の語問題へ帰着可能であることを示す.この結果より,変数を持たない等式集合の語問題判定アルゴリズムを用いて,目的の語問題を解くことが可能となる.
言語 ja
内容記述タイプ Abstract
抄録
内容記述 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.
言語 en
内容記述タイプ Abstract
内容記述
内容記述 IEICE Technical Report;MSS2011-62,IEICE Technical Report;SS2011-47
言語 en
内容記述タイプ Other
出版者
言語 ja
出版者 一般社団法人電子情報通信学会
言語
言語 jpn
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
関連情報
関連タイプ isVersionOf
識別子タイプ URI
関連識別子 http://ci.nii.ac.jp/naid/110009482061/
ISSN
収録物識別子タイプ PISSN
収録物識別子 0913-5685
書誌情報 ja : 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス

巻 111, 号 406, p. 45-49, 発行日 2012-01
著者版フラグ
値 publisher
シリーズ
関連名称 IEICE Technical Report;MSS2011-62
シリーズ
関連名称 IEICE Technical Report;SS2011-47
URI
識別子 http://ci.nii.ac.jp/naid/110009482061/
識別子タイプ URI
URI
識別子 http://hdl.handle.net/2237/23552
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 15:23:41.282623
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3