@article{oai:nagoya.repo.nii.ac.jp:00007648,
 author = {水谷, 知博 and MIZUTANI, Tomohiro and 西田, 直樹 and NISHIDA, Naoki and 酒井, 正彦 and SAKAI, Masahiko and 坂部, 俊樹 and SAKABE, Toshiki and 草刈, 圭一朗 and KUSAKARI, Keiichirou},
 journal = {数理解析研究所講究録},
 month = {May},
 note = {条件付き項書換え系（CTRS）からそれと同等の計算をする項書換え系（TRS)に変換する手法として紐解き変換（unraveling）がある。しかし、変換によって得られるTRSが返還前のCTRSと同等な計算をするためには文脈依存条件と所属制約条件を必要とする。そのため、変換によって得られるTRSは、一般的なTRSと同様には扱うことができない。本稿では、紐解き変換によって得られるTRSから文脈依存条件を緩和するための変換の手法を提案し、文脈依存条件を除去することを目指す。},
 pages = {195--201},
 title = {紐解かれた項書換え系の文脈依存条件の除去のための変換},
 volume = {1489},
 year = {2006}
}