研究者詳細 - 西田　直樹

論文 - 西田　直樹

分割表示 245 件中 121 - 140 件目／全件表示 >>

Malbolgeのワード長の拡大とそのプログラミング支援ツール

加藤起騎, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹

電子情報通信学会技術報告 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月

整数解を導出するための単体法とゴモリーカットの合成について

伏見政晃, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹

電子情報通信学会技術報告 112 巻 ( 458 ) 頁： 109-114 2013年3月

制約付き項のインスタンスを受理する制約付き木オートマトンの構成法

中野靖大, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗

電子情報通信学会技術報告 112 巻 ( 373 ) 頁： 7-12 2013年1月

Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用

安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹

電子情報通信学会技術報告 112 巻 ( 373 ) 頁： 25-30 2013年1月

三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング

安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹

電子情報通信学会技術報告 112 巻 ( 275 ) 頁： 7-12 2012年11月

Cooperの限量子除去アルゴリズムと単体法を逐次合成するための論理式変換

伏見政晃, 西田直樹, 坂部俊樹, 酒井正彦, 草刈圭一朗

平成24年度電気関係学会東海支部連合大会論文集 ( A4-2 ) 頁： 1 2012年9月

制約付き項のインスタンスを受理する制約付き木オートマトンの構成について

中野靖大, 西田直樹, 酒井正彦, 坂部俊樹, 草刈圭一朗

平成24年度電気関係学会東海支部連合大会論文集 ( A4-4 ) 頁： 1 2012年9月

単純型付き項書換え系の停止性証明におけるカリー化の利用

倉田佳佑, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹

平成24年度電気関係学会東海支部連合大会論文集 ( A4-3 ) 頁： 1 2012年9月

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity 招待有り査読有り

Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe

Logical Methods in Computer Science 8 巻 ( 3-4 ) 頁： 1-49 2012年8月

担当区分：筆頭著者記述言語：英語掲載種別：研究論文（学術雑誌）

Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over an extended signature. They are not sound w.r.t. reduction for every CTRS, while they are complete w.r.t. reduction. Here, soundness w.r.t. reduction means that every reduction sequence of the corresponding unraveled TRS, of which the initial and end terms are over the original signature, can be simulated by the reduction of the original CTRS. In this paper, we show that an optimized variant of Ohlebusch's unraveling for a deterministic CTRS is sound w.r.t. reduction if the corresponding unraveled TRS is left-linear or both right-linear and non-erasing. We also show that soundness of the variant implies that of Ohlebusch's unraveling. Finally, we show that soundness of Ohlebusch's unraveling is the weakest in soundness of the other unravelings and a transformation, proposed by Serbanuta and Rosu, for (normal) deterministic CTRSs, i.e., soundness of them respectively implies that of Ohlebusch's unraveling.

DOI： 10.2168/LMCS-8(3:4)2012

On Extending Matching Operation in Grammar Programs for Program Inversion

Minami Niwa, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe and Keiichirou Kusakari

IEICE Technical Rerport 112 巻 ( 164 ) 頁： 103-108 2012年7月

Constrained Tree Automata and their Closure Properties 査読有り

Naoki Nishida, Futoshi Nomura, Katsuhisa Kurahashi and Masahiko Sakai

Proceedings of the 1st International Workshop on Trends in Tree Automata and Tree Transducers 頁： 24-34 2012年6月

More Specific Term Rewriting Systems 査読有り

Naoki Nishida and German Vidal

Proceedings of the 21st International Workshop on Functional and (Constraint) Logic Programming 頁： 1-15 2012年5月

Malbolgeの高級アセンブリ言語への配列機能の追加

安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹

電子情報通信学会技術報告 112 巻 ( 23 ) 頁： 43-49 2012年5月

A Sound Type System for Typing Runtime Errors 査読有り

Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe, Masahiko Sakai, and Naoki Nishida

IPSJ Transactions on Programming, 5 巻 ( 2 ) 頁： 16-24 2012年3月

単純型付き項書換え系における書換え帰納法について

尾関朗, 草刈圭一朗, 坂田翼, 西田直樹, 酒井正彦, 坂部俊樹

電子情報通信学会技術報告 111 巻 ( 406 ) 頁： 51-56 2012年1月

語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて

坂井利光, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗

電子情報通信学会技術報告 111 巻 ( 406 ) 頁： 45-49 2012年1月

関数呼び出しを持つプログラムの非線形ループ不変式の自動生成

鈴木英一, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹

電子情報通信学会技術報告 111 巻 ( 406 ) 頁： 39-44 2012年1月

　前のページ - 次のページ　

<西田 直樹>

論文 - 西田 直樹

<西田　直樹>

論文 - 西田　直樹