研究者
J-GLOBAL ID：201101004465291690   更新日: 2024年07月29日

番原 睦則

バンバラ ムツノリ | Banbara Mutsunori
所属機関・部署：
名古屋大学 大学院情報学研究科 情報システム学専攻 計算論

名古屋大学 大学院情報学研究科 情報システム学専攻 計算論 について


職名： 教授
研究分野 (3件)： 知能情報学 ,  ソフトウェア ,  情報学基礎論
研究キーワード (5件)： 知識表現及び推論 ,  解集合プログラミング ,  論理プログラミング ,  制約プログラミング ,  SAT
競争的資金等の研究課題 (38件)：
  • 2024 - 2029 理論的に計算不能・計算困難なクラスの可解領域の研究
  • 2022 - 2025 制約充足問題に対する新しいSAT解法技術の研究開発
  • 2020 - 2025 大規模離散構造の理解と革新的アルゴリズム基盤の創出
  • 2020 - 2025 離散構造処理系に基づく列挙と最適化の統合的技法の研究
  • 2023 - 2024 SAT 技術を用いた組合せ遷移問題の解法に関する研究
全件表示
論文 (36件)：
  • Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara. Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. Proceedings of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024). 2024. LNCS 14549. 242-256
  • Mutsunori Banbara, Shin-Ichi Minato, Hirotaka Ono, Ryuhei Uehara. On the Computational Complexity of Generalized Common Shape Puzzles. Proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2024). 2024. 14519 LNCS. 55-68
  • SAF: SAT-based Attractor Finder in Asynchronous Automata Networks. Proceedings of the 21st International Conference on Computational Methods in Systems Biology (CMSB 2023). 2023. LNCS 14137. 175-183
  • 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.
  • Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub. Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023). 2023. 14281 LNAI. 278-286
もっと見る
MISC (1件)：
  • 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.
講演・口頭発表等 (36件)：
  • 解集合プログラミングを用いた支配集合遷移
    (第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024)
  • heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装
    (第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024)
  • On the Computational Complexity of Generalized Common Shape Puzzles
    (The 15th Gathering 4 Gardner Conference (2024) 2024)
  • Answer Set Programming を用いた圧縮指標の計算
    (2023年度冬のLAシンポジウム 2024)
  • SQL 型制約プログラミングシステム CombSQL+ の複数制約ソルバー連携
    (第125回人工知能基本問題研究会 2023)
もっと見る
学歴 (2件)：
  • 1994 - 1996 神戸大学 自然科学研究科 数学専攻
  • 1989 - 1994 神戸大学 理学部 数学科
学位 (1件)：
  • 博士(工学) (神戸大学)
経歴 (9件)：
  • 2018/10/01 - 現在 名古屋大学 大学院情報学研究科情報システム学専攻計算論講座 教授
  • 2010/07/01 - 2018/09/30 神戸大学 情報基盤センター学術情報処理研究部門 准教授
  • 2013/07 - 2014/07 ポツダム大学 客員研究員
  • 2007/04/01 - 2010/06/30 神戸大学 学術情報基盤センター学術情報処理研究部門 准教授
  • 2007/04/01 - 2010/06/30 神戸大学 学術情報基盤センター学術情報処理研究部門 准教授
全件表示
受賞 (22件)：
  • 2023/10 - CoRe Challenge 2023 組合せ遷移問題に関する国際ソルバー競技会 (CoRe Challenge 2023) Solver Track 全12部門中5部門で優勝
  • 2023/08 - XCSP3 Competition 2023 XCSP3 Competition Main CSP 部門 準優勝
  • 2023/07 - Association for Logic Programming ICLP2023 ALP 10-Year Test-of-Time Award Answer Set Programming as a Modeling Language for Course Timetabling
  • 2022/08 - XCSP3 Competition 2022 XCSP3 Competition Main CSP 部門 準優勝
  • 2022/08 - XCSP3 Competition 2022 XCSP3 Competition 準優勝
全件表示
所属学会 (3件)：
人工知能学会 ,  情報処理学会 ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM