論文 - 酒井 正彦
-
On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems 査読有り
"Masahiko Sakai, Keiichirou Kusakari"
IEICE Trans. on Information and Systems E88-D 巻 ( 3 ) 頁： 583-593 2005年3月
-
項の全正規形を探索するためのTRSコンパイラ
岩田篤史、草刈圭一朗、酒井正彦、坂部俊樹
平成16年度電気関係学会東海支部連合大会講演論文集 頁： 363 2004年9月
-
項書換え系と木オートマトンを用いた共通鍵方式暗号プロトコルの検証法
奥谷大介、坂部俊樹、酒井正彦
平成16年度電気関係学会東海支部連合大会講演論文集 頁： 352 2004年9月
-
高階書換え系の決定可能な計算戦略について
粕谷英人、酒井正彦、阿草清滋
電子情報通信学会技術報告 SS2004-6 巻 頁： 1-6 2004年8月
-
On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems
"Naoki Nishida, Masahiko Sakai, Toshiki Sakabe"
Technical Report of IEICE SS2004-6 巻 頁： 25-30 2004年8月
-
On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems
Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
LA symposium 頁： 7.1-7.6 2004年7月
-
限量子付き等式理論の変換に基づく仕様からのプログラム生成 査読有り
長島正徳、酒井正彦、坂部俊樹、草刈圭一朗
コンピュータソフトウェア 21 巻 ( 4 ) 頁： 49-54 2004年7月
-
左辺が一致するオーバレイ性を持つ左線形ＴＲＳの正規化戦略
水野健一、草刈圭一朗、酒井正彦、坂部俊樹
京都大学数理解析研究所講究録 1375 巻 頁： 247-252 2004年5月
-
右辺のみに現れる変数を持つ線形構成子項書換え系の計算の効率化 査読有り
西田直樹、酒井正彦、坂部俊樹
コンピュータソフトウェア 21 巻 ( 3 ) 頁： 40-47 2004年5月
-
非完全な仕様における振舞等価性の自動証明法
山本友和、草刈圭一朗、酒井正彦、坂部俊樹
電子情報通信学会技術報告 COMP2003 巻 ( 66 ) 頁： 29-36 2003年12月
-
Characterizing Inductive Theorems by Extensional Initial Models in a Higher-Order Equational Logic
"Keiichiro Kusakari, Masahiko Sakai, Toshiki Sakabe"
46 巻 ( 9 ) 2003年10月
-
メタ項書き換え計算における左辺正規性を持つメタ項の停止性について、
蛸島洋明、酒井正彦、坂部俊樹
平成15年度電気関係学会東海支部連合大会講演論文集 頁： 565 2003年10月
-
最内書換えに基づく項書換え系の完全な書換え戦略
岡本晃治、酒井正彦、坂部俊樹
平成15年度電気関係学会東海支部連合大会講演論文集 頁： 564 2003年10月
-
右辺のみに現れる変数を持つ項書換え系の計算モデル 査読有り
西田直樹、酒井正彦、坂部俊樹
コンピュータソフトウェア 20 巻 ( 5 ) 頁： 85-89 2003年9月
-
右辺のみに現れる変数を持つ右線形構成子項書換え系の計算の効率化
西田直樹、酒井正彦、坂部俊樹
日本ソフトウェア科学会 第20回大会論文集 441-445 巻 2003年9月
-
高階項書換え系の決定可能性問題のためのNk木オートマトンとその性質、
粕谷英人、酒井正彦、阿草清滋
日本ソフトウェア科学会 第20回大会論文集 頁： 436-440 2003年9月
-
限量子付き等式理論の変換に基づく仕様からのプログラム生成、
長島正徳、酒井正彦、坂部俊樹、草刈圭一朗
日本ソフトウェア科学会 第20回大会論文集 頁： 431-435 2003年9月
-
右辺のみに現れる変数を持つ右線形オーバーレイ項書換え系の最左最内ナローイングによる正規形の計算
西田直樹、酒井正彦、坂部俊樹
2003年度夏のLAシンポジウム 頁： 24.1-24.6 2003年8月
-
右辺のみに現れる変数を持つ右線形オーバーレイ項書換え系の最左最内ナローイングによる正規形の計算
西田直樹、酒井正彦、坂部俊樹
2003年度夏のLAシンポジウム 頁： 24.1-24.6 2003年8月
-
Innermost Reductions Find All Normal Forms on Right-Linear Terminating Overlay TRSs 査読有り
"Masahiko Sakai, Kouji Okamoto, Toshiki Sakabe"
Proc. of 3rd Int'l Workshop on Reduction Strategies in Rewriting and Programming WRS'03 巻 頁： 79-88 2003年6月