Papers - NISHIDA Naoki
-
On Proving Termination of Simply-Typed Term Rewriting Systems Based on Strong Computability
Keiichirou Kusakari, Takahiro Sakurai, Keiichirou Kusakari, Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
IEICE Technical Report SS2005-21 Vol. 105 ( 129 ) page： 19-24 2005.6
-
Programming Method in Obfuscated Language Malbolge
Hisashi Iizawa, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, and Naoki Nishida
IEICE Technical Report SS2005-22 Vol. 105 ( 129 ) page： 25-30 2005.6
-
Dependency Graph Method for Proving Termination of Narrowing
Koichi Miura, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, and Toshiki Sakabe
IEICE Technical Report SS2005-23 Vol. 105 ( 129 ) page： 31-36 2005.6
-
Partial Inversion of Constructor Term Rewriting Systems Reviewed
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Proceedings of the 16th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science Vol. 3467 page： 264-278 2005.4
-
変換と部分評価に基づく非左辺正規なメタ項の停止性証明
蛸島洋明, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗
計算機科学基礎理論とその応用, 数理解析研究所講究録（2004年度冬のLAシンポジウム） Vol. 1426 page： 113-118 2005.4
-
弱最内戦略を完全にする項書換え系の等価変換
岡本晃治, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
計算機科学基礎理論とその応用, 数理解析研究所講究録（2004年度冬のLAシンポジウム） Vol. 1426 page： 119-125 2005.4
-
到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係
村田龍彦, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹
計算機科学基礎理論とその応用, 数理解析研究所講究録（2004年度冬のLAシンポジウム） Vol. 1426 page： 106-112 2005.4
-
On Recursion Removal from Non-Linear Top-Recursive Programs
Yohei Takasu, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, and Toshiki Sakabe
New Aspects of Theoretical Computer Science, RIMS Kokyuroku (LA Symposium 2004 Winter) Vol. 1426 page： 39-44 2005.4
-
Simulating Fusion Transformation by Program-Generation Transformation
Masanori Nagashima, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, and Keiichirou Kusakari
IEICE Technical Report SS2004-33 Vol. 104 ( 466 ) page： 43-48 2004.11
-
On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
IEICE Technical Report SS 2004-18 Vol. 104 ( 243 ) page： 25-30 2004.8
-
On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
LA Symposium 2004 Summer ( 7 ) page： 1-6 2004.7
-
Improving Efficiency of of Computation of Right-Linear Constructor Term Rewriting Systems with Extra Variables Reviewed
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Computer Software Vol. 21 ( 3 ) page： 40-47 2004.5
-
Narrowing-Based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof Reviewed
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Electronic Notes in Theoretical Computer Science Vol. 86 ( 3 ) page： 1-18 2003.11
-
Computation Model of Term Rewriting Systems with Extra Variables Reviewed
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Computer Software Vol. 20 ( 5 ) page： 85-89 2003.9
-
Improving Efficiency of of Computation of Right-Linear Constructor Term Rewriting Systems with Extra Variables
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Proceedings of the 20th Conference of Japan Society for Software Science and Technology (JSSST) ( 5B-3 ) page： 1-5 2003.9
-
Normal-form Computation by Left-most Innermost Narrowing on Right-Linear Overlay Term Rewriting Systems with Extra Variables
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
LA Symposium 2003 Summer ( 24 ) page： 1-6 2003.7
-
Narrowing-Based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof Reviewed
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP'03) page： 198-211 2003.6
-
Narrowing-based Effective Rewriting and its Termination for Term Rewriting Systems with Extra Variables
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
New Aspects of Theoretical Computer Science, RIMS Kokyuroku (LA Symposium 2002 Winter) Vol. 1325 page： 238-243 2003.5
-
Narrowing-based Effective Rewriting and its Termination for Term Rewriting Systems with Extra Variables
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
IEICE Technical Report COMP2003-68 Vol. 102 ( 593 ) page： 45-52 2003.1
-
A Narrowing-based Reduction of Term Rewriting Systems with Extra Variables
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Record of 2002 Tokai-section Joint Conference of the Eight Institutes of Electrical and Related Engineers page： 292 2002.9