Papers - SAKAI, Masahiko
-
例外処理を持つ関数型プログラムの停止性・非停止性証明法 Reviewed
濱口 毅, 酒井正彦, 馬場正貴, 阿草清滋
Vol. 4 ( 2 ) page： 1-19 2011.3
-
Lemma Generation Method in Rewriting Induction for Constrained Term Rewriting Systems Reviewed
Naoki NAKABAYASHI, Naoki NISHIDA, Keiichirou KUSAKARI, Toshiki SAKABE and Masahiko SAKAI
Computer Software Vol. 28 ( 1 ) page： 173-189 2011.2
-
順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について
服部達哉、酒井正彦、西田直樹、草刈圭一朗、坂部俊樹
電子情報通信学会技術研究報告 Vol. 110 ( 336 ) page： 31-36 2010.12
-
等式理論を法とするDPLL遷移系について
馬場達也、坂部俊樹、西田直樹、草刈圭一朗、酒井正彦
電子情報通信学会技術研究報告 Vol. 110 ( 227 ) page： 49-54 2010.10
-
難解言語Malbolgeのチューリング完全性について
長坂 哲、酒井正彦、坂部俊樹、草刈圭一朗、西田直樹
電子情報通信学会技術研究報告 Vol. 110 ( 227 ) page： 55-60 2010.10
-
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent Reviewed
Masahiko Sakai, Mizuhito Ogawa
Information Processing Letters Vol. 110 ( 18-19 ) page： 795-844 2010.9
-
等式論理を法とする抽象DPLLアルゴリズムの提案
馬場達也、坂部俊樹、酒井正彦、草刈圭一朗、西田直樹
平成22年度電気関係学会東海支部連合大会講演論文集 page： D3-4 2010.8
-
制約付き項書換え系における関数の効率的な等価性検証
高桑一也、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗
平成22年度電気関係学会東海支部連合大会講演論文集 page： D3-6 2010.8
-
2カウンタ法に基づく基本対称節を持つCNF論理式のSATソルバ
日野善信、酒井正彦、草刈圭一朗、坂部俊樹、西田直樹
平成22年度電気関係学会東海支部連合大会講演論文集 page： D3-5 2010.8
-
On Disproving Termiation of Constrained Term Rewriting Systems Reviewed
Naoki Nishida, Masahiko Sakai, Tatsuya Hattori
Proc. of Ninth International Workshop on Termination, (WST2010) page： 5 pages 2010.7
-
Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs Reviewed
UCHIYAMA Keita, SAKAI Masahiko, SAKABE Toshiki
IEICE Transaction on Information and Systems Vol. E93-D ( 5 ) page： 953-962 2010.5
-
Proving Injectivity of Functions via Program Inversion in Term Rewriting. Reviewed
Naoki Nishida and Masahiko Sakai
Proceedings of the 10th International Symposium on Functional and Logic Programming (FLOPS 2010),Lecture Notes in Computer Science Vol. 6009 page： 288-303 2010.4
-
Solving Satisfiability of CNF Formulas with Clauses based on Elementary Symmetric Functions Reviewed
Vol. J93-D ( 1 ) page： 1-9 2010.1
-
Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs Reviewed
Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe
IEICE Trans. on Information and Systems Vol. E93-D ( 5 ) page： 953-962 2010.1
-
高階書換え系における引数切り落とし法と実効規則
鈴木翔、草刈圭一朗、坂部俊樹、酒井正彦、西田直樹
電子情報通信学会技術研究報告 Vol. 109 ( 343 ) page： 25-30 2009.12
-
条件付き等式の変換に基づくプログラム生成
長島正憲，酒井正彦，坂部俊樹，西田直樹，草刈圭一朗
電子情報通信学会技術研究報告 Vol. 109 ( 343 ) page： 37-42 2009.12
-
右線形右シャローな項書換え系における文脈依存停止性の決定可能性について
御宿義勝、酒井正彦、坂部俊樹、草刈圭一朗、西田直樹
電子情報通信学会技術研究報告 Vol. 109 ( 343 ) page： 31-36 2009.12
-
Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems Reviewed
Yasuo Isogai, Keiichirou Kusakari, Masahiko Sakai, Frederic Blanqui
IEICE Trans. on Information and Systems Vol. E92-D ( 10 ) page： 235-247 2009.10
-
制約付き項書換え系の書換え帰納法における補題等式の自動生成法
中林直生，西田直樹，草刈圭一朗，坂部俊樹，酒井正彦
日本ソフトウェア科学会 第26回大会論文集 Vol. 7B-12 page： 1-14 2009.9
-
Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems Reviewed
Yoshiharu Kojima, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, Toshiki Sakabe
IPSJ Transactions of Programming Vol. 2 ( 3 ) page： 20-32 2009.7