| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2012-01-26 14:45 語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて ○坂井利光・酒井正彦・坂部俊樹・西田直樹・草刈圭一朗（名大）  MSS2011-62 SS2011-47 |
|
| 抄録 | （和） | 等式集合の語問題は，2つの項を与えたときに，等式集合のもとで2つの項が等しいかどうかを決定する問題である．本論文では線形，シャロー，変数非消去かつ非崩壊な規則からなる等式集合の語問題が，等式集合と2つの項から定められる基底項を各等式に代入する変換を用いることにより，変数を持たない等式集合の語問題へ帰着可能であることを示す．この結果より，変数を持たない等式集合の語問題判定アルゴリズムを用いて，目的の語問題を解くことが可能となる． |
| （英） | 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. | |
| キーワード | （和） | 等式理論 / 語問題 / 合同閉包 / / / / / |
| （英） | equational theory / word problem / congruence closure / / / / / | |
| 文献情報 | 信学技報, vol. 111, no. 406, SS2011-47, pp. 45-49, 2012年1月. | |
| 資料番号 | SS2011-47 | |
| 発行日 | 2012-01-19 (MSS, SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2011-62 SS2011-47 |
|
| 研究会情報 | |
| 研究会 | SS MSS |
| 開催期間 | 2012-01-26 - 2012-01-27 |
| 開催地（和） | 高知市文化プラザかるぽーと |
| 開催地（英） | Kochi City Culture-Plaza Cul-Port |
| テーマ（和） | 一般 |
| テーマ（英） | General topics |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2012-01-SS-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | 語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて |
| サブタイトル（和） | |
| タイトル（英） | On class of equation sets whose word problems are reducible to those of ground equation sets |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 等式理論 / equational theory |
| キーワード(2)（和/英） | 語問題 / word problem |
| キーワード(3)（和/英） | 合同閉包 / congruence closure |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 坂井 利光 / Toshimitsu Sakai / サカイ トシミツ |
| 第1著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 酒井 正彦 / Masahiko Sakai / サカイ マサヒコ |
| 第2著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 坂部 俊樹 / Toshiki Sakabe / サカベ トシキ |
| 第3著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 西田 直樹 / Naoki Nishida / ニシダ ナオキ |
| 第4著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第5著者 氏名（和/英/ヨミ） | 草刈 圭一朗 / Keiichirou Kusakari / クサカリ ケイイチロウ |
| 第5著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2012-01-26 14:45:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | MSS2011-62, SS2011-47 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | no.405(MSS), no.406(SS) |
| ページ範囲 | pp.45-49 |
| ページ数 | 5 |
| 発行日 | 2012-01-19 (MSS, SS) |
[研究会発表申込システムのトップページに戻る]