論文 - 酒井 正彦
-
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems 査読有り
"Keita Uchiyama, Masahiko Sakai and Toshiki Sakabe"
"Proc. of 7th International Workshop on Reduction Strategies in Rewriting and Programming, Paris (WRS2007)" 頁： 16-27 2007年6月
-
Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems
"Kiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Toshiki Sakabe and Naoki Nishida"
107 巻 ( 99 ) 頁： 17-22 2007年6月
-
二階の書換え系における引数切り落とし法
磯谷泰巨、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹
電子情報通信学会技術研究報告 107 巻 ( 99 ) 頁： 23-28 2007年6月
-
Convergent Term Rewriting Systems for Inverse Computation of Injective Functions 査読有り
"WaNaoki Nishida, Masahiko Sakai, and Terutoshi Kato"
"Proc. of Ninth International Workshop on Termination, Paris (WST2007)" 頁： 77-81 2007年6月
-
Undecidable Properties on Length-Two String Rewriting Systems 査読有り
Masahiko Sakai and Wang Yi
"Proc. of 7th International Workshop on Reduction Strategies in Rewriting and Programming, Paris (WRS2007)" 頁： 43-57 2007年6月
-
Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems
"Keita Uchiyama, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe and Keiichirou Kusakari"
"RIMS Technical Report, Kyoto Universty" 1554 巻 頁： 166-170 2007年5月
-
Confluence of Length Preserving String Rewriting System is Undecidable
"Yi Wang, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe and Keiichirou Kusakari"
"RIMS Technical Report, Kyoto Universty" 1554 巻 頁： 171-177 2007年5月
-
単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け 査読有り
櫻井敬大、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹
電子情報通信学会論文誌 J90-D 巻 ( 4 ) 頁： 978-989 2007年4月
-
単純型項書換え系における定理自動証明系HOPSYS
蒲田 明憲，草刈 圭一朗，西田 直樹，酒井 正彦，坂部 俊樹
電子情報通信学会技術研究報告 106 巻 ( 424 ) 頁： 7-12 2006年12月
-
手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
古市祐樹，西田 直樹，酒井 正彦，草刈 圭一朗，坂部 俊樹
電子情報通信学会技術研究報告 106 巻 ( 324 ) 頁： 7-12 2006年10月
-
GeneSysによるプログラム生成例とIntroduction規則の追加
近藤 悟，酒井 正彦，西田 直樹，坂部 俊樹，草刈 圭一朗
電子情報通信学会技術研究報告 106 巻 ( 324 ) 頁： 37-42 2006年10月
-
例外処理付きオブジェクト指向言語における情報流の安全性解析
黒川 翔，桑原寛明，山本晋一郎，坂部俊樹，酒井正彦，草刈圭一朗，西田直樹
電子情報通信学会技術研究報告 106 巻 ( 324 ) 頁： 13-18 2006年10月
-
高階関数機能を持つ項書換え系のコンパイル
笹田悠司，酒井正彦，坂部俊樹，草刈圭一朗，西田直樹
平成18年度電気関係学会東海支部連合大会講演論文集 頁： O-437 2006年9月
-
所属制約を持つ条件付き項書換え系の紐解き変換
村田俊樹，西田直樹，酒井正彦，坂部俊樹，草刈圭一朗
平成18年度電気関係学会東海支部連合大会講演論文集 頁： O-438 2006年9月
-
*Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs 査読有り
Wang Yi and Masahiko Sakai
Proc. of 17th Int'l Conference on Rewriting Techniqes and Applications, Seattle RTA2006, LNCS 4098 巻 頁： 343-356 2006年8月
-
Transformation for Refining Unraveled Conditional Term Rewriting Systems 査読有り
"Naoki Nishida, Tomohiro Mizutani, and Masahiko Sakai"
"Proc. of 6th International Workshop on Reduction Strategies in Rewriting and Programming, Seattle (WRS2006)" 頁： 34-48 2006年8月
-
On Non-looping Term Rewriting 査読有り
Wang Yi and Masahiko Sakai
"Proc. of Eighth International Workshop on Termination, Seattle (WST2006)" 頁： 17-21 2006年8月
-
等式付き書換え系の等式数を削減する変換
三浦浩一，西田直樹，酒井正彦，坂部俊樹，草刈圭一朗
電子情報通信学会技術研究報告 106 巻 ( 120 ) 頁： 7-12 2006年6月
-
単純型項書換え系上の依存対法における実行規則と直積型項へのラベル付け
櫻井敬大，草刈圭一朗，酒井正彦，坂部俊樹，西田直樹
電子情報通信学会技術研究報告 106 巻 ( 120 ) 頁： 13-18 2006年6月
-
紐解かれた項書換え系の文脈依存条件の除去のための変換
"水谷知博，西田直樹, 酒井正彦,草刈圭一朗, 坂部俊樹"
京都大学数理解析研究所講究録 1489 巻 頁： 195-201 2006年5月