論文 - 西田 直樹
-
木構造データを扱う関数の逆Unfold問題の発見的解法
加藤友郁, 長島正憲, 酒井正彦, 西田直樹, 坂部俊樹
電子情報通信学会技術報告 114 巻 ( 510 ) 頁: 85-90 2015年3月
-
A framework for computing finite SLD trees 査読有り Open Access
Naoki Nishida and German Vidal
Journal of Logical and Algebraic Methods in Programming 84 巻 ( 2 ) 頁: 197-217 2015年3月
-
制約付き項書換え系の停止性証明におけるナローイングの効果について
上山智也, 西田直樹, 酒井正彦, 坂部俊樹
電子情報通信学会技術報告 114 巻 ( 416 ) 頁: 43-48 2015年1月
-
例外処理を含む関数型プログラムの停止性証明のための条件付き依存対法の実現
太田浩一, 濱口毅, 酒井正彦, 山田晃久, 西田直樹, 坂部俊樹
電子情報通信学会技術報告 114 巻 ( 416 ) 頁: 55-60 2015年1月
-
A Finite Representation of the Narrowing Space 査読有り
Naoki Nishida and German Vidal
Revised Selected Papers of the 23rd International Conference on Logic-Based Program Synthesis and Transformation, Lecture Notes in Computer Science 8901 巻 頁: 54-71 2014年12月
-
Automatic Constrained Rewriting Induction towards Verifying Procedural Programs 査読有り
Cynthia Kop and Naoki Nishida
Proceedings of the 12th Asian Symposium on Programming Languages and Systems (APLAS 2014) ( 8858 ) 頁: 334-353 2014年11月
-
A Simple Sufficient Condition for the Completeness of a Heuristic Procedure for Inverse Unfold Problem
Masanori Nagashima, Tomofumi Kato, Masahiko Sakai, and Naoki Nishida
IPSJ Special Interest Group on Programming ( 2014-3-(9) ) 頁: 1-7 2014年11月
-
制約付き項書換え系の書換え帰納法における関数合成の可換性を利用した補題生成について
栗木 隆太朗, 西田 直樹, 酒井 正彦
平成26年度電気・電子・情報関係学会東海支部連合大会講演論文集 ( M4-1 ) 頁: 1 2014年9月
-
条件除去変換を用いた条件付き項書換え系の合流性証明手続きについて
柳澤 真志, 西田 直樹, 酒井 正彦, 坂部 俊樹
平成26年度電気・電子・情報関係学会東海支部連合大会講演論文集 ( M4-4 ) 頁: 1 2014年9月
-
制約付き項書換え系の依存対法におけるプレスブルガー算術式の恒真性判定の回数削減について
上山 智也, 西田 直樹, 坂部 俊樹, 酒井 正彦
平成26年度電気・電子・情報関係学会東海支部連合大会講演論文集 ( M4-5 ) 頁: 1 2014年9月
-
項書換え系における関数の等価性を保存する引数切り落としの十分条件について
川本 佳史, 西田 直樹, 酒井 正彦, 坂部 俊樹
平成26年度電気・電子・情報関係学会東海支部連合大会講演論文集 ( M4-2 ) 頁: 1 2014年9月
-
制約付き項書換えにおいて等式が関数等価性を表現するための必要十分条件について
片岡 巧, 西田 直樹, 酒井 正彦, 坂部 俊樹
平成26年度電気・電子・情報関係学会東海支部連合大会講演論文集 ( M4-4 ) 頁: 1 2014年9月
-
On Improving Termination Preservability of Transformations from Procedural Programs into Rewrite Systems by Using Loop Invariants 査読有り
Naoki Nishida and Takumi Kataoka
Proceedings of the 14th International Workshop on Termination (WST 2014) 頁: 1-5 2014年7月
-
Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems 査読有り Open Access
Karl Gmeiner and Naoki Nishida
Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014), OpenAccess Series in Informatics 40 巻 頁: 3-14 2014年7月
-
Naoki Nishida, Makishi Yanagisawa, and Karl Gmeiner
Proceedings of the 3rd International Workshop on Confluence (IWC 2014) 頁: 24-28 2014年7月
-
Inverse Unfold Problem and Its Heuristic Solving 査読有り Open Access
Masanori Nagashima, Tomofumi Kato, Masahiko Sakai, and Naoki Nishida
Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014), OpenAccess Series in Informatics 40 巻 頁: 27-38 2014年7月
-
On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings 査読有り Open Access
Naoki Nishida, Makishi Yanagisawa, and Karl Gmeiner
Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014), OpenAccess Series in Informatics 40 巻 頁: 39-50 2014年7月
-
逆Unfold問題とその発見的解法
加藤 友郁, 長島 正憲, 酒井 正彦, 西田 直樹
電子情報通信学会技術報告 113 巻 ( 489 ) 頁: 13-18 2014年3月
-
制約付き木オートマトンにおける不用な遷移規則の発見法について
中野 靖大, 西田 直樹, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗, 橋本 健二
電子情報通信学会技術報告 113 巻 ( 489 ) 頁: 31-36 2014年3月
-
Conversion to tail recursion in term rewriting 査読有り Open Access
Naoki Nishida and German Vidal
The Journal of Logic and Algebraic Programming 83 巻 ( 1 ) 頁: 53-63 2014年1月