論文 - 西田　直樹

指定した引数を固定した逆関数を定義するTRSの生成

西田直樹, 酒井正彦, 坂部俊樹

信学技報 COMP2001-67   101 巻 ( 488 ) 頁： 33-40   2001年12月

　詳細を見る

担当区分：筆頭著者   記述言語：日本語  

Generation of Inverse Term Rewriting Systems for Pure Treeless Functions 査読有り

Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe

Proceedings of the International Workshop on Rewriting in Proof and Computation (RPC'01)     頁： 188-198   2001年10月

　詳細を見る

担当区分：筆頭著者   記述言語：英語  

PT関数の逆関数を定義するTRSの生成

西田直樹, 酒井正彦, 坂部俊樹

日本ソフトウェア科学会第18回大会講演論文集   ( 6C-3 ) 頁： 1-5   2001年9月

　詳細を見る

担当区分：筆頭著者   記述言語：日本語  

PT関数の逆関数を定義する条件付きTRSの生成

西田直樹, 酒井正彦, 坂部俊樹

信学技報 COMP2001-14   101 巻 ( 133 ) 頁： 9-16   2001年6月

　詳細を見る

担当区分：筆頭著者   記述言語：日本語  

ユーザにごみ集めを意識させないCライブラリの設計法

西田直樹, 酒井正彦, 坂部俊樹

信学技報 SS2000-9   100 巻 ( 64 ) 頁： 25-32   2000年5月

　詳細を見る

担当区分：筆頭著者   記述言語：日本語