西田直樹

ニシダナオキ | Nishida Naoki

所属機関・部署：
職名：准教授
ホームページURL (2件)： http://www.trs.css.i.nagoya-u.ac.jp/~nishida/index-jp.html , http://www.trs.css.i.nagoya-u.ac.jp/~nishida/

研究キーワード (5件)：定理自動証明 , プログラム変換 , 項書換え系 , 関数型プログラム , 逆計算

競争的資金等の研究課題 (10件)：

全件表示

論文 (204件)：

MISC (189件)：

前田侑也, 西田直樹, 酒井正彦. ベーシックナローイングへのナローイング計算木の拡張について. 平成30年度電気・電子・情報関係学会東海支部連合大会講演論文集. 2018. M1-56. 1
西江一志, 西田直樹, 酒井正彦. 書換え解析ツールを利用した漸近的計算量解析のためのC言語プログラムの簡易化について. 平成30年度電気・電子・情報関係学会東海支部連合大会講演論文集. 2018. M1-5. 1
Naoki Nishida, Sarah Winkler. Loop Detection by Logically Constrained Term Rewriting. Proceedings of the 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018). 2018. 1-12
Yoshiaki Kanazawa, Naoki Nishida. On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems. Informal Proceedings of the 5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018). 2018. 1-11
Naoki Nishida, Yuta Tsuruta, Yoshiaki Kanazawa. CO3 (Version 1.5). Proceedings of the 7th International Workshop on Confluence (IWC 2018). 2018. 64

講演・口頭発表等 (21件)：

Proving Infeasibility by Basic Narrowing
(the 50th TRS Meeting 2019)
Proving Infeasibility by Narrowing Trees
(the 49th TRS Meeting 2018)
配列を含むC言語サブセットから難解言語Malbolgeへのコンパイラ
(第20回プログラミングおよびプログラミング言語ワークショップ 2018)
組合せ最適化問題を記述するための関係代数の集合上への拡張
(第20回プログラミングおよびプログラミング言語ワークショップ 2018)
From Dependency Chains to Bounded Monotone Sequences of Integers
(the 47th TRS Meeting 2017)

学歴 (2件)：

学位 (1件)：

経歴 (7件)：

全件表示

受賞 (4件)：

所属学会 (3件)：

電子情報通信学会 , 日本ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

西田 直樹