| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2008-03-03 13:30 等式を規則化する変換の停止条件 ○水野清貴・西田直樹・坂部俊樹・酒井正彦・草刈圭一朗（名大）  SS2007-62 |
|
| 抄録 | （和） | 項書換え系（TRS）と等式集合から等価なTRSを得る変換手続きが様々な目的で提案されている．これらの手続きを活用するにはその停止性を明らかにすることが必要であるが，これまでに手続きの停止性に関する研究はほとんどなされていない．本稿では，TRSと等式集合の変換手続きに共通する特徴を捉えて，共通して適用できる停止性の十分条件を与える．具体的には，手続きの停止性をナローイング到達可能集合の有限性に帰着させる．そして，等式付き書換え系の等式数削減手続き[10]と正規化手続き[2]について停止性の十分条件を与える． |
| （英） | Several procedures which transform pairs of term rewriting systems (TRSs, for short) and sets of equations into equivalent TRSs have been proposed so far for different purposes. There has been few works on termination of these procedures, while we need some criteria assuring termination in applying them. In this paper, we show a common sufficient condition for the termination of those procedures. We reduce the termination of the procedures to finiteness of sets of narrowing reachable terms. In particular, we discuss sufficient conditions for the termination of the equation elimination procedure [10] and the normalization procedure [2]. | |
| キーワード | （和） | 項書換え系 / 等式付き書換え / 等価変換 / ナローイング / / / / |
| （英） | term rewriting system / rewriting modulo equations / equivalent transformation / narrowing / / / / | |
| 文献情報 | 信学技報, vol. 107, no. 505, SS2007-62, pp. 31-36, 2008年3月. | |
| 資料番号 | SS2007-62 | |
| 発行日 | 2008-02-25 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2007-62 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2008-03-03 - 2008-03-04 |
| 開催地（和） | 長崎大学 |
| 開催地（英） | Nagasaki Univ. |
| テーマ（和） | 一般 |
| テーマ（英） | general |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2008-03-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 等式を規則化する変換の停止条件 |
| サブタイトル（和） | |
| タイトル（英） | A Sufficient Condition for Termination of Transformations from Equations to Rewrite Rules |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 項書換え系 / term rewriting system |
| キーワード(2)（和/英） | 等式付き書換え / rewriting modulo equations |
| キーワード(3)（和/英） | 等価変換 / equivalent transformation |
| キーワード(4)（和/英） | ナローイング / narrowing |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 水野 清貴 / Kiyotaka Mizuno / ミズノ キヨタカ |
| 第1著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 西田 直樹 / Naoki Nishida / ニシダ ナオキ |
| 第2著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 坂部 俊樹 / Toshiki Sakabe / サカベ トシキ |
| 第3著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 酒井 正彦 / Masahiko Sakai / サカイ マサヒコ |
| 第4著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第5著者 氏名（和/英/ヨミ） | 草刈 圭一朗 / Keiichirou Kusakari / クサカリ ケイイチロウ |
| 第5著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2008-03-03 13:30:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | SS2007-62 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | no.505 |
| ページ範囲 | pp.31-36 |
| ページ数 | 6 |
| 発行日 | 2008-02-25 (SS) |
[研究会発表申込システムのトップページに戻る]