論文 - 酒井 正彦
-
Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof 査読有り
"Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe"
Proc. of 12th Int'l Workshop on Functional and (Constraint) Logic Programming WFLP'03 巻 頁： 198-211 2003年6月
-
右辺のみに現れる変数を持つ項書換え系のナローイングに基づく 実効的書き換えとその停止性
西田直樹、酒井正彦、坂部俊樹
京都大学数理解析研究所講究録 1325 巻 頁： 238-243 2003年5月
-
再帰型をもつオブジェクト指向計算モデルにおける例外処理の型付
堀江美保子、酒井正彦、坂部俊樹
京都大学数理解析研究所講究録 1325 巻 頁： 104-109 2003年5月
-
オブジェクト指向計算モデルにおける例外処理機能の型付 査読有り
堀江美保子、酒井正彦、坂部俊樹
コンピュータソフトウェア 20 巻 ( 2 ) 頁： 54-58 2003年3月
-
Descendants and Head Normalization of Higher-Order Rewrite Systems 査読有り
"Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa"
Lecture Notes in Computer Science 2441 巻 2002年9月
-
On Proving Termination of Higher-Order Rewrite Systems by Dependency Pair technique 査読有り
"Masahiko Sakai, Keiichirou Kusakari"
"Proc. of the First International Workshop on Higher-Order Rewriting (HOR'02), Copenhagen, Denmark" 頁： 25 2002年7月
-
PT関数の逆関数を定義するTRSの生成 査読有り
西田直樹、酒井正彦、坂部俊樹
コンピュータソフトウェア 19 巻 ( 1 ) 頁： 29-33 2002年1月
-
優先順序付き項書換え系の頭必須戦略の決定可能性
鈴木剛、酒井正彦、坂部俊樹
電子情報通信学会技術報告 COMP2001-80 巻 頁： 49-55 2002年1月
-
潜在帰納法による弱完全振舞仕様に対する振舞等価性の自動証明
加納康資、酒井正彦、坂部俊樹
電子情報通信学会技術報告 COMP2001-79 巻 頁： 41-47 2002年1月
-
高階書換え系におけるディセンダントと頭必須書換えの頭正規化性
粕谷英人、酒井正彦、阿草清滋
電子情報通信学会技術報告 COMP2001-82 巻 頁： 65-72 2002年1月
-
n箇所パターン照合関数のDeforestationに基づく効率化
中村敏広、酒井正彦、坂部俊樹
シンポジウム，情報基礎理論ワークショップ 2002年
-
n箇所パターン照合関数のDeforestationに基づく効率化
中村敏広、酒井正彦、坂部俊樹
シンポジウム，情報基礎理論ワークショップ 2002年
-
Generation of a TRS Implementing the Inverses of the Functions with Specified Arguments Fixed
"Naoki Nishida, Masahiko Sakai, Toshiki Sakabe"
Technical Report of IEICE COMP2001-67 巻 頁： 33-40 2001年12月
-
Generation of Inverse Term Rewriting Systems for Pure Treeless Functions 査読有り
"Naoki Nishida, Masahiko Sakai, Toshiki Sakabe"
"Proc. of the International workshop on Rewriting in Proof and Computaion, Sendai, Japan" 頁： 188-198 2001年10月
-
On New Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems 査読有り
"Masahiko Sakai, Keiichirou Kusakari"
"Proc. of the International Workshop on Rewriting in Proof and Computation (RPC'01), Sendai, Japan" 頁： 176-187 2001年10月
-
An Extension of Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems 査読有り
"Masahiko Sakai, Yoshitsugu Watanabe, Toshiki Sakabe"
IEICE Trans. on Information and Systems E84-D 巻 ( 8 ) 頁： 1025-1032 2001年8月
-
PT関数の逆関数を定義する条件付きTRSの生成
西田直樹、酒井正彦、坂部俊樹
電子情報通信学会技術報告 COMP2001-14 巻 頁： 9-16 2001年6月
-
メタ項書換え計算における規則中に規則を含む直交メタ項の合流性 査読有り
洪順姫、酒井正彦、坂部俊樹
コンピュータソフトウェア 17 巻 ( 6 ) 頁： 47-51 2000年11月
-
ユーザにごみ集めを意識させないCライブラ リの設計法
西田直樹、酒井正彦、坂部俊樹
電子情報通信学会技術報告 SS2000-9 巻 頁： 25-32 2000年5月
-
Confluence of Weakly Orthogonal CTRSs with Extra Variables
Ould Seyid Ahmed, Masahiko Sakai, Toshiki Sakabe
LA symposium 2000年