論文 - 西田 直樹
-
例外処理付きオブジェクト指向言語における情報流の安全性解析
黒川翔, 桑原寛明, 山本晋一郎, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
信学技報 SS2006-42 (KBSE2006-18) 106 巻 ( 324 ) 頁： 13-18 2006年10月
-
高階関数機能を持つ項書換え系のコンパイル
笹田悠司, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
平成18年度電気関係学会東海支部連合大会論文集 ( O-437 ) 頁： 1 2006年9月
-
所属制約を持つ条件付き項書換え系の紐解き変換
村田俊樹, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
平成18年度電気関係学会東海支部連合大会論文集 ( O-438 ) 頁： 1 2006年9月
-
Transformation for Refining Unraveled Conditional Term Rewriting Systems 査読有り
Naoki Nishida, Tomohiro Mizutani, and Masahiko Sakai
Proceedings of the 6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'06) 頁： 34-48 2006年8月
-
Dependency Graph Method for Proving Termination of Narrowing 査読有り
Naoki Nishida and Koichi Miura
Proceedings of the 8th International Workshop on Termination (WST'06) 頁： 12-16 2006年8月
-
等式付き書換え系の等式数を削減する変換
三浦浩一, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗
信学技報 SS2006-14 106 巻 ( 120 ) 頁： 7-12 2006年6月
-
単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け
櫻井敬大, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
信学技報 SS2006-15 106 巻 ( 120 ) 頁： 13-18 2006年6月
-
項正規表現に基づくSpi計算の機密性検証
田代善彦, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
信学技報 SS2005-82 105 巻 ( 596 ) 頁： 35-40 2006年2月
-
関数プログラムの停止性証明のための辞書式経路順序
星野由美, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
信学技報 SS2005-85 105 巻 ( 597 ) 頁： 13-18 2006年2月
-
暗号プロトコル記述からカラーペトリネットへの変換による機密性検証
奥谷大介, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
信学技報 SS2005-58 105 巻 ( 490 ) 頁： 19-24 2005年12月
-
左線形シャローなどの項書換え系の停止性の決定性
王易，酒井正彦，西田直樹，草刈圭一朗，坂部俊樹
信学技報 COMP2005-50 105 巻 ( 499 ) 頁： 9-13 2005年12月
-
分散JoinJAVAプログラムの通信エラーに対する型判定システム
佐伯昌樹, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
信学技報 SS2005-67 105 巻 ( 491 ) 頁： 25-30 2005年12月
-
重なりを持つTRSにおける最外戦略の完全性について
岩田篤史, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
信学技報 SS2005-46 105 巻 ( 331 ) 頁： 39-44 2005年10月
-
関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法 査読有り
櫻井敬大, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹
第4回情報科学技術フォーラム (FIT2005) 論文集, 情報科学技術レターズ ( LA-001 ) 頁： 1-4 2005年9月
-
カラーペトリネットを用いた暗号プロトコルの安全性検証
奥谷大介, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
平成17年度電気関係学会東海支部連合大会論文集 ( O-198 ) 頁： 1 2005年9月
-
分散JoinJAVAプログラムの正常実行性判定のための型システム
佐伯昌樹, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
平成17年度電気関係学会東海支部連合大会論文集 ( O-306 ) 頁： 1 2005年9月
-
構成子項書換え系の逆計算プログラムの生成 査読有り
西田直樹, 酒井正彦, 坂部俊樹
電子情報通信学会論文誌 D-I J88-D-I 巻 ( 8 ) 頁： 1171-1183 2005年8月
-
準構成子項書換え系における停止性の決定問題
王易，酒井正彦，西田直樹，草刈圭一朗，坂部俊樹
信学技報 SS2005-46 105 巻 ( 228 ) 頁： 13-18 2005年8月
-
強計算性に基づいた単純型項書換え系の停止性証明法
草刈圭一朗, 櫻井敬大, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹
信学技報 SS2005-21 105 巻 ( 129 ) 頁： 19-24 2005年6月
-
難読プログラミング言語Malbolgeにおけるプログラム構成手法
飯澤恒, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
信学技報 SS2005-22 105 巻 ( 129 ) 頁： 25-30 2005年6月