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