2024/07/13 更新

写真a

バンバラ　ムツノリ
番原　睦則
BANBARA Mutsunori
所属
大学院情報学研究科 情報システム学専攻 計算論 教授
大学院担当
大学院情報学研究科
学部担当
情報学部 コンピュータ科学科
職名
教授
連絡先
メールアドレス

学位 1

  1. 博士(工学) （ 2002年9月   神戸大学 ） 

学位の先頭へ▲

研究キーワード 5

  1. 知識表現及び推論

  2. 命題論理の充足可能性判定 (SAT)

  3. 解集合プログラミング

  4. 論理プログラミング

  5. 制約プログラミング

研究キーワードの先頭へ▲

経歴 5

  1. 名古屋大学   大学院情報学研究科   教授

    2018年10月 - 現在

    　 詳細を見る

    国名：日本国

  2. 神戸大学   情報基盤センター (旧学術情報基盤センター)   准教授

    2007年4月 - 2018年9月

    　 詳細を見る

    国名：日本国

  3. 神戸大学   学術情報基盤センター   講師

    2003年4月 - 2007年3月

    　 詳細を見る

    国名：日本国

  4. 奈良工業高等専門学校   一般教科   講師

    1998年4月 - 2003年9月

    　 詳細を見る

    国名：日本国

  5. 奈良工業高等専門学校   一般教科   助手

    1996年4月 - 1998年3月

    　 詳細を見る

    国名：日本国

経歴の先頭へ▲

学歴 2

  1. 神戸大学   自然科学研究科   数学専攻

    1994年4月 - 1996年3月

    　 詳細を見る

    国名： 日本国

  2. 神戸大学   理学部   数学科

    1989年4月 - 1994年3月

    　 詳細を見る

    国名： 日本国

学歴の先頭へ▲

所属学協会 3

  1. 人工知能学会

  2. 情報処理学会

  3. 日本ソフトウェア科学会

所属学協会の先頭へ▲

委員歴 11

  1. The 21th International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)   プログラム委員  

    2024年11月   

    　 詳細を見る

    団体区分：学協会

  2. The 40th International Conference on Logic Programming (ICLP 2024)   プログラム委員  

    2024年10月   

    　 詳細を見る

    団体区分：その他

  3. 日本ソフトウェア科学会   プログラミング論研究会 (JSSST-SIGPPL) 主査  

    2024年4月 - 2026年3月   

    　 詳細を見る

    団体区分：学協会

  4. The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)   プログラム委員  

    2023年9月   

    　 詳細を見る

    団体区分：学協会

  5. The 38th International Conference on Logic Programming (ICLP 2022)   プログラム委員  

    2022年8月   

    　 詳細を見る

    団体区分：その他

  6. The 37th International Conference on Logic Programming (ICLP 2021)   プログラム委員  

    2021年9月   

    　 詳細を見る

    団体区分：その他

  7. The 30th International Joint Conference on Artificial Intelligence (IJCAI 2021)   シニアプログラム委員  

    2021年8月   

    　 詳細を見る

    団体区分：その他

  8. The 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020)   シニアプログラム委員  

    2021年1月   

    　 詳細を見る

    団体区分：その他

  9. The 13th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2020)   プログラム委員  

    2020年9月   

    　 詳細を見る

    団体区分：その他

  10. The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)   プログラム委員  

    2020年9月   

    　 詳細を見る

    団体区分：その他

  11. The 36th International Conference on Logic Programming (ICLP 2020)   プログラム委員  

    2020年9月   

    　 詳細を見る

    団体区分：その他

▼全件表示

委員歴の先頭へ▲

受賞 19

  1. ICLP2023 ALP 10-Year Test-of-Time Award

    2023年7月   Association for Logic Programming   Answer Set Programming as a Modeling Language for Course Timetabling

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

    　詳細を見る

    受賞区分：国際学会・会議・シンポジウム等の賞 

  2. 組合せ遷移問題に関する国際ソルバー競技会 (CoRe Challenge 2023) Solver Track 全12部門中5部門で優勝

    2023年10月   CoRe Challenge 2023  

    加藤聖人, 小菅脩司, 山田悠也, 高田和紀, 伊藤碧己, 番原睦則

  3. 2023 XCSP3 Competition Main CSP 部門 準優勝

    2023年8月   XCSP3 Competition  

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

    　詳細を見る

    受賞国：カナダ

  4. 2022 XCSP3 Competition Main CSP 部門 準優勝

    2022年8月   XCSP3 Competition  

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

    　詳細を見る

    受賞国：イスラエル国

  5. 国際組合せ遷移競技会 (CoRe Challenge 2022) Single-engine Solvers shortest 部門 第1位

    2022年7月   CoRe Challenge 2022  

    山田悠也, 竹内頼人, 小菅脩司, 加藤聖人, 番原睦則

  6. 2019年度全国大会優秀賞

    2019年11月   人工知能学会  

    　詳細を見る

    受賞区分：国内学会・会議・シンポジウム等の賞  受賞国：日本国

  7. 2019 XCSP3 Competition 準優勝

    2019年10月   XCSP3 Competition  

    　詳細を見る

    受賞国：アメリカ合衆国

  8. 第7回解説論文賞(2018年度)

    2019年8月   日本ソフトウェア科学会   SAT型制約プログラミングシステムと周辺技術

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

    　詳細を見る

    受賞区分：国内学会・会議・シンポジウム等の賞  受賞国：日本国

  9. 情報処理学会論文誌ジャーナル/JIP特選論文

    2018年9月   情報処理学会   SAT技術を用いたペトリネットのデッドロック検出手法の提案

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

    　詳細を見る

    受賞区分：学会誌・学術雑誌による顕彰  受賞国：日本国

  10. 2018 XCSP3 Competition 優勝

    2018年8月   XCSP3 Competition  

    　詳細を見る

    受賞国：フランス共和国

  11. DAシンポジウム2017 アルゴリズムデザインコンテスト 特別賞

    2017年8月   情報処理学会 システムとLSIの設計技術研究会  

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

    　詳細を見る

    受賞国：日本国

  12. DAシンポジウム2016 アルゴリズムデザインコンテスト 優秀賞

    2016年9月   情報処理学会 システムとLSIの設計技術研究会  

    坡山直樹, 川原征大, 迫龍哉, 番原睦則

    　詳細を見る

    受賞国：日本国

  13. 日本ソフトウェア科学会 第20回研究論文賞

    2015年9月   日本ソフトウェア科学会   パッキング配列問題の制約モデリングとSAT符号化

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

    　詳細を見る

    受賞区分：学会誌・学術雑誌による顕彰  受賞国：日本国

  14. DAシンポジウム2015 アルゴリズムデザインコンテスト 最優秀賞

    2015年8月   情報処理学会 システムとLSIの設計技術研究会  

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

    　詳細を見る

    受賞国：日本国

  15. SLDM優秀論文賞

    2015年   情報処理学会 システムとLSIの設計技術研究会   SAT型制約ソルバーを用いたナンバーリンクの解法

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

    　詳細を見る

    受賞区分：国内学会・会議・シンポジウム等の賞  受賞国：日本国

  16. DAシンポジウム2014 アルゴリズムデザインコンテスト 最優秀賞

    2014年8月   情報処理学会 システムとLSIの設計技術研究会  

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

    　詳細を見る

    受賞国：日本国

  17. Seventh Max-SAT Evaluation (Max-SAT 2012) Weighted Partial Max-SAT カテゴリ(Crafted) 準優勝

    2012年6月   Max-SAT Evaluation  

    本條健吾, 番原睦則

    　詳細を見る

    受賞国：イタリア共和国

  18. Fourth International CSP Solver Competition 優勝

    2009年9月   International CSP Solver Competition  

    田村直之. 番原睦則

    　詳細を見る

    受賞国：ポルトガル共和国

  19. Third International CSP Solver Competition 優勝

    2008年9月   International CSP Solver Competition  

    田村直之. 番原睦則

    　詳細を見る

    受賞国：オーストラリア連邦

▼全件表示

受賞の先頭へ▲
 

論文 21

  1. On the Computational Complexity of Generalized Common Shape Puzzles 査読有り

    Mutsunori Banbara, Shin-Ichi Minato, Hirotaka Ono, and Ryuhei Uehara

    Proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2024)   14519 LNCS 巻   頁： 55 - 68   2024年2月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.1007/978-3-031-52113-3_4

    Scopus

  2. Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis 査読有り 国際共著

    Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, and Ryuhei Uehara

    Proceedings of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)   LNCS 14549 巻   頁： 242 - 256   2024年2月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.1007/978-981-97-0566-5_18

  3. SAF: SAT-based Attractor Finder in Asynchronous Automata Networks 査読有り 国際共著

    Proceedings of the 21st International Conference on Computational Methods in Systems Biology (CMSB 2023)   LNCS 14137 巻   頁： 175 - 183   2023年9月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.1007/978-3-031-42697-1_12

  4. Hamiltonian Cycle Reconfiguration with Answer Set Programming 査読有り 国際共著

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

    Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023)   14281 LNAI 巻   頁： 262 - 277   2023年9月

    　詳細を見る

    担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

    The Hamiltonian cycle reconfiguration problem is defined as determining, for a given Hamiltonian cycle problem and two among its feasible solutions, whether one is reachable from another via a sequence of feasible solutions subject to certain transition constraints. We develop an approach to solving the Hamiltonian cycle reconfiguration problem based on Answer Set Programming (ASP). Our approach relies on a high-level ASP encoding and delegates both the grounding and solving tasks to an ASP-based solver. To show the effectiveness of our approach, we conduct experiments on the benchmark set of Flinders Hamiltonian Cycle Project.

    DOI： 10.1007/978-3-031-43619-2_19

    Scopus

    その他リンク： https://link.springer.com/chapter/10.1007/978-3-031-43619-2_19

  5. Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming 査読有り 国際共著

    Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, and Torsten Schaub

    Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023)   14281 LNAI 巻   頁： 278 - 286   2023年9月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

    DOI： 10.1007/978-3-031-43619-2_20

    Scopus

    その他リンク： https://link.springer.com/chapter/10.1007/978-3-031-43619-2_20

  6. SAT-based Method for Finding Attractors in Asynchronous Multi-valued Networks 査読有り 国際共著

    Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara and Naoyuki Tamura

    Proceedings of the 14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023)     2023年2月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

  7. Solving Vehicle Equipment Specification Problems with Answer Set Programming 査読有り 国際共著

    Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, and Torsten Schaub

    Proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023)     頁： 232 - 249   2023年1月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    DOI： 10.1007/978-3-031-24841-2_15

  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, and Philipp Wanko

    Annals of Operations Research   275 巻 ( 1 ) 頁： 3–37   2019年4月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1007/s10479-018-2757-7

  9. Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation 査読有り

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

    Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017), Lecture Notes in Computer Science   10416 巻   頁： 596-614   2017年8月

    　詳細を見る

    記述言語：英語  

    DOI： 10.1007/978-3-319-66158-2_38

  10. Clingcon: The Next Generation 査読有り

    Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, and Torsten Schaub

    Theory and Practice of Logic Programming   17 巻 ( 4 ) 頁： 408-461   2017年7月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1017/S1471068417000138

  11. 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

    Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Lecture Notes in Artificial Intelligence   10377 巻   頁： 265-278   2017年6月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語  

    DOI： 10.1007/978-3-319-61660-5_24

  12. Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings 査読有り

    Takehide Soh, Mutsunori Banbara and Naoyuki Tamura

    International Journal on Artificial Intelligence Tools   26 巻 ( 1 )   2017年2月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1142/S0218213017600053

  13. 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

    Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)     頁： 13-32   2016年8月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語  

  14. \sum_x-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems 査読有り

    Maxime Clement, Tenda Okimoto, Katsumi Inoue, Mutsunori Banbara

    Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)     頁： 63-79   2016年8月

    　詳細を見る

    記述言語：英語  

  15. A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings 査読有り

    Takehide Soh, Mutsunori Banbara, Naoyuki Tamura

    Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015)     頁： 421-428   2015年11月

    　詳細を見る

    記述言語：英語  

    DOI： 10.1109/ICTAI.2015.70

  16. aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming 査読有り

    Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise

    Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015), Lecture Notes in Artificial Intelligence   9345 巻   頁： 112-126   2015年9月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語  

    DOI： 10.1007/978-3-319-23264-5_10

  17. Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem 査読有り

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

    Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), Lecture Notes in Artificial Intelligence   8761 巻   頁： 684-693   2014年9月

    　詳細を見る

    記述言語：英語  

    DOI： 10.1007/978-3-319-11558-0_52

  18. Answer Set Programming as a Modeling Language for Course Timetabling 査読有り

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

    Theory and Practice of Logic Programming   13 巻 ( 4-5 ) 頁： 783-798   2013年7月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1017/S1471068413000495

  19. A SAT-Based Method for Solving the Two-dimensional Strip Packing Problem 査読有り

    Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara and Hidetomo Nabeshima

    Fundamenta Informaticae   102 巻 ( 3-4 ) 頁： 467-487   2010年

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.3233/FI-2010-314

  20. Compiling finite linear CSP into SAT 査読有り

    Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, and Mutsunori Banbara

    CONSTRAINTS   14 巻 ( 2 ) 頁： 254-272   2009年6月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1007/s10601-008-9061-0

  21. A Competitive and Cooperative Approach to Propositional Satisfiability 査読有り

    Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, and Naoyuki Tamura

    Discrete Applied Mathematics   154 巻 ( 16 ) 頁： 2291-2306   2006年11月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）  

    DOI： 10.1016/j.dam.2006.04.015

▼全件表示

論文の先頭へ▲

科研費 15

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

    研究課題/研究課題番号：22K11973  2022年4月 - 2025年3月

    科学研究費助成事業  基盤研究(C)

    田村 直之

    　 詳細を見る

    担当区分：研究分担者  資金種別：競争的資金

    制約充足問題 (以下，CSP)は複数の条件(制約)の組合せからなる問題であり，制約ソルバーは与えられたCSPの解を探索するシステムである．制約プログラミングシステムは，処理系に制約ソルバーを組込むことで，解法プログラムを記述することなく高度な問題解決を可能にする宣言的プログラミングシステムの一種である．
    <BR>
    一方，命題論理の充足可能性問題 (以下，SAT)を解くSATソルバーの性能は2000年以降に飛躍的に向上し，これまでは到底不可能だと思われていた規模の問題を解くことができるようになった．
    <BR>
    本研究では，SAT技術を活用した高性能な制約ソルバーの実現を目指す．

  2. SAT技術に基づく系統的探索と確率的探索の統合的技法の研究開発 国際共著

    研究課題/研究課題番号：21K11828  2021年4月 - 2024年3月

    科学研究費助成事業  基盤研究(C)

    番原 睦則

    　 詳細を見る

    担当区分：研究代表者  資金種別：競争的資金

    配分額：4160000円 （ 直接経費：3200000円 、 間接経費：960000円 ）

    命題論理の充足可能性判定(SAT) 技術を用いて系統的探索と確率的局所探索を統合的かつ効率的に扱うアルゴリズム技法，およびソルバーの研究開発を進める．また，電力網問題・時間割問題等，社会的に重要な応用研究を通じて，SAT 技術の特長を活かした技法の利点・有効性・実用性を明らかにする．

  3. 離散構造処理系に基づく列挙と最適化の統合的技法の研究

    研究課題/研究課題番号：20H00605  2020年4月 - 2025年3月

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

    湊真一

    　 詳細を見る

    担当区分：研究分担者  資金種別：競争的資金

  4. 大規模離散構造の理解と革新的アルゴリズム基盤の創出

    研究課題/研究課題番号：20H05964  2020年4月 - 2025年3月

    科学研究費補助金  学術変革領域研究(A)

    堀山貴史

    　 詳細を見る

    担当区分：研究分担者  資金種別：競争的資金

  5. 先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発 国際共著

    研究課題/研究課題番号：18K11242  2018年4月 - 2021年3月

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

    番原睦則

    　 詳細を見る

    担当区分：研究代表者  資金種別：競争的資金

  6. SATを基盤とした新しい制約プログラミングシステムの研究開発 国際共著

    研究課題/研究課題番号：16H02803  2016年4月 - 2019年3月

    科学研究費補助金  基盤研究(B)

    田村直之

    　 詳細を見る

    担当区分：研究分担者  資金種別：競争的資金

  7. SAT符号化を用いた制約解集合プログラミングに関する研究開発 国際共著

    研究課題/研究課題番号：15K00099  2015年4月 - 2018年3月

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

    　 詳細を見る

    担当区分：研究代表者  資金種別：競争的資金

  8. 命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現 国際共著

    研究課題/研究課題番号：24300007  2012年4月 - 2015年3月

    科学研究費補助金  基盤研究(B)

    田村直之

    　 詳細を見る

    担当区分：研究分担者  資金種別：競争的資金

  9. 様々な論理推論エンジンを用いた組み合わせテストのテストケース自動生成

    研究課題/研究課題番号：22700032  2010年4月 - 2013年3月

    科学研究費補助金  若手研究(B)

    番原睦則

    　 詳細を見る

    担当区分：研究代表者  資金種別：競争的資金

  10. 制約最適化問題のSAT変換による解法とその並列分散処理に関する研究 国際共著

    研究課題/研究課題番号：20240003  2008年4月 - 2012年3月

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

    田村直之

    　 詳細を見る

    担当区分：研究分担者  資金種別：競争的資金

  11. Prolog処理系を用いた複数SATソルバ並列実行システム

    研究課題/研究課題番号：19700025  2007年4月 - 2010年3月

    科学研究費補助金  若手研究(B)

    番原睦則

    　 詳細を見る

    担当区分：研究代表者  資金種別：競争的資金

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

    研究課題/研究課題番号：17500094  2005年4月 - 2008年3月

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

    田村直之

    　 詳細を見る

    担当区分：研究分担者  資金種別：競争的資金

  13. Javaによる次世代Prolog言語処理系及びそのアプリケーションの開発

    研究課題/研究課題番号：15700038  2003年4月 - 2006年3月

    科学研究費補助金  若手研究(B)

    番原睦則

    　 詳細を見る

    担当区分：研究代表者  資金種別：競争的資金

  14. 線形論理の自動演繹システムに関する研究

    研究課題/研究課題番号：14580375  2002年4月 - 2005年3月

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

    田村直之

    　 詳細を見る

    担当区分：研究分担者  資金種別：競争的資金

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

    研究課題/研究課題番号：11680359  1999年4月 - 2001年3月

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

    田村直之

    　 詳細を見る

    担当区分：研究分担者  資金種別：競争的資金

▼全件表示

科研費の先頭へ▲
 

担当経験のある科目 (本学) 10

  1. 知識表現・推論特論2

    2020

  2. 知識表現・推論特論1

    2020

  3. 計算論基礎特論B

    2020

  4. 最適化2

    2020

  5. 最適化1

    2020

  6. 基礎セミナーA

    2020

  7. 計算論基礎特論B

    2019

  8. 最適化2

    2019

  9. 最適化1

    2019

  10. 基礎セミナーA

    2019

▼全件表示

担当経験のある科目 (本学)の先頭へ▲