Rchr
J-GLOBAL ID：201101035974341772   Update date: Jan. 30, 2024

Tamura Naoyuki

タムラ ナオユキ | Tamura Naoyuki
Affiliation and department：
Kobe University

About Kobe University


Other affiliations (1)：
  • Kobe University
Homepage URL  (2)： https://tamura70.gitlab.io ,  https://tamura70.gitlab.io/en/
Research field  (4)： Computer systems ,  Information theory ,  Intelligent informatics ,  Software
Research keywords  (4)： Constraint Programming ,  SAT ,  Information Engineering ,  Computer Science
Research theme for competitive and other funds  (25)：
  • 2022 - 2025 Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
  • 2021 - 2024 Research and Development on SAT-based Integration of Systematic and Stochastic Search
  • 2018 - 2021 先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発
  • 2016 - 2019 SATを基盤とした新しい制約プログラミングシステムの研究開発
  • 2015 - 2018 SAT符号化を用いた制約解集合プログラミングに関する研究開発
Show all
Papers (114)：
  • Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura. Hamiltonian Cycle Reconfiguration with Answer Set Programming. In: S. Gaggl et al. (eds.), Logics in Artificial Intelligence, Proceedings of the 18th European Conference (JELIA 2023), Lecture Notes in Artificial Intelligence. 2023. 14281. to appear-16p.
  • YAMADA Kentaro, MINATO Shin-ichi, TAMURA Naoyuki, BANBARA Mutsunori. Solving Power Distribution Network Problems with Answer Set Programming. Computer Software. 2023. 40. 2. 2_3-2_18
  • Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura. SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies. 2023
  • TAKAHASHI Tomoki, KAMADA Tomio, OHTA Chikara, TAMURA Naoyuki, MAENO Taka. Joint Channel and AP/STA Assignment for Infrastructure-Mode IEEE 802.11 Multi-Interface Wireless Mesh Networks. Proceedings of the 6th International Workshop on Smart Wireless Communications. 2019. 12-17
  • Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko. teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Annals of Operations Research. 2019. 275. 1. 3-37
ｍore...
MISC (108)：
  • TAKEUCHI Raito, TAMURA Naoyuki, BANBARA Mutsunori. Solving Multi-objective Vehicle Equipment Specification Problem with Answer Set Programming. Proceedings of the Annual Conference of JSAI. 2021. 2021. 1H4GS1c03-1H4GS1c03
  • KUWAHARA Kazuya, TAMURA Naoyuki, BANBARA Mutsunori. A Study on ASP-based Integration of Systematic and Stochastic Local Search. Proceedings of the Annual Conference of JSAI. 2021. 2021. 2E1OS13a01-2E1OS13a01
  • SOH Takehide, NABESHIMA Hidetomo, BANBARA Mutsunori, TAMURA Naoyuki, INOUE Katsumi. Studies on a Parallelization Method of SAT-based CSP Solvers using CEGAR and the Share of Counterexamples. JSAI Technical Report, SIG-FPAI. 2020. 112. 6-11
  • IINO Naoki, TAMURA Naoyuki, SOH Takehide, BANBARA Mutsunori, INOUE Katsumi. Satisfiability Testing of Propositional Modal Logic K with Answer Set Programming. Proceedings of the Annual Conference of JSAI. 2020. 2020. 0. 2N5OS17b05-2N5OS17b05
  • 大野周亮, 番原睦則, SOH TAKEHIDE, TAMURA NAOYUKI. Proposal of encoding alldifferent constraints to Boolean cardinality constraints and its evaluation on queen graph coloring problems. 人工知能学会研究会資料. 2019. 109. 6-11
ｍore...
Patents (1)：
  • 文章解析方式
Lectures and oral presentations  (46)：
  • 正規制約に対するSAT符号化手法の提案と評価
    (The 22th Workshop on Programming and Programming Languages (PPL 2020) 2020)
  • 解集合ソルバーを用いた様相命題論理の充足可能性判定
    (The 22th Workshop on Programming and Programming Languages (PPL 2020) 2020)
  • インフラストラクチャモードで動作するマルチWi-Fi インタフェースメッシュネットワークの最適設定法
    (電子情報通信学会MoNA研究会 2019)
  • IEEE802.11インフラストラクチャモードマルチインタフェース無線メッシュネットワークのための制約プログラミングによる最適設定法
    (電子情報通信学会CCS研究会 2018)
  • マルチチャネル無線メッシュネットワークのための無線チャネル・インタフェースモード割当問題の定式化
    (電子情報通信学会ソサイエティ大会 2018)
ｍore...
Works (2)：
  • Copris
    田村 直之
  • Sugar
    田村 直之
Education (1)：
  • - 1985 Kobe University Graduate School of Science and Technology
Professional career (2)：
  • Ph.D
  • 学術博士 (神戸大学)
Work history (4)：
  • 2003 - 神戸大学 学術情報基盤センター・工学部 教授
  • 1992 - 神戸大学 工学部・自然科学研究科 助教授
  • 1988 - Kobe University Faculty of Engineering
  • 1985 - 日本IBM
Committee career (17)：
  • 2018 - IJCAI-ECAI 2018: PC member
  • 2017 - IEEE-ICTAI 2017: PC member
  • 2016 - IEEE-ICTAI 2016: PC member
  • 2015 - ACM SAC 2015: PC member
  • 2015 - IEEE-ICTAI 2015: PC member
Show all
Awards (11)：
  • 2019/10/02 - XCSP3 Competition Organization 2019 XCSP3 Competition Sequential CSP Solver 2nd Place Fun-sCOP
  • 2019/08/29 - Japan Society for Software Science and Technology 7th Best Review Paper Award (2018) SAT-based Constraint Programming Systems and Related Technologies
  • 2019 - The Japanese Society for Artificial Intelligence JSAI Annual Conference Award 2019 A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition
  • 2018/09 - 情報処理学会 情報処理学会 2018 年度特選論文 SAT技術を用いたペトリネットのデッドロック検出手法の提案
  • 2018/08 - XCSP3 Competition Organization 2018 XCSP3 Competition 2部門優勝 (逐次CSPソルバー部門, 並列CSPソルバー部門) sCOP
Show all
Association Membership(s) (3)：
THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE ,  ソフトウェア科学会 ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM