論文 - 西田 直樹
-
右辺のみに現れる変数を持つ項書換え系の計算モデル 査読有り Open Access
西田直樹, 酒井正彦, 坂部俊樹
コンピュータソフトウェア 20 巻 ( 5 ) 頁: 85-89 2003年9月
-
右辺のみに現れる変数を持つ右線形構成子項書換え系の計算の効率化
西田直樹, 酒井正彦, 坂部俊樹
日本ソフトウェア科学会第20回記念大会講演論文集 ( 5B-3 ) 頁: 1-5 2003年9月
-
右辺のみに現れる変数を持つ右線形オーバーレイ項書換え系の最左最内ナローイングによる正規形の計算
西田直樹, 酒井正彦, 坂部俊樹
2003年度夏のLAシンポジウム ( 24 ) 頁: 1-6 2003年7月
-
Narrowing-Based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof 査読有り
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP'03) 頁: 198-211 2003年6月
-
右辺のみに現れる変数を持つ項書換え系のナローイングに基づく実効的書換えとその停止性
西田直樹, 酒井正彦, 坂部俊樹
計算機科学基礎理論とその応用, 数理解析研究所講究録(2002年度冬のLAシンポジウム) 1325 巻 頁: 238-243 2003年5月
-
右辺のみに現れる変数を持つ項書換え系のナローイングに基づく実効的書換えとその停止性
西田直樹, 酒井正彦, 坂部俊樹
信学技報 COMP2003-68 102 巻 ( 593 ) 頁: 45-52 2003年1月
-
右辺のみに現れる変数を持つ項書換え系のナローイングに基づく書換え
西田直樹, 酒井正彦, 坂部俊樹
平成14年度電気関係学会東海支部連合大会論文集 頁: 292 2002年9月
-
右辺のみに現れる変数を持つ項書換え系の計算モデル Open Access
西田直樹, 酒井正彦, 坂部俊樹
日本ソフトウェア科学会第19回大会講演論文集 ( 6F-3 ) 頁: 1-5 2002年9月
-
PT関数の逆関数を定義するTRSの生成 査読有り Open Access
西田直樹, 酒井正彦, 坂部俊樹
コンピュータソフトウェア 19 巻 ( 1 ) 頁: 29-33 2002年1月
-
指定した引数を固定した逆関数を定義する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の生成 Open Access
西田直樹, 酒井正彦, 坂部俊樹
日本ソフトウェア科学会第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月