番原 睦則
バンバラ ムツノリ (Mutsunori Banbara)
更新日: 06/20
基本情報
- 所属
- 名古屋大学 大学院情報学研究科 情報システム学専攻 計算論 教授
- 学位
-
博士(工学)(神戸大学)
- 連絡先
- banbara
i.nagoya-u.ac.jp - J-GLOBAL ID
- 201101004465291690
- Researcher ID
- AAJ-7265-2020
- researchmap会員ID
- B000000396
- 外部リンク
研究キーワード
6所属学協会
3主要な受賞
24共同研究・競争的資金等の研究課題
18-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2025年4月 - 2030年3月
-
科学研究費助成事業 基盤研究(A) 2024年4月 - 2029年3月
-
科学研究費補助金 基盤研究(B)（一般） 2025年4月 - 2028年3月
-
科学研究費助成事業 基盤研究(C) 2022年4月 - 2025年3月
-
科学研究費補助金 学術変革領域研究(A) 2020年4月 - 2025年3月
-
科学研究費補助金 基盤研究(A) 2020年4月 - 2025年3月
-
科学研究費助成事業 基盤研究(C) 2021年4月 - 2024年3月
-
科学研究費補助金 基盤研究(C) 2018年4月 - 2021年3月
-
科学研究費補助金 基盤研究(B) 2016年4月 - 2019年3月
-
科学研究費補助金 基盤研究(C) 2015年4月 - 2018年3月
-
科学研究費補助金 基盤研究(B) 2012年4月 - 2015年3月
-
科学研究費補助金 若手研究(B) 2010年4月 - 2013年3月
-
科学研究費補助金 基盤研究(A) 2008年4月 - 2012年3月
-
科学研究費補助金 若手研究(B) 2007年4月 - 2010年3月
-
科学研究費補助金 基盤研究(C) 2005年4月 - 2008年3月
-
科学研究費補助金 若手研究(B) 2003年4月 - 2006年3月
-
科学研究費補助金 基盤研究(C) 2002年4月 - 2005年3月
-
科学研究費補助金 基盤研究(C) 1999年4月 - 2001年3月
委員歴
17-
2024年4月 - 2026年3月
-
2024年10月 - 2024年10月
論文
35-
Proceedings of the 28th European Conference on Artificial Intelligence (ECAI-2025) FAIA413 1575-1582 2025年10月 査読有り責任著者
-
Proceedings 41st International Conference on Logic Programming (ICLP 2025) Electronic Proceedings in Theoretical Computer Science 439 334-348 2025年9月 査読有り
-
Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) 341 24:1-24:10 2025年8月7日 査読有り
-
Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025) Main Track 2601-2609 2025年8月 査読有り
-
Algorithmic Foundations for Social Advancement: Recent Progress on Theory and Practice 187-207 2025年3月 筆頭著者
-
DISCRETE APPLIED MATHEMATICS 360 467-486 2025年1月15日 査読有り
-
THEORY AND PRACTICE OF LOGIC PROGRAMMING 24(4) 755-771 2025年1月15日 査読有り最終著者責任著者
-
Proceedings of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024) LNCS 14549 242-256 2024年2月 査読有り
-
Proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2024) 14519 LNCS 55-68 2024年2月 査読有り筆頭著者
-
Logic Programming and Nonmonotonic Reasoning - 17th International Conference(LPNMR) 57-70 2024年
-
Proceedings of the 21st International Conference on Computational Methods in Systems Biology (CMSB 2023) LNCS 14137 175-183 2023年9月9日 査読有り
-
Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023) 14281 LNAI 262-277 2023年9月 査読有り責任著者
-
Proceedings of the 14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023) 2023年2月 査読有り
-
Proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) 232-249 2023年1月8日 査読有り
-
Annals of Operations Research 275(1) 3–37 2019年4月 査読有り筆頭著者
-
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月 査読有り
-
Theory and Practice of Logic Programming 17(4) 408-461 2017年7月 査読有り筆頭著者