論文 - 西田 直樹
-
On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms 査読有り
Naoki Nishida, Masahiko Sakai, and Yasuhiro Nakano
Proceedings of the 2nd International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2013), Electronic Proceedings in Theoretical Computer Science 134 巻 頁： 1-10 2013年10月
-
等式集合の語問題から基底等式集合の語問題への帰着可能性について
坂井 利光, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗, 西田 直樹
平成25年度電気関係学会東海支部連合大会論文集 ( M4-4 ) 頁： 1 2013年9月
-
配列を含むプログラムの検証のための非線形不等式型ループ不変式の生成
東野 惇一郎, 坂部 俊樹, 酒井 正彦, 草刈 圭一朗, 西田 直樹
平成25年度電気関係学会東海支部連合大会論文集 ( M4-6 ) 頁： 1 2013年9月
-
単純型付き項書換え系における帰納的定理自動証明の局所戦略について
神谷 尚史, 草刈 圭一朗, 酒井 正彦, 坂部 俊樹, 西田 直樹
平成25年度電気関係学会東海支部連合大会論文集 ( M4-3 ) 頁： 1 2013年9月
-
カリー化を組み込んだ高階辞書式経路順序の設計
松原 穂波, 草刈 圭一朗, 酒井 正彦, 坂部 俊樹, 西田 直樹
平成25年度電気関係学会東海支部連合大会論文集 ( M4-5 ) 頁： 1 2013年9月
-
プログラム中のポインタに関する表明式を動的に検査するインタプリタの開発
杢谷 孔皓, 坂部 俊樹, 酒井 正彦, 草刈 圭一朗, 西田 直樹
平成25年度電気関係学会東海支部連合大会論文集 ( M4-7 ) 頁： 1 2013年9月
-
手続き型プログラムから書換え系への変換における停止性をより保存するためのループ不変式の利用
片岡 巧, 西田 直樹, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗
平成25年度電気関係学会東海支部連合大会論文集 ( M2-6 ) 頁： 1 2013年9月
-
幅優先探索型完備化手続きのErlangによる実装の並列実行の評価
栗木 隆太朗, 西田 直樹, 坂部 俊樹, 酒井 正彦, 草刈 圭一朗
平成25年度電気関係学会東海支部連合大会論文集 ( M2-5 ) 頁： 1 2013年9月
-
Term Rewriting with Logical Constraints 査読有り
Cynthia Kop and Naoki Nishida
Proceedings of the 9th International Symposium on Frontiers of Combining Systems, Lecture Notes in Artificial Intelligence ( 8152 ) 頁： 343-358 2013年9月
-
Malbolgeのワード長の拡大とそのプログラミング支援ツール Open Access
加藤 起騎, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗, 西田 直樹
電子情報通信学会技術報告 113 巻 ( 159 ) 頁： 73-78 2013年7月
-
Proving Confluence of Conditional Term Rewriting Systems via Unravelings 査読有り
Karl Gmeiner, Naoki Nishida and Bernhard Gramlich
Proceedings of the 2nd International Workshop on Confluence 頁： 35-39 2013年6月
-
Computing More Specific Versions of Conditional Rewriting Systems 査読有り
Naoki Nishida and German Vidal
Revised Selected Papers of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, Lecture Notes in Computer Science 7844 巻 頁： 137-154 2013年4月
-
Improving Determinization of Grammar Programs for Program Inversion 査読有り
Minami Niwa, Naoki Nishida, and Masahiko Sakai
Revised Selected Papers of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, Lecture Notes in Computer Science 7844 巻 頁： 155-175 2013年4月
-
整数解を導出するための単体法とゴモリーカットの合成について Open Access
伏見 政晃, 西田 直樹, 酒井 正彦, 草刈 圭一朗, 坂部 俊樹
電子情報通信学会技術報告 112 巻 ( 458 ) 頁： 109-114 2013年3月
-
制約付き項のインスタンスを受理する制約付き木オートマトンの構成法 Open Access
中野 靖大, 西田 直樹, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗
電子情報通信学会技術報告 112 巻 ( 373 ) 頁： 7-12 2013年1月
-
Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用 Open Access
安藤 聡, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗, 西田 直樹
電子情報通信学会技術報告 112 巻 ( 373 ) 頁： 25-30 2013年1月
-
三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング Open Access
安藤 聡, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗, 西田 直樹
電子情報通信学会技術報告 112 巻 ( 275 ) 頁： 7-12 2012年11月
-
Cooperの限量子除去アルゴリズムと単体法を逐次合成するための論理式変換
伏見 政晃, 西田 直樹, 坂部 俊樹, 酒井 正彦, 草刈 圭一朗
平成24年度電気関係学会東海支部連合大会論文集 ( A4-2 ) 頁： 1 2012年9月
-
単純型付き項書換え系の停止性証明におけるカリー化の利用
倉田 佳佑, 草刈 圭一朗, 酒井 正彦, 坂部 俊樹, 西田 直樹
平成24年度電気関係学会東海支部連合大会論文集 ( A4-3 ) 頁： 1 2012年9月
-
制約付き項のインスタンスを受理する制約付き木オートマトンの構成について
中野 靖大, 西田 直樹, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗
平成24年度電気関係学会東海支部連合大会論文集 ( A4-4 ) 頁： 1 2012年9月