@article{oai:nagoya.repo.nii.ac.jp:00007854,
 author = {西田, 直樹 and NISHIDA, Naoki and 酒井, 正彦 and SAKAI, Masahiko and 坂部, 俊樹 and SAKABE, Toshiki},
 issue = {8},
 journal = {電子情報通信学会論文誌D1},
 month = {Aug},
 note = {本論文では、与えられたプログラムが定義する関数の逆演算を定義するプログラムの生成法を与えることにより、項書換え系(TRS)の逆計算に取り組む。本生成法では、与えられた構成子TRSが定義する関数の逆演算を定義する条件付きTRSを生成し、それを条件部をもたないEV-TRS(書換え規則に右辺のみに現れる変数を許したTRS)に変換する。本手法により生成したEV-TRSの書換えをナローイングにより模倣することで逆計算が行えることを示す。},
 pages = {1171--1183},
 title = {構成子項書換え系の逆計算プログラムの生成},
 volume = {J88},
 year = {2005}
}