WEKO3
アイテム
紐解かれた項書換え系の文脈依存条件の除去のための変換
http://hdl.handle.net/2237/9351
http://hdl.handle.net/2237/93514be881d6-37a0-462f-893d-159f3980711d
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2008-01-22 | |||||
タイトル | ||||||
タイトル | 紐解かれた項書換え系の文脈依存条件の除去のための変換 | |||||
言語 | ja | |||||
その他のタイトル | ||||||
その他のタイトル | Transformation for Removing Context-Sensitivity of TRSs Obtained by Unraveling | |||||
言語 | en | |||||
著者 |
水谷, 知博
× 水谷, 知博× MIZUTANI, Tomohiro× 西田, 直樹× NISHIDA, Naoki× 酒井, 正彦× SAKAI, Masahiko× 坂部, 俊樹× SAKABE, Toshiki× 草刈, 圭一朗× KUSAKARI, Keiichirou |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 条件付き項書書換え系 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | プログラム変換 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 紐解き変換 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 文脈依存書換え | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 所属制約 | |||||
抄録 | ||||||
内容記述 | 条件付き項書換え系(CTRS)からそれと同等の計算をする項書換え系(TRS)に変換する手法として紐解き変換(unraveling)がある。しかし、変換によって得られるTRSが返還前のCTRSと同等な計算をするためには文脈依存条件と所属制約条件を必要とする。そのため、変換によって得られるTRSは、一般的なTRSと同様には扱うことができない。本稿では、紐解き変換によって得られるTRSから文脈依存条件を緩和するための変換の手法を提案し、文脈依存条件を除去することを目指す。 | |||||
言語 | ja | |||||
内容記述タイプ | Abstract | |||||
出版者 | ||||||
言語 | ja | |||||
出版者 | 京都大学数理解析研究所 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | departmental bulletin paper | |||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
ISSN(print) | ||||||
収録物識別子タイプ | PISSN | |||||
収録物識別子 | 1880-2818 | |||||
書誌情報 |
ja : 数理解析研究所講究録 巻 1489, p. 195-201, 発行日 2006-05 |
|||||
フォーマット | ||||||
application/pdf | ||||||
著者版フラグ | ||||||
値 | publisher | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/9351 | |||||
識別子タイプ | HDL |