論文 - 酒井 正彦
-
強計算依存対法による高階書換え系の停止性証明
磯谷泰巨，草刈圭一朗，酒井正彦，坂部俊樹，西田直樹
電子情報通信学会技術研究報告 106 巻 ( 15 ) 頁： 31-36 2006年4月
-
項正規表現に基づくSpi計算の機密性検証
"田代善彦, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹"
電子情報通信学会技術研究報告 105 巻 ( 596 ) 頁： 35-40 2006年2月
-
関数プログラムの停止性証明に関する辞書式経路順序
"星野由美, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹"
電子情報通信学会技術研究報告 105 巻 ( 597 ) 頁： 13-18 2006年2月
-
Primitive Indeuctive Theorems Bridge Implicit Induction methods and Inductive Theorems in Higher-Order Rewriting 査読有り
"Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe"
IEICE Trans. on Information and Systems E88-D 巻 ( 12 ) 頁： 2715-2726 2005年12月
-
Decidability of Termination fo Left-Linear Shallow Term Rewriting Systems and Related
"Yi Wang, Masahiko Sakai, Naoki Nishida, Keiichiro Kusakari, Toshiki Sakabe"
IEICE Technical Report 105 巻 ( 499 ) 頁： 9-13 2005年12月
-
分散JoinJAVAプログラムの通信エラーに対する型判定システム
佐伯昌樹，坂部俊樹，酒井正彦，草刈圭一朗，西田直樹
電子情報通信学会技術報告 105 巻 ( 491 ) 頁： 25-30 2005年12月
-
強計算性による単純型項書換え系の依存対法の改良
105 巻 ( 491 ) 頁： 13-18 2005年12月
-
暗号プロトコル記述からカラーペトリネットへの変換による機密性検証
奥谷大介，坂部俊樹，酒井正彦，草刈圭一朗，西田直樹
電子情報通信学会技術報告 105 巻 ( 490 ) 頁： 19-24 2005年12月
-
重なりを持つTRSにおける最外戦略の完全性について
"岩田篤史，酒井正彦，西田直樹，草刈圭一朗, 西田直樹"
電子情報通信学会技術報告 SS2005-46 105 巻 ( 331 ) 頁： 39-44 2005年10月
-
カラーペトリネットを用いた暗号プロトコルの安全性検証
奥谷大介、坂部俊樹、酒井正彦、草刈圭一朗、西田直樹
平成17年度電気関係学会東海支部連合大会講演論文集 頁： O-198 2005年9月
-
分散JoinJAVAプログラムの正常実行判定のための型システム
佐伯昌樹、坂部俊樹、酒井正彦、草刈圭一朗、西田直樹
平成17年度電気関係学会東海支部連合大会講演論文集 頁： O-306 2005年9月
-
関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法 査読有り
櫻井敬大、草刈圭一朗、西田直樹、酒井正彦、坂部俊樹
情報科学技術レターズ LA-001 巻 頁： 1-4 2005年9月
-
構成子項書換え系の逆計算プログラムの生成 査読有り
西田直樹、酒井正彦、坂部俊樹
電子情報通信学会論文誌 J88-D-I 巻 ( 8 ) 頁： 1171-1183 2005年8月
-
Decidability of Termination for Semi-Constructor Term Rewriting Systems
"Yi Wang, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, Toshiki Sakabe"
"Tech. Reort of IEICE, SS2005-27" 105 巻 ( 228 ) 頁： 13-18 2005年8月
-
難読プログラミング言語Malbolgeにおけるプログラム構成手法
"飯澤 恒, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹"
電子情報通信学会技術報告 SS2005-22 巻 頁： 25-30 2005年6月
-
弱最内戦略を完全にする項書換え系の等価変換
"岡本晃治, 酒井正彦, 西田直樹, 草刈圭一朗"
京都大学数理解析研究所講究録 1426 巻 頁： 119-125 2005年4月
-
Partial Inversion of Constructor Term Rewriting Systems 査読有り
"Naoki Nishida, Masahiko Sakai, Toshiki Sakabe"
"Proc. of 16th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science" 3647 巻 頁： 264-278 2005年4月
-
配列を扱う非線形先頭再帰プログラムからの再帰除去
"高須洋平, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹"
京都大学数理解析研究所講究録 1426 巻 頁： 39-44 2005年4月
-
項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係
"村田龍彦, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹"
京都大学数理解析研究所講究録 1426 巻 頁： 106-112 2005年4月
-
変換と部分評価に基づく非左辺正規なメタ項の停止性証明
"蛸島洋明, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗"
京都大学数理解析研究所講究録 1426 巻 頁： 113-118 2005年4月