Tamura Naoyuki

タムラナオユキ | Tamura Naoyuki

Affiliation and department：
Homepage URL (2)： https://tamura70.gitlab.io , https://tamura70.gitlab.io/en/

Research field (4)： Computer systems , Information theory , Intelligent informatics , Software

Research keywords (8)： Constraint Satisfaction Problem , Constraint Programming , SAT , Satisfiability Problem , Logic Programming , Linear Logic , 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符号化を用いた制約解集合プログラミングに関する研究開発

2012 - 2015 命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現

2008 - 2011 Study of SAT-based constraint optimization problem solving and its parallel distributed processing

2005 - 2007 Research on a Parallel Constraint Solver System on a Grid Computing Environment

2003 - 2005 New development in the matured linear logic research and its applications

2002 - 2004 Research of Automated Deduction System for Linear Logic

2001 - 2003 International collaborative studies on a logical specification and verification language.

2001 - 2003 Logic of Limit Computing and its Applications

2001 - 2002 The construction of Abstract Design Theory and its development

1999 - 2000 Design and system development of a programming language based on a temporal linear logic

1998 - 2000 Proof Animation -testing proofs by constructive programming-

1998 - 1998 マルチエージェントの協調による発展可能型ソフトウェアの実現

1998 - 1998 古典線形論理に基づいた論理型言語に関する研究

1997 - 1997 マルチエージェントの協調に基づく発展可能型ソフトウェアの具現化

1994 - 1995 Multi-agent system description programming language system based on workstation cluster type parllel computer system

1994 - 1994 ファジィ制約を取り扱うプログラミング言語についての研究

1994 - 1994 分布定数系の制御,観測,同定問題の理論的および数値解析的研究

1993 - 1993 半加群のホモロジー代数

1992 - 1992 論理プログラミングにおけるソフトウェア構成プロセスのモデル化に関する研究

1991 - 1991 論理プログラミングにおけるソフトウェア構成プロセスのモデル化に関する研究

1989 - 1990 Research on one dimensional processor array type data base machine

Show all

Papers (114)：

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara. ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. Logic Programming and Nonmonotonic Reasoning - 17th International Conference(LPNMR). 2024. 57-70
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

ｍore...

MISC (112)：

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara. Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. CoRR. 2024. abs/2403.07885. 11p.
大橋瞭雅, 宋剛秀, 鍋島英知, 番原睦則, 井上克巳, 田村直之. ハミルトン閉路問題に対するCut-arc集合制約を用いたSAT型CEGAR解法. 日本ソフトウェア科学会大会講演論文集(Web). 2024. 41st
桑原祥文, 宋剛秀, 盧暁南, 鍋島英知, 番原睦則, 井上克巳, 田村直之. 独立集合遷移問題に対する有界組合せ遷移の改良に関する一考察. 日本ソフトウェア科学会大会講演論文集(Web). 2024. 41st
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

ｍ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