西田 直樹(NISHIDA Naoki)

Naoki Nishida(西田 直樹)

N.Nishida

名古屋大学 大学院情報学研究科 情報システム学専攻 計算論講座 准教授

Associate Professor, Department of Computing and Software Systems, Graduate School of Informatics, Nagoya University

博士(工学)

Doctor of Engineering

所在地
Postal Address
〒464-8601 名古屋市千種区不老町
Furo-cho, Chikusa-ku, Nagoya 4648601, Japan
居室
Office
IB電子情報館南棟5階 589
Room 589, IB south building
Tel
052-789-5141 業務に関係しない電話,お断り!!
+81-52-789-5141
Eメールアドレス
E-mail
nishida [at] i.nagoya-u.ac.jp
naoki.nishida [at] nagoya-u.jp
ホームページ(個人)
Homepage (Personal)
http://www.trs.css.i.nagoya-u.ac.jp/~nishida/
研究者総覧
Nagoya University Profiles of Researchers
https://profs.provost.nagoya-u.ac.jp/html/100002731_ja.html
https://profs.provost.nagoya-u.ac.jp/html/100002731_en.html

ニュース

News

2023/10/08
本ページをリニューアル
October 8th, 2023
Renewed this page.

研究内容

Research Topics

発表論文

Publications

学位論文

Theses

  1. Naoki Nishida,
    Transformational Approach to Inverse Computation in Term Rewriting,
    博士論文,名古屋大学・大学院工学研究科,2004年1月.
  2. Naoki Nishida,
    Transformational Approach to Inverse Computation in Term Rewriting,
    PhD thesis, Graduate School of Engineering, Nagoya University, January 2024.

ジャーナル(2023年)

Journals (2023)

  1. Misaki Kojima and Naoki Nishida,
    A Sufficient Condition of Logically Constrained Term Rewrite Systems for Decidability of All-path Reachability Problems with Constant Destinations,
    Journal of Information Processing, Vol. 32, pp. 417-435, May 2024.

  2. Misaki Kojima and Naoki Nishida,
    Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting,
    Journal of Logical and Algebraic Methods in Programming, Vol. 135, 19 pages, October 2023.

国際会議・ワークショップ(2023年)

International Conferences and Workshops (2023)

  1. Ayuka Matsumi, Naoki Nishida, Misaki Kojima, and Donghoon Shin,
    On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic,
    Proceedings of the 19th International Workshop on Termination (WST 2023), 6 pages, Obergurgl, Austria, August 2023.

  2. Takahito Aoto, Nao Hirokawa, Dohan Kim, Misaki Kojima, Aart Middeldorp, Fabian Mitterwallner, Naoki Nishida, Teppei Saito, Jonas Schöpf, Kiraku Shintani, René Thiemann and Akihisa Yamada,
    A New Format for Rewrite Systems,
    Proceedings of the 12th International Workshop on Confluence (IWC 2023), pp. 32-37, Obergurgl, Austria, August 2023.

  3. Naoki Nishida, Misaki Kojima, Ayuka Matsumi,
    CO3 (Ver. 2.4),
    Proceedings of the 12th International Workshop on Confluence (IWC 2023), p. 67, Obergurgl, Austria, August 2023.

  4. Naoki Nishida, Misaki Kojima, and Ayuka Matsumi,
    A Nesting-Preserving Transformation of SIMP Programs into Logically Constrained Term Rewrite Systems,
    Informal Proceedings of the 10th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2023), 11 pages, Rome, Italy, July 2023.

  5. Misaki Kojima and Naoki Nishida,
    On Representations of Waiting Queues for Semaphores in Logically Constrained Term Rewrite Systems,
    Informal Proceedings of the 10th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2023), 6 pages, Rome, Italy, July 2023.

  6. Misaki Kojima and Naoki Nishida,
    From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting,
    Proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023), Lecture Notes in Computer Science, Vol. 13880, pp. 161-179, Springer, Cham, Boston, USA, January 2023.

国内会議・研究会(2023年)

Domestic Events (2023)

  1. Misaki Kojima and Naoki Nishida,
    A Sufficient Condition of Logically Constrained Term Rewrite Systems for Decidability of All-Path Reachability Problems with Constant Destinations,
    情報処理学会・第146回プログラミング研究発表会, 発表資料 2023-3-(1),17ページ,2023年10月.
  2. Misaki Kojima and Naoki Nishida,
    A Sufficient Condition of Logically Constrained Term Rewrite Systems for Decidability of All-Path Reachability Problems with Constant Destinations,
    Presentation at the 146th Meeting on IPSJ Special Interest Group on Programming, No. 2023-3-(1), 17 pages, October 2023.

  3. 松見 歩佳,西田 直樹,小嶋 美咲,申東訓,
    ビットベクトル制約付き項書換え系の停止性証明のための多項式解釈プロセッサについて
    電子情報通信学会技術報告 SS2022-61,Vol.122,No.432,pp.85-90,2023年3月.
  4. Ayuka Matsumi, Naoki Nishida, Misaki Kojima, and Donghoon Shin,
    On Polynomial Interpretations Toward Termination of Logically Constrained Term Rewrite Systems with Bit Vector Arithmetic
    IEICE Technical Report SS2022-61, Vol.122, No.432, pp.85-90, March 2023 (in Japanese).

招待講演

Invited Talks

  1. Naoki Nishida,
    Unravelings and Narrowing Trees Towards Confluence of Deterministic CTRSs,
    the 12th International Workshop on Confluence (IWC 2023), Obergurgl, Austria, August 2023.

口頭発表(2023年)

Oral Presentations (2023)

  1. Naoki Nishida,
    On Constrained Narrowing of Logically Constrained Term Rewrite Systems, the 59th TRS meeting, Izumo, September 2023.

受賞

Awards

開発ツール

Tools

略歴

Biography

学歴

Educational Background

平成5年(1993年)4月 富山県立砺波高等学校 入学
平成8年(1996年)3月 富山県立砺波高等学校 卒業
平成8年(1996年)4月1日 名古屋大学工学部電気電子・情報工学科 入学
平成12年(2000年)3月27日 名古屋大学工学部電気電子・情報工学科 卒業 March 27th, 2000 BSc (Engineering), Department of Information Engineering, School of Engineering, Nagoya Univeristy
平成12年(2000年)4月1日 名古屋大学大学院工学研究科博士課程前期課程計算理工学専攻 入学
平成14年(2002年)3月25日 名古屋大学大学院工学研究科博士課程前期課程計算理工学専攻 修了 March 25th, 2002 MSc (Engineering), Department of Computational Science and Engineering, Graduate School of Engineering, Nagoya University
平成14年(2002年)4月1日 名古屋大学大学院工学研究科博士課程後期課程情報工学専攻 進学
平成16年(2004年)3月25日 名古屋大学大学院工学研究科博士課程後期課程情報工学専攻 短縮修了 March 25th, 2004 PhD (Engineering), Department of Information Engineering, Graduate School of Engineering, Nagoya Univeristy

職歴

Academic Career

平成16年(2004年)4月1日〜平成19年(2007年)3月31日 名古屋大学大学院情報科学研究科情報システム学専攻 助手 April 1st, 2004 - March 31st, 2007 Research Associate, Department of Information Engineering, Graduate School of Information Science, Nagoya University
平成19年(2007年)4月1日〜平成25年(2013年)3月31日 名古屋大学大学院情報科学研究科情報システム学専攻 助教(職名変更) April 1st, 2007 - March 31st, 2013 Assistant Professor, Department of Information Engineering, Graduate School of Information Science, Nagoya University (due to job title change)
平成22年(2010年)7月1日〜平成22年(2010年)12月26日 バレンシア工科大学客員研究員 July 1st, 2010 - December 26th, 2010 Visiting Researcher, DSIC, Technical University of Valencia
平成25年(2013年)4月1日〜平成29年(2017年)3月31日 名古屋大学大学院情報科学研究科情報システム学専攻 准教授 April 1st, 2013 - March 31st, 2017 Associate Professor, Department of Information Engineering, Graduate School of Information Science, Nagoya University
平成29年(2017年)4月1日〜現在 名古屋大学大学院情報学研究科情報システム学専攻 准教授(組織改編) April 1st, 2017 - current Associate Professor, Department of Computing and Software Systems, Graduate School of Informatics, Nagoya University (due to organizational restructuring)

学会活動

Society Activities

所属学会

Affiliated Academic Societies

編集委員

Editorial Committee Members

プログラム委員

Program Committee Members

舵取り委員

Steering Committee Members

その他

Other Committee Members

リンク

Links