論文 - 酒井 正彦
-
NVNF-sequeentiality of Left-linear Term Rewriting Systems
"Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"
"Kyokyuroku, Kyoto University" 950 巻 頁： 153-159 1996年2月
-
高階項書換え系の停止性について
岩見宗弘，酒井正彦，外山芳人
電子情報通信学会技術報告 COMP95-85 巻 頁： 113-121 1996年1月
-
非線形項書換え系の合流性について
草刈圭一朗，酒井正彦，外山芳人
電子情報通信学会技術報告 COMP95-86 巻 頁： 123-129 1996年1月
-
The Semantics of Priority Term Rewriting Systems and their Strong Sequentiality
"Masahiko Sakai, Yoshihito Toyama"
"Technical report, IEICE" SS95-40 巻 頁： 31-38 1996年1月
-
The Functional Strategy: the Extended Left-incompatible Systems
Masahiko Sakai
"Technical Report, IEICE" SS95-17 巻 頁： 55-62 1995年7月
-
NVNF-sequeentiality of Left-linear Term Rewriting Systems
"Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"
"Proc. of RIMS Workshop on Theory of Rewriting Systems and its Applications, Kyokyuroku, Kyoto University" 918 巻 頁： 109-117 1995年7月
-
共有メモリ型並列計算機における項書換え系の実現方式 査読有り
山本晋一郎，石川亮，酒井正彦，阿草清滋
電子情報通信学会論文誌 J78-D-I 巻 ( 6 ) 頁： 559-562 1995年6月
-
形式的仕様を用いた再利用モデル 査読有り
川北誠，酒井正彦，山本晋一郎，阿草清滋
情報処理学会論文誌 36 巻 ( 5 ) 頁： 1050-1058 1995年5月
-
エラーつき代数的仕様とエラー記述の自動付加 査読有り
"濱口 毅, 酒井 正彦, 山本 晋一郎, 阿草 清滋"
電子情報通信学会論文誌 J78-D-I 巻 ( 3 ) 頁： 323-330 1995年3月
-
項書換え系の合流性を保存する合併条件について
北原彰，酒井正彦，外山芳人
情報処理学会，プログラミング -言語・基礎・実践- 研究会 20 巻 ( 2 ) 頁： 11-20 1995年1月
-
仕様に基づく部品再利用法とその適用
川北誠，酒井正彦，山本晋一郎，阿草清滋
第1回ソフトウェア工学の基礎 ワークショップ FOSE94 巻 1994年12月
-
条件つき項書換え系の合流性について
高橋宜孝，酒井正彦，外山芳人
電子情報通信学会技術報告 COMP94-65 巻 頁： 105-111 1994年11月
-
NVNF-逐次系におけるインデックスの決定可能性
長谷崇，酒井正彦，外山芳人
電子情報通信学会，コンピュテーション研究会 COMP94-63 巻 頁： 87-94 1994年11月
-
項集合書換え系の合流性について
粕谷英人，酒井正彦，山本晋一郎，阿草清滋
電子情報通信学会，ソフトウェアサイエンス研究会 SS94-14 巻 頁： 17-24 1994年7月
-
On Term Set Rewriting System
"Masahiko Sakai, Hideto Kasuya, Shinichiro Yamamoto and Kiyoshi Agusa"
LA Symposium 頁： 45-48 1994年7月
-
Similarity on Algebraic Specifications toward Specification Databases
Masahiko Sakai
"Technical Report, JAIST" IS-RR-94-0012S 巻 頁： 1-20 1994年5月
-
項の集合の書換え系とKnuth-Bendixの完備化に関する考察
粕谷英人，酒井正彦，山本晋一郎，阿草清滋
電子情報通信学会，ソフトウェアサイエンス研究会 SS93-41 巻 頁： 17-22 1994年1月
-
ソフトウェア操作言語の提案
吉田敦，山本晋一郎，酒井正彦，阿草清滋
電子情報通信学会，ソフトウェアサイエンス研究会 SS92-18 巻 頁： 1-8 1993年1月
-
代数的仕様へのエラー記述の自動付加について
濱口毅，酒井正彦，山本晋一郎，阿草清滋
電子情報通信学会，ソフトウェアサイエンス研究会 SS92-26 巻 頁： 25-32 1993年1月
-
代数的仕様の検証のための被覆集合帰納法 査読有り
酒井正彦，坂部俊樹，稲垣康善
電子情報通信学会論文誌 J75-D-I 巻 ( 3 ) 頁： 170-179 1992年3月