Naoyuki Tamura
(田村 直之)
Modified on: 01/31
Profile Information
- Affiliation
- Kobe University
- (Concurrent)
- Degree
-
Ph.D学術博士(神戸大学)
- J-GLOBAL ID
- 201101035974341772
- researchmap Member ID
- B000000148
- External link
制約プログラミング,論理プログラミング,SAT技術に興味を持つ.
Research Interests
4Research Areas
4Research History
4-
1985
Professional Memberships
3Awards
11Papers
114-
Computer Software, 40(2) 2_3-2_18, Apr 21, 2023
-
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023
-
Proceedings of the 6th International Workshop on Smart Wireless Communications, 12-17, Nov, 2019 Peer-reviewed
-
Annals of Operations Research, 275(1) 3-37, Apr, 2019 Peer-reviewed
-
Solver Descriptions of XCSP3 Competition 2019 (XCSP19), 1-2, 2019
-
情報処理学会論文誌, 59(9) 1749-1760, Sep 15, 2018 Peer-reviewed
-
Journal of Information Processing, 59(3) 232-238, Feb 15, 2018
-
Solver Descriptions of XCSP3 Competition 2018 (XCSP18), 1-2, 2018
-
Computer Software, 35(3) 3_65-3_78, 2018 Peer-reviewed
-
Computer Software, 35(4) 72-92, 2018
-
International Journal on Artificial Intelligence Tools, 26(1) 1760005-1760005, Feb, 2017 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10416 LNCS 596-614, 2017 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10377 LNAI 265-278, 2017 Peer-reviewed
-
Computer Software, 34(1) 1_67-1_80, 2017
-
57(8) 710-715, Jul 15, 2016
-
Computer Software, 33(4) 4_16-4_29, 2016 Peer-reviewed
-
PATAT 2016 - Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling, 13-32, 2016 Peer-reviewed
-
Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI, 32 11p-428, Sep 9, 2015 Peer-reviewed
Misc.
108-
Proceedings of the Annual Conference of JSAI, 2021 1H4GS1c03-1H4GS1c03, 2021
-
Proceedings of the Annual Conference of JSAI, 2021 2E1OS13a01-2E1OS13a01, 2021
-
JSAI Technical Report, SIG-FPAI, 112 6-11, Mar 8, 2020
-
Proceedings of the Annual Conference of JSAI, 2020 2N5OS17b05-2N5OS17b05, 2020
-
人工知能学会研究会資料, 109 6-11, Mar 13, 2019
-
Proceedings of the Annual Conference of JSAI, 2019 1E2OS3a03-1E2OS3a03, 2019
-
日本ソフトウェア科学会第34回大会講演論文集, 34 393-404, Sep 18, 2017
-
人工知能学会研究会資料, 103 18-23, Mar 13, 2017
-
2017年度人工知能学会全国大会(第31回)論文集, 2017 1M1OS02a4-1M1OS02a4, 2017
-
第29回RAMPシンポジウム論文集, 73-88, 2017 Invited
-
2017年度人工知能学会全国大会(第31回)論文集, 2017 1M1OS02a2-1M1OS02a2, 2017
-
第58回プログラミング・シンポジウム予稿集, 165-172, Jan, 2017
-
第58回プログラミング・シンポジウム予稿集, 71-74, Jan, 2017
-
日本ソフトウェア科学会第33回大会講演論文集, 33 513-521, Sep 7, 2016
-
情報処理, 57(8) 710-715, Jul, 2016 Peer-reviewed
-
人工知能基本問題研究会(第100回), 100 19-24, Mar 27, 2016
-
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016), カテゴリC1, Mar, 2016 Peer-reviewed
-
2016年度人工知能学会全国大会(第30回)論文集, 2016 1D4OS02a3-1D4OS02a3, 2016
-
2016年度人工知能学会全国大会(第30回)論文集, 2016 1D4OS02a4-1D4OS02a4, 2016
-
日本ソフトウェア科学会第32回大会, 32 11p-11, Sep 9, 2015
Presentations
46-
The 22th Workshop on Programming and Programming Languages (PPL 2020), 2020
-
The 22th Workshop on Programming and Programming Languages (PPL 2020), 2020
-
電子情報通信学会MoNA研究会, Mar, 2019, 電子情報通信学会
-
電子情報通信学会CCS研究会, Nov, 2018, 電子情報通信学会
-
電子情報通信学会ソサイエティ大会, Sep, 2018, 電子情報通信学会
-
電子情報通信学会MIKA研究会, Sep, 2018, 電子情報通信学会
-
日本ソフトウェア科学会第35回大会, Aug, 2018
-
日本ソフトウェア科学会第35回大会, Aug, 2018
-
The 28th International Conference on Automated Planning and Scheduling, (ICAPS 2018), Jun, 2018
-
DAシンポジウム2017, Aug, 2017
-
DAシンポジウム2017, Aug, 2017, 情報処理学会システムとLSIの設計技術研究会
-
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017), Mar, 2017, 日本ソフトウェア科学会 プログラミング論研究会
-
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017), Mar, 2017, 日本ソフトウェア科学会 プログラミング論研究会
-
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017), Mar, 2017, 日本ソフトウェア科学会 プログラミング論研究会
-
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016), Mar, 2016, 日本ソフトウェア科学会プログラミング論研究会
-
第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015), Mar, 2015, 日本ソフトウェア科学会プログラミング論研究会
-
実験計画法およびその周辺の組合せ構造 2014, Dec, 2014 Invited
-
第16回プログラミングおよびプログラミング言語ワークショップ, Mar, 2014, 日本ソフトウェア科学会プログラミング論研究会
-
日本ソフトウェア科学会第30回大会, Sep, 2013, 日本ソフトウェア科学会
-
日本ソフトウェア科学会第30回大会, Sep, 2013, 日本ソフトウェア科学会
Teaching Experience
11Research Projects
25-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2022 - Mar, 2025
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2021 - Mar, 2024
-
学術研究助成基金助成金/基盤研究(C), Apr, 2018 - Mar, 2021
-
科学研究費補助金/基盤研究(B), Apr, 2016 - Mar, 2019
-
学術研究助成基金助成金/基盤研究(C), Apr, 2015 - Mar, 2018
-
科学研究費一部基金/基盤研究(B), Apr, 2012 - Mar, 2015
-
科学研究費補助金/基盤研究(A), 2008
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, 2003 - 2005
-
科学研究費補助金/基盤研究(C), 2005
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2002 - 2004
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, 2001 - 2003
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, 2001 - 2003
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2001 - 2002
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 1999 - 2000
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B)., Japan Society for the Promotion of Science, 1998 - 2000
-
科学研究費助成事業, 特定領域研究(A), 日本学術振興会, 1998 - 1998
-
科学研究費助成事業, 特定領域研究(A), 日本学術振興会, 1998 - 1998
-
科学研究費助成事業, 重点領域研究, 日本学術振興会, 1997 - 1997
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for General Scientific Research (C), Japan Society for the Promotion of Science, 1994 - 1995
-
科学研究費助成事業, 一般研究(C), 日本学術振興会, 1994 - 1994
Education
1Committee Memberships
17-
2014
-
2014
-
2013
-
2013
-
2013