田村直之

タムラナオユキ | Tamura Naoyuki

所属機関・部署：
その他の所属（所属・部署名・職名） (1件)：

神戸大学

ホームページURL (2件)： https://tamura70.gitlab.io , https://tamura70.gitlab.io/en/

研究分野 (4件)：計算機システム , 情報学基礎論 , 知能情報学 , ソフトウェア

研究キーワード (4件)：制約プログラミング , SAT , 情報工学 , 計算機科学

競争的資金等の研究課題 (25件)：

2022 - 2025 制約充足問題に対する新しいSAT解法技術の研究開発
2021 - 2024 SAT技術に基づく系統的探索と確率的探索の統合的技法の研究開発
2018 - 2021 先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発
2016 - 2019 SATを基盤とした新しい制約プログラミングシステムの研究開発
2015 - 2018 SAT符号化を用いた制約解集合プログラミングに関する研究開発

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

2008 - 制約最適化問題のSAT変換による解法とその並列分散処理に関する研究

2003 - 2005 充実期を迎えた線形論理の進化とその応用に関する研究

2005 - グリッド計算環境上で動作する並列制約解消システムに関する研究

2002 - 2004 線形論理の自動演繹システムに関する研究

2001 - 2003 実時間システムに対する論理的仕様・検証言語の国際共同実装計画

2001 - 2003 極限計算の論理とその応用

2001 - 2002 抽象設計論の構築とその展開

1999 - 2000 資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築

1998 - 2000 証明アニメーション(構成的プログラミンブによる証明テスト技法)

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

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

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

1994 - 1995 並列協調処理システム記述用言語処理系のワークステーション連結型並列計算機での実現

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

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

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

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

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

1989 - 1990 一次元プロセッサアレイ型データ・ベースマシンの研究

全件表示

論文 (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.
山田健太郎, 湊真一, 田村直之, 番原睦則. 解集合プログラミングを用いた配電網問題の解法. コンピュータソフトウェア. 2023. 40. 2. 2_3-2_18
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. 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

MISC (109件)：

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.
竹内頼人, 田村直之, 番原睦則. 解集合プログラミングを用いた多目的車両装備仕様問題の解法. 人工知能学会全国大会論文集. 2021. 2021. 1H4GS1c03-1H4GS1c03
桑原和也, 田村直之, 番原睦則. 解集合プログラミングに基づく系統的探索と確率的局所探索の統合的手法に関する一考察. 人工知能学会全国大会論文集. 2021. 2021. 2E1OS13a01-2E1OS13a01
宋剛秀, 鍋島英知, 番原睦則, 田村直之, 井上克巳. CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察 (特集「命題論理の充足可能性問題SATの最新動向」および一般). 人工知能基本問題研究会. 2020. 112. 6-11
飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳. 解集合プログラミングによる様相命題論理Kの充足可能性判定. 人工知能学会全国大会論文集. 2020. 2020. 0. 2N5OS17b05-2N5OS17b05

特許 (1件)：

文章解析方式

講演・口頭発表等 (46件)：

正規制約に対するSAT符号化手法の提案と評価
(第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020)
解集合ソルバーを用いた様相命題論理の充足可能性判定
(第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020)
インフラストラクチャモードで動作するマルチWi-Fi インタフェースメッシュネットワークの最適設定法
(電子情報通信学会MoNA研究会 2019)
IEEE802.11インフラストラクチャモードマルチインタフェース無線メッシュネットワークのための制約プログラミングによる最適設定法
(電子情報通信学会CCS研究会 2018)
マルチチャネル無線メッシュネットワークのための無線チャネル・インタフェースモード割当問題の定式化
(電子情報通信学会ソサイエティ大会 2018)

Works (2件)：

Copris
田村直之
Sugar
田村直之

学歴 (1件)：

- 1985 神戸大学大学院自然科学研究科博士課程システム科学専攻修了

学位 (2件)：

工学修士(神戸大学) (神戸大学)
学術博士 (神戸大学)

経歴 (4件)：

2003 - 神戸大学学術情報基盤センター・工学部教授
1992 - 神戸大学工学部・自然科学研究科助教授
1988 - 神戸大学工学部講師
1985 - 日本IBM

委員歴 (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

全件表示

受賞 (11件)：

2019/10/02 - XCSP3 Competition Organization 2019 XCSP3 Competition 逐次CSPソルバー部門準優勝 Fun-sCOP
2019/08/29 - 日本ソフトウェア科学会第7回解説論文賞 (2018年度) SAT型制約プログラミングシステムと周辺技術
2019 - 人工知能学会 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

全件表示

所属学会 (3件)：

人工知能学会 , ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

田村 直之

田村直之