論文 - 西田 直樹
-
Static Dependeycy Pair Method for Proving Termination of Higher-Order Rewriting Systems
Keiichirou Kusakari, Yasuo Isogai, , Masahiko Sakai, Toshiki Sakabe, and Naoki Nishida
IEICE Technical Report SS2007-12 107 巻 ( 99 ) 頁： 17-22 2007年6月
-
Convergent Term Rewriting Systems for Inverse Computation of Injective Functions 査読有り
Naoki Nishida, Masahiko Sakai, and Terutoshi Kato
Proceedings of the 9th International Workshop on Termination (WST'07) 頁： 77-81 2007年6月
-
二階の書換え系における引数切り落とし法 Open Access
磯谷泰巨, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
信学技報 SS2007-13 107 巻 ( 99 ) 頁： 23-28 2007年6月
-
Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems Open Access
Keita Uchiyama, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, and Keiichirou Kusakari
Theory of Computer Science and Its Applications, RIMS Kokyuroku (LA Symposium 2006 Winter) 1554 巻 頁： 166-170 2007年5月
-
Confluence of Length Preserving String Rewriting Systems is Undecidable
Yi Wang, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, and Keiichirou Kusakari
Theory of Computer Science and Its Applications, RIMS Kokyuroku (LA Symposium 2006 Winter) 1554 巻 頁： 171-177 2007年5月
-
単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け 査読有り
櫻井敬大, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
電子情報通信学会論文誌 D J90-D 巻 ( 4 ) 頁： 978-989 2007年4月
-
単純型項書換え系における定理自動証明系HOPSYS
蒲田明憲, 草刈圭一朗, 西田直樹, 酒井正彦, 坂部俊樹
信学技報 SS2006-57 106 巻 ( 426 ) 頁： 7-12 2006年12月
-
手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
古市祐樹, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
信学技報 SS2006-41 (KBSE2006-17) 106 巻 ( 324 ) 頁： 7-12 2006年10月
-
GeneSysによるプログラム生成例とIntroduction規則の追加
近藤悟, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗
信学技報 SS2006-46 (KBSE2006-22) 106 巻 ( 324 ) 頁： 37-42 2006年10月
-
例外処理付きオブジェクト指向言語における情報流の安全性解析
黒川翔, 桑原寛明, 山本晋一郎, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
信学技報 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月