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