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