Updated on 2024/03/12

写真a

 
BANBARA Mutsunori
 
Organization
Graduate School of Informatics Department of Computing and Software Systems 1 Professor
Graduate School
Graduate School of Informatics
Undergraduate School
School of Informatics Department of Computer Science
Title
Professor
Contact information
メールアドレス

Degree 1

  1. 博士(工学) ( 2002.9   神戸大学 ) 

Research Interests 5

  1. Knowledge Representation and Reasoning

  2. Answer-Set Programming

  3. Logic Programming

  4. Constraint Programming

  5. SAT

Research Areas 3

  1. Informatics / Intelligent informatics

  2. Informatics / Theory of informatics

  3. Informatics / Software

Current Research Project and SDGs 4

  1. Answer-Set Programming

  2. Logic Programming

  3. Constraint Programming

  4. SAT

Research History 7

  1. Nagoya University   Professor

    2018.10

      More details

    Country:Japan

  2. ポツダム大学   客員研究員

    2013.7 - 2014.7

      More details

    Country:Japan

  3. Kobe University   Associate professor

    2010.7 - 2018.9

      More details

    Country:Japan

  4. Kobe University   Associate professor

    2007.4 - 2010.6

      More details

    Country:Japan

  5. Kobe University   Lecturer

    2003.4 - 2007.3

      More details

    Country:Japan

  6. Nara National College of Technology   Lecturer

    1998.4 - 2003.9

      More details

    Country:Japan

  7. Nara National College of Technology   Assistant

    1996.4 - 1998.3

      More details

    Country:Japan

▼display all

Education 2

  1. Kobe University   Graduate School, Division of Science and Technology

    1994.4 - 1996.3

      More details

    Country: Japan

  2. Kobe University   Faculty of Science

    1989.4 - 1994.3

      More details

    Country: Japan

Professional Memberships 3

  1. 人工知能学会

  2. 情報処理学会

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

Committee Memberships 8

  1. The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)   Program Committee  

    2023.9   

      More details

    Committee type:Academic society

  2. The 38th International Conference on Logic Programming (ICLP 2022)   Program Committee  

    2022.8   

      More details

    Committee type:Other

  3. The 37th International Conference on Logic Programming (ICLP 2021)   Program Committee  

    2021.9   

      More details

    Committee type:Other

  4. The 30th International Joint Conference on Artificial Intelligence (IJCAI 2021)   Senior Program Commitee  

    2021.8   

      More details

    Committee type:Other

  5. The 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020)   Senior Program Commitee  

    2021.1   

      More details

    Committee type:Other

  6. The 13th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2020)   Program Committee  

    2020.9   

      More details

    Committee type:Other

  7. The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)   Program Committee  

    2020.9   

      More details

    Committee type:Other

  8. The 36th International Conference on Logic Programming (ICLP 2020)   Program Committee  

    2020.9   

      More details

    Committee type:Other

▼display all

Awards 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

     More details

    Award type:Award from international society, conference, symposium, etc. 

  2. 1st places of 5 metrics on Solver track at CoRe Challenge 2023

    2023.10   CoRe Challenge 2023  

    Masato Kato, Shuji Kosuge, Yuya Yamada, Kazuki Takada, Aoi Ito, and Mutsunori Banbara

  3. 2nd place on the CSP main track of 2023 XCSP3 Competition

    2023.8   XCSP3 Competition  

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

     More details

    Country:Canada

  4. 2nd place on the CSP main track of 2022 XCSP3 Competition

    2022.8   XCSP3 Competition  

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

     More details

    Country:Israel

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

    2022.7   CoRe Challenge 2022  

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

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

    2019.11   人工知能学会  

     More details

    Award type:Award from Japanese society, conference, symposium, etc.  Country:Japan

  7. 2019 XCSP3 Competition 準優勝

    2019.10   XCSP3 Competition  

     More details

    Country:United States

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

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

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

     More details

    Award type:Award from Japanese society, conference, symposium, etc.  Country:Japan

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

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

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

     More details

    Award type:Honored in official journal of a scientific society, scientific journal  Country:Japan

  10. 2018 XCSP3 Competition 優勝

    2018.8   XCSP3 Competition  

     More details

    Country:France

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

    2017.8   情報処理学会 システムとLSIの設計技術研究会  

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

     More details

    Country:Japan

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

    2016.9   情報処理学会 システムとLSIの設計技術研究会  

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

     More details

    Country:Japan

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

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

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

     More details

    Award type:Honored in official journal of a scientific society, scientific journal  Country:Japan

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

    2015.8   情報処理学会 システムとLSIの設計技術研究会  

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

     More details

    Country:Japan

  15. SLDM優秀論文賞

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

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

     More details

    Award type:Award from Japanese society, conference, symposium, etc.  Country:Japan

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

    2014.8   情報処理学会 システムとLSIの設計技術研究会  

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

     More details

    Country:Japan

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

    2012.6   Max-SAT Evaluation  

    本條健吾, 番原睦則

     More details

    Country:Italy

  18. Fourth International CSP Solver Competition 優勝

    2009.9   International CSP Solver Competition  

    田村直之. 番原睦則

     More details

    Country:Portugal

  19. Third International CSP Solver Competition 優勝

    2008.9   International CSP Solver Competition  

    田村直之. 番原睦則

     More details

    Country:Australia

▼display all

 

Papers 40

  1. Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis Reviewed International coauthorship

    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)   Vol. LNCS 14549   page: 242 - 256   2024.2

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

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

  2. On the Computational Complexity of Generalized Common Shape Puzzles Reviewed International journal

    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)   Vol. 14519 LNCS   page: 55 - 68   2024.2

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (international conference proceedings)  

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

    Scopus

  3. SAF: SAT-based Attractor Finder in Asynchronous Automata Networks Reviewed International coauthorship

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

    Proceedings of the 21st International Conference on Computational Methods in Systems Biology (CMSB 2023)   Vol. LNCS 14137   page: 175 - 183   2023.9

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

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

  4. Hamiltonian Cycle Reconfiguration with Answer Set Programming Reviewed International coauthorship International journal

    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)   Vol. 14281 LNAI   page: 262 - 277   2023.9

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (international conference proceedings)  

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

    Scopus

    Other Link: https://link.springer.com/chapter/10.1007/978-3-031-43619-2_19

  5. Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming Reviewed International coauthorship International journal

    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)   Vol. 14281 LNAI   page: 278 - 286   2023.9

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

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

    Scopus

    Other Link: https://link.springer.com/chapter/10.1007/978-3-031-43619-2_20

  6. Solving Power Distribution Network Problems with Answer Set Programming Reviewed

    Kentaro Yamada, Shin-ichi Minato, Naoyuki Tamura, and Mutsunori Banbara

    Computer Software   Vol. 40 ( 2 ) page: 3 - 18   2023.4

     More details

    Authorship:Last author, Corresponding author   Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: https://doi.org/10.11309/jssst.40.2_3

  7. SAT-based Method for Finding Attractors in Asynchronous Multi-valued Networks Reviewed International coauthorship

    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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  8. Solving Vehicle Equipment Specification Problems with Answer Set Programming Reviewed International coauthorship

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

    Proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023)     page: 232 - 249   2023.1

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

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

  9. Fun-sCOP

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

    XCSP3 Competition 2019 Solver Description     page: 2   2019.10

     More details

    Language:English  

  10. teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming Reviewed

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

    Annals of Operations Research   Vol. 275 ( 1 ) page: 3–37   2019.4

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s10479-018-2757-7

  11. SAT技術を用いたペトリネットのデッドロック検出手法の提案 Reviewed

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

    情報処理学会論文誌   Vol. 59 ( 9 ) page: 1749-1760   2018.9

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  12. ブール基数制約を経由した擬似ブール制約のSAT符号化手法 Reviewed

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

    コンピュータソフトウェア   Vol. 35 ( 3 ) page: 65-78   2018.7

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.11309/jssst.35.3_65

  13. Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation Reviewed

    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   Vol. 10416   page: 596-614   2017.8

     More details

    Language:English  

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

  14. Clingcon: The Next Generation Reviewed

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

    Theory and Practice of Logic Programming   Vol. 17 ( 4 ) page: 408-461   2017.7

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1017/S1471068417000138

  15. catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming Reviewed

    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   Vol. 10377   page: 265-278   2017.6

     More details

    Authorship:Lead author   Language:English  

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

  16. Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings Reviewed

    Takehide Soh, Mutsunori Banbara and Naoyuki Tamura

    International Journal on Artificial Intelligence Tools   Vol. 26 ( 1 )   2017.2

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1142/S0218213017600053

  17. インクリメンタルSAT解法ライブラリとその応用 Reviewed

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

    コンピュータソフトウェア   Vol. 33 ( 4 ) page: 16-29   2016.10

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.11309/jssst.33.4_16

  18. teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming Reviewed

    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)     page: 13-32   2016.8

     More details

    Authorship:Lead author   Language:English  

  19. \sum_x-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems Reviewed

    Maxime Clement, Tenda Okimoto, Katsumi Inoue, Mutsunori Banbara

    Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)     page: 63-79   2016.8

     More details

    Language:English  

  20. A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings Reviewed

    Takehide Soh, Mutsunori Banbara, Naoyuki Tamura

    Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015)     page: 421-428   2015.11

     More details

    Language:English  

    DOI: 10.1109/ICTAI.2015.70

  21. aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming Reviewed

    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   Vol. 9345   page: 112-126   2015.9

     More details

    Authorship:Lead author   Language:English  

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

  22. Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem Reviewed

    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   Vol. 8761   page: 684-693   2014.9

     More details

    Language:English  

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

  23. パッキング配列問題の制約モデリングとSAT符号化 Reviewed

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

    コンピュータソフトウェア   Vol. 31 ( 1 ) page: 116-130   2014.1

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.11309/jssst.31.1_116

  24. Answer Set Programming as a Modeling Language for Course Timetabling Reviewed

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

    Theory and Practice of Logic Programming   Vol. 13 ( 4-5 ) page: 783-798   2013.7

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1017/S1471068413000495

  25. 位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化 Reviewed

    丹生智也, 田村直之, 番原睦則

    コンピュータソフトウェア   Vol. 30 ( 1 ) page: 211-230   2013.1

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.11309/jssst.30.1_211

  26. Scala上の制約プログラミング用ドメイン特化言語Coprisについて Reviewed

    田村直之, 丹生智也, 番原睦則

    コンピュータソフトウェア   Vol. 29 ( 4 ) page: 114-129   2012.10

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.11309/jssst.29.4_114

  27. SAT符号化を用いた釣合い型不完備ブロック計画の構成 Reviewed

    松中春樹, 丹生智也, 番原睦則, 田村直之

    人工知能学会論文誌   Vol. 27 ( 2 ) page: 10-15   2012

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.1527/tjsai.27.10

  28. SAT変換に基づく制約ソルバーとその性能評価 Reviewed

    田村直之, 丹生智也, 番原睦則

    コンピュータソフトウェア   Vol. 27 ( 4 ) page: 183-196   2010.10

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.11309/jssst.27.4_183

  29. A SAT-Based Method for Solving the Two-dimensional Strip Packing Problem Reviewed

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

    Fundamenta Informaticae   Vol. 102 ( 3-4 ) page: 467-487   2010

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.3233/FI-2010-314

  30. Compiling finite linear CSP into SAT Reviewed

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

    CONSTRAINTS   Vol. 14 ( 2 ) page: 254-272   2009.6

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s10601-008-9061-0

  31. PrologからJavaへのトランスレータ処理系とその応用 Reviewed

    番原睦則, 田村直之, 井上克巳

    コンピュータソフトウェア   Vol. 24 ( 3 ) page: 75-86   2007

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.11309/jssst.24.3_75

  32. A Competitive and Cooperative Approach to Propositional Satisfiability Reviewed

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

    Discrete Applied Mathematics   Vol. 154 ( 16 ) page: 2291-2306   2006.11

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.dam.2006.04.015

  33. 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム Reviewed

    田村直之, 番原睦則

    コンピュータソフトウェア   Vol. 22 ( 1 ) page: 98-103   2005.1

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.11309/jssst.22.1_98

  34. LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム Reviewed

    田村直之, 番原睦則

    コンピュータソフトウェア   Vol. 20 ( 5 ) page: 502-508   2003.9

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.11309/jssst.20.502

  35. 時相線形論理型言語のコンパイラ処理系のための抽象機械について Reviewed

    番原睦則, 姜京順, 田村直之

    情報処理学会論文誌:プログラミング   Vol. 42 ( SIG11(PRO12) ) page: 52-66   2001.11

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (scientific journal)  

  36. 線形論理型言語の効率的なリソース管理モデル Reviewed

    姜京順, 番原睦則, 田村直之

    コンピュータ ソフトウェア   Vol. 18 ( 0 ) page: 138-154   2001.2

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.11309/jssst.18.138

  37. 線形論理型言語のコンパイラ処理系のための抽象機械について Reviewed

    番原睦則, 姜京順, 田村直之

    コンピュータ ソフトウェア   Vol. 18 ( 1 ) page: 195-216   2001

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (scientific journal)  

    DOI: 10.11309/jssst.18.195

  38. 直観主義時相線形論理における論理プログラミングについて Reviewed

    田村直之, 平井崇晴, 吉川英男, 姜京順, 番原睦則

    情報処理学会論文誌:プログラミング   Vol. 41 ( SIG4(PRO7) ) page: 11-23   2000.6

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  39. 古典線形論理型プログラミング言語の静的解析の一手法について Reviewed

    姜京順, 番原睦則, 田村直之

    情報処理学会論文誌:プログラミング   Vol. 41 ( SIG4(PRO7) ) page: 42-55   2000.6

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  40. 線形論理型言語のJava言語による処理系の設計と実装 Reviewed

    番原睦則, 姜京順, 田村直之

    情報処理学会論文誌:プログラミング   Vol. 40 ( SIG10(PRO5) ) page: 1-16   1999.12

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (scientific journal)  

▼display all

Presentations 36

  1. heulingo: an ASP-based Implementation of Large Neighborhood Prioritized Search for Combinatorial Optimization

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

    The 26th JSSST Workshop on Programming and Programming Languages</i> (PPL 2024)  2024.3.5  JSSST Special Interest Group on Programming and Programming Languages

     More details

    Event date: 2024.3

    Language:Japanese   Presentation type:Poster presentation  

    Venue:TOKI MESSE   Country:Japan  

  2. Dominating Set Reconfiguration with Answer Set Programming

    Masato Kato, Takehide Soh, Naoyuki Tamura, and Mutsunori Banbara

    The 26th JSSST Workshop on Programming and Programming Languages</i> (PPL 2024)  2024.3.7  JSSST Special Interest Group on Programming and Programming Languages

     More details

    Event date: 2024.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:TOKI MESSE   Country:Japan  

  3. On the Computational Complexity of Generalized Common Shape Puzzles International conference

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

    The 15th Gathering 4 Gardner Conference (2024)  2024.2 

     More details

    Event date: 2024.2

    Language:English   Presentation type:Oral presentation (general)  

    Venue:The Ritz-Carlton, Atlanta, Georgia, USA   Country:United States  

  4. Computing Text Compression Measures with Answer Set Programming

    Dominik Koeppl and Mutsunori Banbara

    LA Symposium 2023 Winter  2024.2.20 

     More details

    Event date: 2024.2

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

  5. SQL 型制約プログラミングシステム CombSQL+ の複数制約ソルバー連携

    小菅脩司, 酒井正彦, 番原睦則

    第125回人工知能基本問題研究会  2023.8.30  人工知能学会

     More details

    Event date: 2023.8

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:岩手県盛岡市マリオス   Country:Japan  

    DOI: 10.11517/jsaifpai.125.0_54

  6. 解集合プログラミングを用いたトークンスライディング型・独立集合遷移問題の解法に関する考察

    髙田和紀, 山田悠也, 番原睦則

    2023年度人工知能学会全国大会(第37回)  2023.6.7  人工知能学会

     More details

    Event date: 2023.6

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:熊本城ホール  

    DOI: 10.11517/pjsai.JSAI2023.0_2I5OS9b02

  7. 解集合プログラミングを用いた支配集合遷移問題の解法に関する考察

    加藤聖人, 宋剛秀, 田村直之, 番原睦則

    2023年度人工知能学会全国大会(第37回)  2023.6.7  人工知能学会

     More details

    Event date: 2023.6

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:熊本城ホール  

    DOI: 10.11517/pjsai.JSAI2023.0_2I5OS9b01

  8. 解集合プログラミングを用いたハミルトン閉路遷移問題の解法

    平手貴大, 番原睦則, 井上克巳, 盧暁南, 鍋島英知, 宋剛秀, 田村直之

    第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)  2023.3.6  日本ソフトウェア科学会 プログラミング論研究会

     More details

    Event date: 2023.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:名古屋大学   Country:Japan  

  9. A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems International conference

    Shin-Ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa and Yutaro Yamaguchi

    The fifth Workshop on Enumeration Problems and Applications (WEPA-2022)  2022.11.23 

     More details

    Event date: 2022.11

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Clermont-Ferrand   Country:France  

  10. 解集合プログラミングを用いたクイーン支配問題の解法に関する一考察

    加藤聖人, 田村直之, 番原睦則

    日本ソフトウェア科学会第39回大会  2022.9.1  日本ソフトウェア科学会

     More details

    Event date: 2022.8 - 2022.9

    Language:Japanese   Presentation type:Oral presentation (general)  

  11. 解集合プログラミングに基づく組合せ遷移ソルバーとその性能評価

    山田悠也, 番原睦則

    日本ソフトウェア科学会第39回大会  2022.8.31  日本ソフトウェア科学会

     More details

    Event date: 2022.8 - 2022.9

    Language:Japanese   Presentation type:Oral presentation (general)  

  12. 解集合プログラミングを用いた独立集合遷移問題の解法に関する考察

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

    2022年度人工知能学会全国大会(第36回)  2022.6.17  人工知能学会

     More details

    Event date: 2022.6

    Language:Japanese   Presentation type:Oral presentation (general)  

  13. Solving Rep-tile by Computers International conference

    Mutsunori Banbara, Kenji Hashimoto, Takashi, Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda

    The 14th Gathering 4 Gardner Conference (2022)  2022.4.7 

     More details

    Event date: 2022.4

    Language:English   Presentation type:Oral presentation (general)  

  14. ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙

    湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎

    第187回アルゴリズム研究発表会  2022.3.14  情報処理学会アルゴリズム研究会

     More details

    Event date: 2022.3

    Language:Japanese   Presentation type:Oral presentation (general)  

  15. レプ・タイルの定式化を用いた各種ソルバの性能比較

    番原 睦則, 橋本 健二, 堀山 貴史, 湊 真一, 中村 駆, 西野 正彬, 酒井 正彦, 上原 隆平, 宇野 裕之, 安田 宜仁

    第16回組合せゲーム・パズル研究集会  2022.3.8 

     More details

    Event date: 2022.3

    Language:Japanese   Presentation type:Oral presentation (general)  

  16. 解集合プログラミングを用いた配電網問題の解法

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

    第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)  2022.3.7  日本ソフトウェア科学会

     More details

    Event date: 2022.3

    Language:Japanese   Presentation type:Oral presentation (general)  

  17. 解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価

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

    情報処理学会第84回全国大会  2022.3.3  情報処理学会

     More details

    Event date: 2022.3

    Language:Japanese   Presentation type:Oral presentation (general)  

  18. チャネリング制約を用いた alldifferent 制約の SAT 符号化

    小菅脩司, 宋剛秀, 田村直之, 番原睦則

    情報処理学会第84回全国大会  2022.3.3  情報処理学会

     More details

    Event date: 2022.3

    Language:Japanese   Presentation type:Oral presentation (general)  

  19. レプ・タイルの定式化を用いた各種ソルバの性能比較

    番原 睦則, 橋本 健二, 堀山 貴史, 湊 真一, 中村 駆, 西野 正彬, 酒井 正彦, 上原 隆平, 宇野 裕之, 安田 宜仁

    人工知能学会研究会資料 人工知能基本問題研究会  2022.1.27  一般社団法人 人工知能学会

     More details

    Event date: 2022.1

    Language:Japanese   Presentation type:Oral presentation (general)  

    DOI: 10.11517/jsaifpai.119.0_02

    CiNii Research

  20. 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察

    山田悠也, 湊真一, 番原睦則

    日本ソフトウェア科学会第38回大会  2021.9.3  日本ソフトウェア科学会

     More details

    Event date: 2021.9

    Language:Japanese   Presentation type:Oral presentation (general)  

  21. 解集合プログラミングを用いたハミルトン閉路問題の解法に関する考察

    平手貴大, 宋剛秀, 田村直之, 番原睦則

    日本ソフトウェア科学会第38回大会  2021.9.2  日本ソフトウェア科学会

     More details

    Event date: 2021.9

    Language:Japanese   Presentation type:Oral presentation (general)  

  22. Towards CEGAR-based Parallel SAT Solving International conference

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

    Pragmatics of SAT (PoS 2021)  2021.7.5 

     More details

    Event date: 2021.7

    Language:English   Presentation type:Oral presentation (general)  

  23. Solving Multi-objective Vehicle Equipment Specification Problem with Answer Set Programming

    TAKEUCHI Raito, TAMURA Naoyuki, BANBARA Mutsunori

    Proceedings of the Annual Conference of JSAI  2021.6.8  The Japanese Society for Artificial Intelligence

     More details

    Event date: 2021.6

    Language:Japanese   Presentation type:Oral presentation (general)  

    <p>Answer Set Programming (ASP) is an approach to declarative problem solving, combining a rich yet simple modeling language with high performance solving capacities. We here develop an ASP-based approach to Multi-Objective Vehicle Equipment Specification Problem (MO-VESP). The resulting system reads a MO-VESP instance of OVM format and converts it into a set of ASP facts. In turn, these facts are combined with a first-order encoding for MO-VESP solving, which can subsequently be solved by the ASP solver asprin. In our experiments, we succeeded in enumerating all Pareto optimal solutions for a small-scale problem.</p>

    DOI: 10.11517/pjsai.jsai2021.0_1h4gs1c03

    CiNii Research

  24. A Study on ASP-based Integration of Systematic and Stochastic Local Search

    KUWAHARA Kazuya, TAMURA Naoyuki, BANBARA Mutsunori

    Proceedings of the Annual Conference of JSAI  2021.6.8  The Japanese Society for Artificial Intelligence

     More details

    Event date: 2021.6

    Language:Japanese   Presentation type:Oral presentation (general)  

    <p>In this paper, we describe an approach to integrating systematic search and stochastic local search based on Answer Set Programming (ASP). We propose a heuristic method suitable for ASP, called Large Neighborhood Prioritized Search (LNPS). In LNPS, an initial solution is gradually improved by destroying and re-searching the solution one after another. The resulting system reads and combines a problem instance of ASP facts and first-order encoding for problem solving, which is subsequently solved by LNPS algorithm implemented using Python interface of ASP solver clingo. We establish the competitiveness of our approach by empirically contrasting clingo and more dedicated implementations, through curriculum-based course timetabling.</p>

    DOI: 10.11517/pjsai.jsai2021.0_2e1os13a01

    CiNii Research

  25. コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法

    湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎

    電子情報通信学会コンピュテーション研究会  2020.12.4  電子情報通信学会

     More details

    Event date: 2020.12

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:オンライン   Country:Japan  

  26. 車両装備仕様問題に対する解集合プログラミングの適用

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

    日本ソフトウェア科学会第37回大会  2020.9.9  日本ソフトウェア科学会

     More details

    Event date: 2020.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:オンライン   Country:Japan  

  27. 解集合プログラミングを用いた配電網問題の解法に関する一考察

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

    日本ソフトウェア科学会第37回大会  2020.9.8  日本ソフトウェア科学会

     More details

    Event date: 2020.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:オンライン   Country:Japan  

  28. 解集合プログラミングによる様相命題論理Kの充足可能性判定

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

    2020年度人工知能学会全国大会(第34回)  2020.6.10  人工知能学会

     More details

    Event date: 2020.6

    Language:Japanese   Presentation type:Oral presentation (general)  

    DOI: 10.11517/pjsai.JSAI2020.0_2N5OS17b05

  29. CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察

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

    人工知能基本問題研究会(第112回)  2020.3.8  人工知能学会

     More details

    Event date: 2020.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

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

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

    第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 

     More details

    Event date: 2020.3

    Language:Japanese   Presentation type:Poster presentation  

    Country:Japan  

  31. 解集合ソルバーを用いた様相命題論理の充足可能性判定

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

    第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 

     More details

    Event date: 2020.3

    Language:Japanese   Presentation type:Poster presentation  

    Country:Japan  

  32. A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition International coauthorship

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

    2019.6.4 

     More details

    Event date: 2019.6

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

    DOI: 10.11517/pjsai.JSAI2019.0_1E2OS3a03

  33. 解集合プログラミングによるカリキュラムベース・コース時間割編成 Invited

    番原睦則

    第29回RAMPシンポジウム 

     More details

    Event date: 2017.10

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    Country:Japan  

  34. SAT から解集合プログラミングへ Invited

    番原睦則

    2017年度人工知能学会全国大会(第31回) オーガナイズドセッション「OS-2 SAT技術の理論,実装,応用」 

     More details

    Event date: 2017.5

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    Country:Japan  

  35. SAT ソルバーの進歩 Invited

    番原睦則

    2017年電子情報通信学会総合大会 依頼シンポジウムセッション「組合せ最適化問題の発見的手法とそのVLSI CADへの応用」 

     More details

    Event date: 2017.3

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    Country:Japan  

  36. University Course Timetabling with Answer Set Programming Invited International conference

    Mutsunori Banbara

    The 3rd Workshop on Hybrid Reasoning for Intelligent Systems 

     More details

    Event date: 2013.11

    Language:English   Presentation type:Oral presentation (invited, special)  

    Country:Germany  

▼display all

Research Project for Joint Research, Competitive Funding, etc. 22

  1. SAT 技術を用いた組合せ遷移問題の解法に関する研究

    Grant number:23FP04  2023.4 - 2024.3

    国立情報学研究所  国立情報学研究所共同研究  自由提案公募型

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  2. 数理最適化手法を取り入れた新しい SAT 解法 International coauthorship

    Grant number:22FP01  2022.4 - 2023.3

    国立情報学研究所  国立情報学研究所共同研究  自由提案公募型

      More details

    Authorship:Principal investigator  Grant type:Competitive

  3. 組合せデザイン問題を解くためのSAT型制約充足ソルバーの研究開発

    Grant number:21FP02  2021.4 - 2022.3

    国立情報学研究所共同研究  自由提案公募型

    盧暁南

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  4. 巨大な制約充足問題を解くためのSAT型CSPソルバーの研究開発

    2020.4 - 2021.3

    国立情報学研究所共同研究 

    鍋島 英知

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  5. SAT技術を用いた非同期なオートマタネットワークにおけるアトラクタの計算 International coauthorship

    2019.8 - 2022.3

    JSPS 二国間交流事業(共同研究) フランスとの共同研究(MEAE-MESRI) SAKURAプログラム 

    宋剛秀

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  6. 複数の制約モデリングとSAT符号化を用いた新しいSAT型並列CSPソルバーの研究開発

    2019.4 - 2020.3

    国立情報学研究所共同研究 

    宋剛秀

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  7. 背景理論付き解集合プログラミングに関する研究開発

    2018.4 - 2019.3

    国立情報学研究所共同研究 

      More details

    Authorship:Principal investigator  Grant type:Competitive

  8. レジリエントAIに関するフィージビルティスタディ

    2018.4 - 2019.3

    国立情報学研究所共同研究 

    沖本天太

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  9. 解集合プログラミングにおける多目的最適化

    2017.4 - 2018.3

    国立情報学研究所共同研究 

      More details

    Authorship:Principal investigator  Grant type:Competitive

  10. 解集合プログラミングによるシステム検証

    2015.4 - 2016.3

    国立情報学研究所共同研究 

      More details

    Authorship:Principal investigator  Grant type:Competitive

  11. クラウド上のソフトウェア最適配置問題の解法

    2015.4 - 2016.3

    国立情報学研究所共同研究 

    田村直之

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  12. SAT技術を用いた教育機関のための高速な時間割システムの実現

    2014.4 - 2015.3

    国立情報学研究所共同研究 

    宋剛秀

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  13. インクリメンタル解法を用いた高性能かつ高機能な制約ASPソルバーに関する研究

    2013.4 - 2014.3

    国立情報学研究所共同研究 

    宋剛秀

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  14. SAT技術を用いた制約解集合プログラミングに関する研究

    2011.4 - 2013.3

    国立情報学研究所共同研究 

      More details

    Authorship:Principal investigator  Grant type:Competitive

  15. 新しいSAT符号化法, 新しいSATソルバー, 及び求解困難な問題への応用に関する研究

    2010.4 - 2011.3

    国立情報学研究所共同研究 

      More details

    Authorship:Principal investigator  Grant type:Competitive

  16. SAT変換技術の拡張による求解困難な制約最適化問題の解法に関する研究

    2009.4 - 2010.3

    国立情報学研究所共同研究 

    田村直之

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  17. 求解困難な制約最適化問題のSAT変換による解決に関する研究

    2008.4 - 2009.3

    国立情報学研究所共同研究 

    田村直之

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  18. 補題再利用による効率的な分散・協調SATシステムの構築に関する研究

    2007.4 - 2008.3

    国立情報学研究所共同研究 

    鍋島英知

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  19. 補題再利用による効率的な分散・協調SATシステムの構築に関する研究

    2006.4 - 2007.3

    国立情報学研究所共同研究 

    鍋島英知

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  20. 分散協調SATアルゴリズムの設計と実現に関する研究

    2005.4 - 2006.3

    国立情報学研究所共同研究 

    井上克巳

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  21. Javaによる分散協調制約解消システム

    2003.4 - 2004.3

    情報処理推進機構(IPA)未踏ソフトウェア創造事業 

      More details

    Authorship:Principal investigator  Grant type:Competitive

  22. Javaによる異種協調制約解消システムの開発

    2002.4 - 2003.3

    情報処理推進機構(IPA)未踏ソフトウェア創造事業 

      More details

    Authorship:Principal investigator  Grant type:Competitive

▼display all

KAKENHI (Grants-in-Aid for Scientific Research) 15

  1. Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems

    Grant number:22K11973  2022.4 - 2025.3

    Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  2. Research and Development on SAT-based Integration of Systematic and Stochastic Search International coauthorship

    Grant number:21K11828  2021.4 - 2024.3

    Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (C)

      More details

    Authorship:Principal investigator  Grant type:Competitive

    Grant amount:\4160000 ( Direct Cost: \3200000 、 Indirect Cost:\960000 )

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

    2020.4 - 2025.3

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

    湊真一

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

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

    Grant number:20H05964  2020.4 - 2025.3

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

    堀山貴史

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

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

    2018.4 - 2021.3

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

      More details

    Authorship:Principal investigator  Grant type:Competitive

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

    2016.4 - 2019.3

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

    田村直之

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

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

    2015.4 - 2018.3

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

      More details

    Authorship:Principal investigator  Grant type:Competitive

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

    2012.4 - 2015.3

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

    田村直之

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

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

    2010.4 - 2013.3

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

      More details

    Authorship:Principal investigator  Grant type:Competitive

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

    2008.4 - 2012.3

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

    田村直之

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

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

    2007.4 - 2010.3

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

      More details

    Authorship:Principal investigator  Grant type:Competitive

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

    2005.4 - 2008.3

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

    田村直之

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

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

    2003.4 - 2006.3

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

      More details

    Authorship:Principal investigator  Grant type:Competitive

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

    2002.4 - 2005.3

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

    田村直之

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

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

    1999.4 - 2001.3

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

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

▼display all

 

Teaching Experience (On-campus) 10

  1. 最適化1

    2020

  2. 基礎セミナーA

    2020

  3. 最適化2

    2020

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

    2020

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

    2020

  6. 計算論基礎特論B

    2020

  7. 計算論基礎特論B

    2019

  8. 最適化2

    2019

  9. 最適化1

    2019

  10. 基礎セミナーA

    2019

▼display all