論文 - 西田 直樹
-
ナローイング計算の停止性証明のための依存グラフ法
三浦浩一, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
信学技報 SS2005-23 105 巻 ( 129 ) 頁： 31-36 2005年6月
-
Partial Inversion of Constructor Term Rewriting Systems 査読有り
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Proceedings of the 16th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science 3467 巻 頁： 264-278 2005年4月
-
変換と部分評価に基づく非左辺正規なメタ項の停止性証明
蛸島洋明, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗
計算機科学基礎理論とその応用, 数理解析研究所講究録（2004年度冬のLAシンポジウム） 1426 巻 頁： 113-118 2005年4月
-
弱最内戦略を完全にする項書換え系の等価変換
岡本晃治, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
計算機科学基礎理論とその応用, 数理解析研究所講究録（2004年度冬のLAシンポジウム） 1426 巻 頁： 119-125 2005年4月
-
到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係
村田龍彦, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
計算機科学基礎理論とその応用, 数理解析研究所講究録（2004年度冬のLAシンポジウム） 1426 巻 頁： 106-112 2005年4月
-
配列を扱う非線形先頭再帰プログラムからの再帰除去
高須洋平, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
計算機科学基礎理論とその応用, 数理解析研究所講究録（2004年度冬のLAシンポジウム） 1426 巻 頁： 39-44 2005年4月
-
融合変換を模倣するプログラム生成変換の戦略
長島正憲, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗
信学技報 SS2004-33 104 巻 ( 466 ) 頁： 43-48 2004年11月
-
On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
IEICE Technical Report SS 2004-18 104 巻 ( 243 ) 頁： 25-30 2004年8月
-
On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
LA Symposium 2004 Summer ( 7 ) 頁： 1-6 2004年7月
-
右辺のみに現れる変数を持つ線形構成子項書換え系の計算の効率化 査読有り
西田直樹, 酒井正彦, 坂部俊樹
コンピュータソフトウェア 21 巻 ( 3 ) 頁： 40-47 2004年5月
-
Narrowing-Based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof 査読有り
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Electronic Notes in Theoretical Computer Science 86 巻 ( 3 ) 頁： 1-18 2003年11月
-
右辺のみに現れる変数を持つ項書換え系の計算モデル 査読有り
西田直樹, 酒井正彦, 坂部俊樹
コンピュータソフトウェア 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月
-
右辺のみに現れる変数を持つ項書換え系の計算モデル
西田直樹, 酒井正彦, 坂部俊樹
日本ソフトウェア科学会第19回大会講演論文集 ( 6F-3 ) 頁： 1-5 2002年9月
-
PT関数の逆関数を定義するTRSの生成 査読有り
西田直樹, 酒井正彦, 坂部俊樹
コンピュータソフトウェア 19 巻 ( 1 ) 頁： 29-33 2002年1月