西田 直樹
ニシダ ナオキ (Naoki Nishida)
更新日: 04/17
基本情報
- 所属
- 名古屋大学 大学院情報学研究科 情報システム学専攻 計算論 准教授
- 学位
-
工学博士(名古屋大学)
- 研究者番号
- 00397449
- J-GLOBAL ID
- 200901085122962990
- researchmap会員ID
- 5000075868
- 外部リンク
経歴
7-
2017年4月 - 現在
-
2013年4月 - 現在
-
2013年4月 - 2017年3月
-
2007年4月 - 2013年3月
-
2007年4月 - 2013年3月
-
2004年4月 - 2007年3月
-
2004年4月 - 2007年3月
学歴
2-
2002年4月 - 2004年3月
-
2000年4月 - 2002年3月
受賞
4論文
204-
Proceedings of the 12th International Conference on Reversible Computation, Lecture Notes in Computer Science 12227 239-245 2020年7月9日 査読有り
-
Informal Proceedings of the 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018) 1-12 2020年6月29日 査読有り
-
Reversible Computation: Extending Horizons of Computing, Lecture Notes in Computer Science 12070 108-127 2020年5月12日 査読有り
-
電子情報通信学会技術報告 119(451) 31-36 2020年3月4日
-
電子情報通信学会技術報告 119(246) 25-30 2019年10月24日
-
Proceedings of the Joint Proceedings of HOR 2019 and IWC 2019 (with system descriptions from CoCo 2019) 50 2019年6月28日
-
Proceedings of the 11th International Conference on Reversible Computation, Lecture Notes in Computer Science 11497 67-83 2019年6月25日 査読有り
-
Informal Proceedings of the 6th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018) 1-15 2019年6月24日 査読有り
-
Informal Proceedings of the 6th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018) 1-15 2019年6月24日 査読有り
-
Informal Proceedings of the 3rd Workshop on Program Equivalence and Relational Reasoning 1-2 2019年4月2日 査読有り
-
電子情報通信学会技術報告 118(471) 85-90 2019年3月4日
-
Electronic Proceedings in Theoretical Computer Science 289 68-87 2019年2月22日 査読有り
-
Electronic Proceedings in Theoretical Computer Science 289 34-52 2019年2月22日 査読有り
-
電子情報通信学会技術報告 118(385) 73-78 2019年1月16日
-
電子情報通信学会技術報告 118(385) 67-72 2019年1月16日
-
Proceedings of the 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018), Lecture Notes in Computer Science 11294 309-321 2018年11月24日 査読有り
-
Journal of Logical and Algebraic Methods in Programming 100 71-97 2018年11月 査読有り
-
平成30年度電気・電子・情報関係学会東海支部連合大会講演論文集 (M1-56) 1 2018年9月3日
-
平成30年度電気・電子・情報関係学会東海支部連合大会講演論文集 (M1-5) 1 2018年9月3日
-
Proceedings of the 7th International Workshop on Confluence (IWC 2018) 64 2018年7月7日
MISC
189-
平成30年度電気・電子・情報関係学会東海支部連合大会講演論文集 (M1-56) 1 2018年9月3日
-
平成30年度電気・電子・情報関係学会東海支部連合大会講演論文集 (M1-5) 1 2018年9月3日
-
Proceedings of the 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018) 1-12 2018年7月18日 査読有り
-
Informal Proceedings of the 5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018) 1-11 2018年7月8日 査読有り
-
Proceedings of the 7th International Workshop on Confluence (IWC 2018) 64 2018年7月7日
-
Proceedings of the 7th International Workshop on Confluence (IWC 2018) 51-55 2018年7月7日 査読有り
-
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), LIPIcs 108 32:1-32:5-5 2018年6月29日
-
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), LIPIcs 108 26:1-26:20 2018年6月29日 査読有り
-
Science of Computer Programming 155 76-102 2018年4月1日 査読有り
-
Journal of Logical and Algebraic Methods in Programming 94 128-149 2018年1月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10818 247-263 2018年 査読有り
-
Proceedings of the 5th International Workshop on Confluence (IWC 2016) 73 2017年9月8日
-
電子情報通信学会技術報告 117(136) 139-144 2017年7月20日
-
電子情報通信学会技術報告 117(136) 145-150-150 2017年7月20日
-
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 18(2) 14:1-14:50 2017年6月 査読有り
-
電子情報通信学会技術報告 116(512) 103-108-108 2017年3月10日
-
Journal of Automated Reasoning 58(3) 391-411 2017年3月1日 査読有り
-
Proceedings of the 3rd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), Electronic Proceedings in Theoretical Computer Science 235 62-77 2017年1月1日 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10184 259-274 2017年 査読有り
-
Proceedings of the 5th International Workshop on Confluence (IWC 2016) 60-64 2016年9月9日 査読有り
講演・口頭発表等
21-
the 50th TRS Meeting 2019年2月27日
-
the 49th TRS Meeting 2018年9月25日
-
第20回プログラミングおよびプログラミング言語ワークショップ 2018年3月5日
-
第20回プログラミングおよびプログラミング言語ワークショップ 2018年3月5日
-
the 47th TRS Meeting 2017年9月25日
-
the 46th TRS Meeting 2017年2月27日
-
4th Austria - Japan Summer Workshop on Term Rewriting 2016年9月8日
-
the 41st TRS Meeting 2014年9月26日
-
the 40th TRS Meeting 2014年3月17日
-
COMPUTER SCIENCE COLLOQUIUM, IMADA, University of Southern Denmark 2014年3月11日
-
Seminar at Research Group "Verification meets Algorithm Engineering", the Institute for Theoretical Computer Science, Karlsruhe Institute of Technology 2013年7月1日 Research Group "Verification meets Algorithm Engineering", the Institute for Theoretical Computer Science, Karlsruhe Institute of Technology
-
the 37th TRS Meeting 2012年11月7日
-
Master Seminar 1, Institute of Computer Science, University of Innsbruck 2012年10月17日
-
Seminar at DSIC, Technical University of Valencia 2011年12月7日 MiST, DSIC, Technical University of Valencia
-
日本ソフトウェア科学会第28回大会 2011年9月27日
-
the 35th TRS Meeting 2011年9月12日
-
the 35th TRS Meeting 2011年9月12日
-
第13回プログラミングおよびプログラミング言語ワークショップ 2011年3月9日
-
第13回プログラミングおよびプログラミング言語ワークショップ 2011年3月9日
-
第13回プログラミングおよびプログラミング言語ワークショップ 2011年3月9日
所属学協会
3共同研究・競争的資金等の研究課題
10-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2018年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2017年4月 - 2021年3月
-
名古屋大学 学内共同研究 2019年4月 - 2020年3月
-
名古屋大学 学内共同研究 2017年9月 - 2019年3月
-
名古屋大学 学内共同研究 2016年9月 - 2017年8月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2009年4月 - 2013年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2008年4月 - 2012年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2003年4月 - 2010年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2005年4月 - 2008年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2004年4月 - 2008年3月