田村直之 (Naoyuki Tamura) - マイポータル

基本情報

所属: 神戸大学戦略企画室 (特命教授)
: (兼任)(名誉教授)

学位: 工学修士（神戸大学）(神戸大学)
学術博士(神戸大学)

J-GLOBAL ID: 201101035974341772
researchmap会員ID: B000000148

外部リンク: https://tamura70.gitlab.io

制約プログラミング，論理プログラミング，SAT技術に興味を持つ．

研究キーワード

研究分野

経歴

所属学協会

受賞

2019年10月

2019 XCSP3 Competition 逐次CSPソルバー部門準優勝, Fun-sCOP, XCSP3 Competition Organization

Takehide Soh, Daniel Le Berre, Hidetomo Nabesima, Mutsunori Banbara, Naoyuki Tamura
2019年8月

第７回解説論文賞 (2018年度), SAT型制約プログラミングシステムと周辺技術, 日本ソフトウェア科学会

宋剛秀, 番原睦則, 田村直之
2019年

2019年度全国大会優秀賞, A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition, 人工知能学会

宋剛秀, Le Berre Daniel, 番原睦則, 田村直之
2018年9月

情報処理学会 2018 年度特選論文, SAT技術を用いたペトリネットのデッドロック検出手法の提案, 情報処理学会

寸田智也, 宋剛秀, 番原睦則, 田村直之, 井上克巳
2018年8月

2018 XCSP3 Competition 2部門優勝 (逐次CSPソルバー部門, 並列CSPソルバー部門), sCOP, XCSP3 Competition Organization

Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
2017年3月

PPL2017発表賞（一般の部）, SATソルバーの最新動向と利用技術, 日本ソフトウェア科学会プログラミング論研究会

宋剛秀, 田村直之
2017年3月

2016年度全国大会優秀賞, SAT型制約ソルバーによるナンバーリンクの解法とその評価, 人工知能学会

迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知
2016年3月

第20回研究論文賞, パッキング配列問題の制約モデリングとSAT符号化, 日本ソフトウェア科学会

則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
2015年8月

優秀論文賞, SAT型制約ソルバーを用いたナンバーリンクの解法, 情報処理学会 SLDM研究会

田村直之
2015年8月

アルゴリズムデザインコンテスト2015 最優秀賞 (DAシンポジウム2015), iSugar+GlueMiniSat, 情報処理学会 SLDM研究会

迫龍哉, 川原征大, 田村直之, 番原睦則, 宋剛秀, 鍋島英知
2014年8月

アルゴリズムデザインコンテスト2014 最優秀賞 (DAシンポジウム2014・SWEST16), Sugar+GlueMiniSat, 情報処理学会 SLDM研究会

田村直之, 宋剛秀, 番原睦則, 鍋島英知

論文

114

Hamiltonian Cycle Reconfiguration with Answer Set Programming

Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura

In: S. Gaggl et al. (eds.), Logics in Artificial Intelligence, Proceedings of the 18th European Conference (JELIA 2023), Lecture Notes in Artificial Intelligence 14281 to appear-16p. 2023年9月査読有り
解集合プログラミングを用いた配電網問題の解法

山田健太郎, 湊真一, 田村直之, 番原睦則

コンピュータソフトウェア 40(2) 2_3-2_18 2023年4月21日
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks

2023年
Joint Channel and AP/STA Assignment for Infrastructure-Mode IEEE 802.11 Multi-Interface Wireless Mesh Networks

TAKAHASHI Tomoki, KAMADA Tomio, OHTA Chikara, TAMURA Naoyuki, MAENO Taka

Proceedings of the 6th International Workshop on Smart Wireless Communications 12-17 2019年11月査読有り
teaspoon : solving the curriculum-based course timetabling problems with answer set programming

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko

Annals of Operations Research 275(1) 3-37 2019年4月査読有り
Solver Description of Fun-sCOP

Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura

Solver Descriptions of XCSP3 Competition 2019 (XCSP19) 1-2 2019年
IEEE802.11インフラストラクチャモードマルチインタフェース無線メッシュネットワークのための制約プログラミングによる最適設定法 (複雑コミュニケーションサイエンス)

高橋智輝, 前野誉, 高木由美, 鎌田十三郎, 太田能, 田村直之

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(316) 17-22 2018年11月22日
SAT技術を用いたペトリネットのデッドロック検出手法の提案

寸田智也, 宋剛秀, 番原睦則, 田村直之, 井上克巳

情報処理学会論文誌 59(9) 1749-1760 2018年9月15日査読有り
LSIの配線問題 -DAシンポジウムの配線問題解法コンテスト-：3．SATを用いた解法

松永裕介, 田村直之

情報処理 59(3) 232-238 2018年2月15日
sCOP: SAT-based Constraint Programming System

Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura

Solver Descriptions of XCSP3 Competition 2018 (XCSP18) 1-2 2018年
ブール基数制約を経由した擬似ブール制約のSAT符号化手法

南雄之, 宋剛秀, 番原睦則, 田村直之

コンピュータソフトウェア 35(3) 3_65-3_78 2018年査読有り
SATソルバーの最新動向と利用技術

宋剛秀, 番原睦則, 田村直之, 鍋島英知

コンピュータソフトウェア 35(4) 72-92 2018年
Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings

Soh Takehide, Banbara Mutsunori, Tamura Naoyuki

International Journal on Artificial Intelligence Tools 26(1) 1760005-1760005 2017年2月査読有り
Solving multiobjective discrete optimization problems with propositional minimal model generation

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10416 LNCS 596-614 2017年査読有り
Catnap: Generating test suites of constrained combinatorial testing with answer set programming

Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10377 LNAI 265-278 2017年査読有り
SAT型制約プログラミングシステムと周辺技術

宋剛秀, 番原睦則, 田村直之

コンピュータソフトウェア 34(1) 1_67-1_80 2017年
SAT技術の進化と応用〜パズルからプログラム検証まで〜：2．SATとパズル -問題をいかにSATソルバーで解くか-

田村直之, 宋剛秀, 番原睦則

情報処理 57(8) 710-715 2016年7月15日
インクリメンタルSAT解法ライブラリとその応用

迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳

コンピュータソフトウェア 33(4) 4_16-4_29 2016年査読有り
Teaspoon: Solving the curriculum-based course timetabling problems with answer set programming

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko

PATAT 2016 - Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling 13-32 2016年査読有り
順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化

宋剛秀, 番原睦則, 田村直之

日本ソフトウェア科学会大会論文集 32 11p-428 2015年9月9日査読有り

もっとみる

MISC

109

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

CoRR abs/2403.07885 11p. 2024年5月18日
解集合プログラミングを用いた多目的車両装備仕様問題の解法

竹内頼人, 田村直之, 番原睦則

人工知能学会全国大会論文集 2021 1H4GS1c03-1H4GS1c03 2021年
解集合プログラミングに基づく系統的探索と確率的局所探索の統合的手法に関する一考察

桑原和也, 田村直之, 番原睦則

人工知能学会全国大会論文集 2021 2E1OS13a01-2E1OS13a01 2021年
CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察 (特集「命題論理の充足可能性問題SATの最新動向」および一般)

宋剛秀, 鍋島英知, 番原睦則, 田村直之, 井上克巳

人工知能基本問題研究会 112 6-11 2020年3月8日
解集合プログラミングによる様相命題論理Kの充足可能性判定

飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳

人工知能学会全国大会論文集 2020 2N5OS17b05-2N5OS17b05 2020年
alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用 (特集「命題論理の充足可能性問題SATの最新動向」および一般)

大野周亮, 番原睦則, 宋剛秀, 田村直之

人工知能基本問題研究会 109 6-11 2019年3月13日
A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition

宋剛秀, Le Berre Daniel, 番原睦則, 田村直之

人工知能学会全国大会論文集 2019 1E2OS3a03-1E2OS3a03 2019年
ブール基数制約を経由した擬似ブール制約のSAT符号化手法

南雄之, 宋剛秀, 番原睦則, 田村直之

日本ソフトウェア科学会大会論文集 34 393-404 2017年9月18日
ブール基数制約を経由した擬似ブール制約のSAT符号化法 (特集「SAT技術の理論,実装,応用」および一般)

南雄之, 宋剛秀, 番原睦則, 田村直之

人工知能基本問題研究会 103 18-23 2017年3月13日
制約充足問題のASP符号化に関する一考察

坡山直樹, 番原睦則, 宋剛秀, 田村直之

人工知能学会全国大会論文集 2017 1M1OS02a4-1M1OS02a4 2017年
解集合プログラミングによるカリキュラムベース・コース時間割編成

番原睦則, 井上克巳, ベンジャミンカウフマン, トルステンシャウブ, 宋剛秀, 田村直之, フィリップワンコ

第29回RAMPシンポジウム論文集 73-88 2017年招待有り
SAT技術を用いたペトリネットのデッドロック検出手法の提案

寸田智也, 宋剛秀, 番原睦則, 田村直之

人工知能学会全国大会論文集 2017 1M1OS02a2-1M1OS02a2 2017年
SATソルバーの使い方 —問題をSATに符号化する方法—

田村直之, 宋剛秀, 番原睦則

第58回プログラミング・シンポジウム予稿集 165-172 2017年1月
Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー

宋剛秀, 番原睦則, 田村直之

第58回プログラミング・シンポジウム予稿集 71-74 2017年1月
SAT技術を用いた正規ペトリネットのデッドロック検出手法の提案

寸田智也, 宋剛秀, 番原睦則, 田村直之

日本ソフトウェア科学会大会論文集 33 513-521 2016年9月7日
SATとパズル

田村直之, 宋剛秀, 番原睦則

情報処理 57(8) 710-715 2016年7月査読有り
クラウド上のソフトウェア要素最適配置問題の解法 (特集「命題論理の充足可能性問題SATと応用技術」および一般)

田村直之, 井上克巳, 鍋島英知, 番原睦則, 宋剛秀

人工知能基本問題研究会 100 19-24 2016年3月27日
解集合プログラミングを用いた制約組合せテストケース生成

兼行大将, 番原睦則, 宋剛秀, 田村直之, 井上克巳, 沖本天太

第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016) カテゴリC1 2016年3月査読有り
SAT型制約ソルバーによるナンバーリンクの解法とその評価

迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知

人工知能学会全国大会論文集 2016 1D4OS02a3-1D4OS02a3 2016年
SATソルバーを用いた部分グラフ探索のための制約モデル

川原征大, 宋剛秀, 番原睦則, 田村直之

人工知能学会全国大会論文集 2016 1D4OS02a4-1D4OS02a4 2016年

もっとみる

講演・口頭発表等

正規制約に対するSAT符号化手法の提案と評価

生田哲也, 田村直之, 宋剛秀, 番原睦則

第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020年日本ソフトウェア科学会プログラミング論研究会
解集合ソルバーを用いた様相命題論理の充足可能性判定

飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳

第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020年日本ソフトウェア科学会プログラミング論研究会
インフラストラクチャモードで動作するマルチWi-Fi インタフェースメッシュネットワークの最適設定法

高橋智輝, 前野誉, 高木由美, 鎌田十三郎, 太田能, 田村直之

電子情報通信学会MoNA研究会 2019年3月電子情報通信学会
IEEE802.11インフラストラクチャモードマルチインタフェース無線メッシュネットワークのための制約プログラミングによる最適設定法

高橋智輝, 前野誉, 高木由美, 鎌田十三郎, 太田能, 田村直之

電子情報通信学会CCS研究会 2018年11月電子情報通信学会
マルチチャネル無線メッシュネットワークのための無線チャネル・インタフェースモード割当問題の定式化

高橋智輝, 前野誉, 高木由美, 鎌田十三郎, 太田能, 田村直之

電子情報通信学会ソサイエティ大会 2018年9月電子情報通信学会
IEEE802.11インフラストラクチャモードマルチインタフェース無線メッシュネットワークの最適設定法に関する一検討

高橋智輝, 前野誉, 高木由美, 鎌田十三郎, 太田能, 田村直之

電子情報通信学会MIKA研究会 2018年9月電子情報通信学会
正規制約のSAT符号化とその性能評価

生田哲也, 田村直之, 番原睦則, 宋剛秀

日本ソフトウェア科学会第35回大会 2018年8月
SATソルバーを用いた様相命題論理S4の充足可能性判定

飯野有軌, 田村直之, 番原睦則, 宋剛秀

日本ソフトウェア科学会第35回大会 2018年8月
teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko

The 28th International Conference on Automated Planning and Scheduling, (ICAPS 2018) 2018年6月
解集合プログラミングを用いた3次元ナンバーリンクソルバー

坡山直樹, 飯野有軌, 番原睦則, 田村直之

DAシンポジウム2017 2017年8月
SAT型制約ソルバーを用いた3次元ナンバーリンクの解法

寸田智也, 南雄之, 宋剛秀, 田村直之

DAシンポジウム2017 2017年8月情報処理学会システムとLSIの設計技術研究会
解集合プログラミングを用いた多層ナンバーリンクの解法

坡山直樹, 川原征大, 迫龍哉, 宋剛秀, 番原睦則, 田村直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017年3月日本ソフトウェア科学会プログラミング論研究会
SugarTracer: SAT型制約ソルバーSugarのトレースツール

吉玉元和, 寸田智也, 南雄之, 宋剛秀, 番原睦則, 田村直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017年3月日本ソフトウェア科学会プログラミング論研究会
SATソルバーの最新動向と利用技術

宋剛秀, 田村直之

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017年3月日本ソフトウェア科学会プログラミング論研究会
インクリメンタルSAT解法を用いた高速ナンバーリンクソルバー

迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知

第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016) 2016年3月日本ソフトウェア科学会プログラミング論研究会
Scarab: 高度なSAT解法を利用可能な制約プログラミングシステム

宋剛秀, 番原睦則, 田村直之

第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015) 2015年3月日本ソフトウェア科学会プログラミング論研究会
SAT Solver and its Application to Combinatorial Problems

田村直之

実験計画法およびその周辺の組合せ構造 2014 2014年12月招待有り
Answer Set Programming as a Modeling Language for Course Timetabling

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub

第16回プログラミングおよびプログラミング言語ワークショップ 2014年3月日本ソフトウェア科学会プログラミング論研究会
パッキング配列問題の制約モデリングとSAT符号化

則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳

日本ソフトウェア科学会第30回大会 2013年9月日本ソフトウェア科学会
Scala 上で実現されたSAT型制約プログラミングシステムのための開発ツール Scarab について

宋剛秀, 番原睦則, 田村直之, Daniel Le Berre, Stéphanie Roussel

日本ソフトウェア科学会第30回大会 2013年9月日本ソフトウェア科学会

もっとみる

担当経験のある科目(授業)

Works(作品等)

Copris

田村直之

コンピュータソフト
Sugar

田村直之

コンピュータソフト

共同研究・競争的資金等の研究課題

制約充足問題に対する新しいSAT解法技術の研究開発

日本学術振興会科学研究費助成事業基盤研究(C) 2022年4月 - 2025年3月

田村直之, 宋剛秀, 番原睦則
SAT技術に基づく系統的探索と確率的探索の統合的技法の研究開発

日本学術振興会科学研究費助成事業基盤研究(C) 2021年4月 - 2024年3月

番原睦則, 田村直之, 宋剛秀
先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発

学術研究助成基金助成金／基盤研究(C) 2018年4月 - 2021年3月

番原睦則
SATを基盤とした新しい制約プログラミングシステムの研究開発

科学研究費補助金／基盤研究(B) 2016年4月 - 2019年3月

田村直之
SAT符号化を用いた制約解集合プログラミングに関する研究開発

学術研究助成基金助成金／基盤研究(C) 2015年4月 - 2018年3月

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

科学研究費一部基金／基盤研究(B) 2012年4月 - 2015年3月

田村直之
制約最適化問題のＳＡＴ変換による解法とその並列分散処理に関する研究

科学研究費補助金／基盤研究(A) 2008年

田村直之
充実期を迎えた線形論理の進化とその応用に関する研究

日本学術振興会科学研究費助成事業基盤研究(B) 2003年 - 2005年

岡田光弘, 小林直樹, 照井一成, 田村直之
グリッド計算環境上で動作する並列制約解消システムに関する研究

科学研究費補助金／基盤研究(C) 2005年

田村直之
線形論理の自動演繹システムに関する研究

日本学術振興会科学研究費助成事業基盤研究(C) 2002年 - 2004年

田村直之, 番原睦則
実時間システムに対する論理的仕様・検証言語の国際共同実装計画

日本学術振興会科学研究費助成事業基盤研究(B) 2001年 - 2003年

岡田光弘, 中川中, 田村直之, 二木厚吉
極限計算の論理とその応用

日本学術振興会科学研究費助成事業基盤研究(B) 2001年 - 2003年

林晋, 八杉満利子, 田村直之, 赤間陽二, 高橋大輔, 石原哉, 山本章博
抽象設計論の構築とその展開

日本学術振興会科学研究費助成事業基盤研究(C) 2001年 - 2002年

角田譲, 長坂一朗, 菊池誠, 田村直之, 田浦俊春, 下嶋篤
資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築

日本学術振興会科学研究費助成事業基盤研究(C) 1999年 - 2000年

高橋真, 田村直之, 番原睦則, 田村直之, 高橋真
証明アニメーション(構成的プログラミンブによる証明テスト技法)

日本学術振興会科学研究費助成事業基盤研究(B) 1998年 - 2000年

林晋, 佐藤雅彦, 八杉満利子, 田村直之
マルチエージェントの協調による発展可能型ソフトウェアの実現

日本学術振興会科学研究費助成事業特定領域研究(A) 1998年 - 1998年

金田悠紀夫, 田村直之
古典線形論理に基づいた論理型言語に関する研究

日本学術振興会科学研究費助成事業特定領域研究(A) 1998年 - 1998年

田村直之, 林晋
マルチエージェントの協調に基づく発展可能型ソフトウェアの具現化

日本学術振興会科学研究費助成事業重点領域研究 1997年 - 1997年

金田悠紀夫, 田村直之
並列協調処理システム記述用言語処理系のワークステーション連結型並列計算機での実現

日本学術振興会科学研究費助成事業一般研究(C) 1994年 - 1995年

金田悠紀夫, 荻原剛志, 田村直之, 瀧和男, 松田秀雄
ファジィ制約を取り扱うプログラミング言語についての研究

日本学術振興会科学研究費助成事業一般研究(C) 1994年 - 1994年

田村直之, 堀内清光

もっとみる

学歴

- 1985年3月

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

委員歴

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
2014年

FLOPS 2014: SC chair
2014年

PoS 2014:: PC member
2014年

ECAI 2014: Senior PC member
2014年

ACM SAC 2014: PC member
2014年

IEEE-ICTAI 2014: PC member
2013年

SAT 2013: PC member
2013年

IEEE-ICTAI 2013: PC member
2013年

LPAR 19: PC member
2013年

PoS 2013:: PC member
2012年

FLOPS 2012: General chair
FLOPS: SC member
Journal on Satisfiability, Boolean Modeling and Computation (JSAT): Editorial board member

産業財産権

特許3182471 文章解析方式

田村直之, 村上温夫, 吉見毅彦, 西田収

田村直之

基本情報

研究キーワード

研究分野

経歴

所属学協会

受賞

論文

MISC

講演・口頭発表等

担当経験のある科目(授業)

Works(作品等)

共同研究・競争的資金等の研究課題

学歴

委員歴

産業財産権

メニュー

共著者の一覧

フォロー一覧