Nishida Naoki

ニシダナオキ | Nishida Naoki

Affiliation and department：
Job title： Associate professor
Homepage 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/

Research keywords (5)： automated theorem proving , program transformation , term rewriting systems , functional program , inverse computation

Research theme for competitive and other funds (10)：

Show all

Papers (204)：

ｍore...

MISC (189)：

Yuya Maeda, Naoki Nishida, Masahiko Sakai. On extention of narrowing trees to basic narrowing. Record of 2018 Tokai-Section Joint Conference on Electrical, Electronics, Information, and Related Engineering. 2018. M1-56. 1
Kazushi Nishie, Naoki Nishida, Masahiko Sakai. On Simplification of C Programs for Asymptotic Complexity Analysis via Rewriting Analysis Tools. Record of 2018 Tokai-Section Joint Conference on Electrical, Electronics, Information, and Related Engineering. 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

ｍore...

Lectures and oral presentations (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)

ｍore...

Education (2)：

2002 - 2004 Nagoya University Graduate School, Division of Engineering Department of Information Engineering
2000 - 2002 Nagoya University Graduate School, Division of Engineering Department of Computational Science and Engineering

Professional career (1)：

Work history (7)：

2017/04/01 - 現在 Nagoya University Graduate School of Informatics Department of Computing and Software Systems 1 Associate professor
2013/04/01 - 現在 Associate Professor
2013/04/01 - 2017/03/31 Nagoya University Graduate School of Information Science Department of Information Engineering Software Science and Technology Associate professor
2007/04/01 - 2013/03/31 Nagoya University Graduate School of Information Science Department of Information Engineering Assistant Professor
2007/04/01 - 2013/03/31 Assistant Professor

Show all

Awards (4)：

2013/05/09 - 電子情報通信学会ソフトウェアサイエンス研究会平成24年度電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞
2012/05/10 - 電子情報通信学会ソフトウェアサイエンス研究会平成23年度電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞
2011/05/28 - IEICE The Best Paper Award from IEICE
2003/01/27 - Tokai-section Joint Conference of the Eight Institutes of Electrical and Related Engineers 2002 Tokai-section Joint Conference of the Eight Institutes of Electrical and Related Engineers

Association Membership(s) (3)：

The Institute of Electronics, Information and Communication Engineers , Japan Society for Software Science and Technology , IPSJ

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page