論文 - 西田 直樹
-
分散JoinJAVAプログラムの通信エラーに対する型判定システム
佐伯昌樹, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
信学技報 SS2005-67 105 巻 ( 491 ) 頁： 25-30 2005年12月
-
重なりを持つTRSにおける最外戦略の完全性について
岩田篤史, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
信学技報 SS2005-46 105 巻 ( 331 ) 頁： 39-44 2005年10月
-
関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法 査読有り Open Access
櫻井敬大, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹
第4回情報科学技術フォーラム (FIT2005) 論文集, 情報科学技術レターズ ( LA-001 ) 頁： 1-4 2005年9月
-
カラーペトリネットを用いた暗号プロトコルの安全性検証
奥谷大介, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
平成17年度電気関係学会東海支部連合大会論文集 ( O-198 ) 頁： 1 2005年9月
-
分散JoinJAVAプログラムの正常実行性判定のための型システム
佐伯昌樹, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
平成17年度電気関係学会東海支部連合大会論文集 ( O-306 ) 頁： 1 2005年9月
-
構成子項書換え系の逆計算プログラムの生成 査読有り Open Access
西田直樹, 酒井正彦, 坂部俊樹
電子情報通信学会論文誌 D-I J88-D-I 巻 ( 8 ) 頁： 1171-1183 2005年8月
-
準構成子項書換え系における停止性の決定問題
王易，酒井正彦，西田直樹，草刈圭一朗，坂部俊樹
信学技報 SS2005-46 105 巻 ( 228 ) 頁： 13-18 2005年8月
-
難読プログラミング言語Malbolgeにおけるプログラム構成手法
飯澤恒, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
信学技報 SS2005-22 105 巻 ( 129 ) 頁： 25-30 2005年6月
-
ナローイング計算の停止性証明のための依存グラフ法
三浦浩一, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
信学技報 SS2005-23 105 巻 ( 129 ) 頁： 31-36 2005年6月
-
強計算性に基づいた単純型項書換え系の停止性証明法
草刈圭一朗, 櫻井敬大, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹
信学技報 SS2005-21 105 巻 ( 129 ) 頁： 19-24 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月
-
変換と部分評価に基づく非左辺正規なメタ項の停止性証明 Open Access
蛸島洋明, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗
計算機科学基礎理論とその応用, 数理解析研究所講究録（2004年度冬のLAシンポジウム） 1426 巻 頁： 113-118 2005年4月
-
弱最内戦略を完全にする項書換え系の等価変換 Open Access
岡本晃治, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
計算機科学基礎理論とその応用, 数理解析研究所講究録（2004年度冬のLAシンポジウム） 1426 巻 頁： 119-125 2005年4月
-
到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係
村田龍彦, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
計算機科学基礎理論とその応用, 数理解析研究所講究録（2004年度冬のLAシンポジウム） 1426 巻 頁： 106-112 2005年4月
-
配列を扱う非線形先頭再帰プログラムからの再帰除去 Open Access
高須洋平, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
計算機科学基礎理論とその応用, 数理解析研究所講究録（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月
-
右辺のみに現れる変数を持つ線形構成子項書換え系の計算の効率化 査読有り Open Access
西田直樹, 酒井正彦, 坂部俊樹
コンピュータソフトウェア 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月