木村慧 Kimura Kei

研究者番号	00758716
その他のID
所属 (現在)	2025年度: 九州大学, システム情報科学研究院, 准教授
所属 (過去の研究課題情報に基づく) *注記	2025年度: 九州大学, システム情報科学研究院, 准教授 2021年度 – 2023年度: 九州大学, システム情報科学研究院, 准教授 2020年度: 埼玉大学, 理工学研究科, 助教 2015年度 – 2017年度: 豊橋技術科学大学, 工学(系)研究科(研究院), 助教
審査区分/研究分野	研究代表者小区分60010:情報学基礎論関連 / 数学基礎・応用数学研究代表者以外合同審査対象区分:小区分60030:統計科学関連、小区分61030:知能情報学関連 / 小区分60030:統計科学関連 / 小区分61030:知能情報学関連 / 中区分60:情報科学、情報工学およびその関連分野
キーワード	研究代表者アルゴリズム / 制約充足問題 / 計算複雑さ / 普遍代数学 / 遷移問題 / 彩色遷移 / 代数的性質 / 多項式時間アルゴリズム / 整数計画 / 組合せ遷移 / 数理計画法 … もっと見る研究代表者以外 … もっと見る配分制約 / マーケットデザイン / マッチング理論 / オンライン問題 / 主双対法 / アルゴリズム論 / アルゴリズム隠す

制約付きマッチング理論の新展開
- 研究代表者
  
  横尾真
- 研究期間 (年度)
  2025 – 2027
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分61030:知能情報学関連
   小区分60030:統計科学関連
   合同審査対象区分:小区分60030:統計科学関連、小区分61030:知能情報学関連
- 研究機関
  九州大学
制約充足問題の遷移問題に対する普遍代数学を用いたアプローチ研究代表者
- 研究代表者
  
  木村慧
- 研究期間 (年度)
  2021 – 2025
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  九州大学
局所構造を利用した高速なアルゴリズムの開発
- 研究代表者
  
  牧野和久
- 研究期間 (年度)
  2019 – 2024
- 研究種目
  
  挑戦的研究(萌芽)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  京都大学
離散構造をもつ判定問題への連続最適化手法の構築研究代表者
- 研究代表者
  
  木村慧
- 研究期間 (年度)
  2015 – 2016
- 研究種目
  
  研究活動スタート支援
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  豊橋技術科学大学

すべて 2023 2022 2021 2018 2017 2016

すべて雑誌論文学会発表

[雑誌論文] A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems2023
- 著者名/発表者名
  Kei Kimura and Kazuhisa Makino
- 雑誌名
  
  Proceedings of the 34th International Symposium on Algorithms and Computation
  
  巻: -
- 査読あり
- データソース
  KAKENHI-PROJECT-21K17700
[雑誌論文] A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems2023
- 著者名/発表者名
  Kei Kimura, Kazuhisa Makino
- 雑誌名
  
  LIPIcs
  
  巻: 283
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19K22841
[雑誌論文] Algorithms for coloring reconfiguration under recolorability digraphs2022
- 著者名/発表者名
  Soichiro Fujii, Yuni Iwamasa, Kei, Kimura, and Akira Suzuki
- 雑誌名
  
  Proceedings of the 33rd International Symposium on Algorithms and Computation
  
  巻: 248
- 査読あり
- データソース
  KAKENHI-PROJECT-21K17700
[雑誌論文] Neighborhood Persistency of the Linear Optimization Relaxation of Integer Linear Optimization2022
- 著者名/発表者名
  Kei Kimura, Kotaro Nakayama
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 13526 ページ: 312-323
- DOI
  10.1007/978-3-031-18530-4_23
- ISBN
  9783031185298, 9783031185304
- 査読あり
- データソース
  KAKENHI-PROJECT-19K22841, KAKENHI-PROJECT-21K17700
[雑誌論文] Neighborhood persistency of the linear optimization relaxation of integer linear optimization2022
- 著者名/発表者名
  Kei Kimura, Kotaro Nakayama
- 雑誌名
  
  arXiv
  
  巻: 2203.04557 ページ: 1-17
- データソース
  KAKENHI-PROJECT-21K17700
[雑誌論文] Algorithms for coloring reconfiguration under recolorability digraphs2022
- 著者名/発表者名
  Soichiro Fujii, Yuni Iwamasa, Kei Kimura, Akira Suzuki
- 雑誌名
  
  Leibniz International Proceedings in Informatics
  
  巻: 248
- 査読あり
- データソース
  KAKENHI-PROJECT-19K22841
[雑誌論文] Quantaloidal approach to constraint satisfaction2021
- 著者名/発表者名
  Soichiro Fujii, Yuni Iwamasa, Kei Kimura
- 雑誌名
  
  arXiv
  
  巻: 2107.01778 ページ: 1-17
- データソース
  KAKENHI-PROJECT-21K17700
[雑誌論文] Autark assignments of Horn CNFs2018
- 著者名/発表者名
  Kei Kimura and Kazuhisa Makino
- 雑誌名
  
  Japan Journal of Industrial and Applied Mathematics
  
  巻: 35 号: 1 ページ: 297-309
- DOI
  10.1007/s13160-017-0284-6
- NAID
  210000163987
- 査読あり
- データソース
  KAKENHI-PROJECT-15H06286
[雑誌論文] Linear Satisfiability Preserving Assignments2018
- 著者名/発表者名
  Kei Kimura and Kazuhisa Makino
- 雑誌名
  
  Journal of Artificial Intelligence Research
  
  巻: 61 ページ: 291-321
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-15H06286
[雑誌論文] Trichotomy for Integer Linear Systems Based on Their Sign Patterns2016
- 著者名/発表者名
  Kei Kimura and Kazuhisa Makino
- 雑誌名
  
  Discrete Applied Mathematics
  
  巻: VOL.200 ページ: 67-78
- DOI
  10.1016/j.dam.2015.07.004
- 査読あり
- データソース
  KAKENHI-PROJECT-15H06286, KAKENHI-PLANNED-24106002
[学会発表] A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems2023
- 著者名/発表者名
  Kei Kimura
- 学会等名
  The 34th International Symposium on Algorithms and Computation
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K17700
[学会発表] マルチエージェント経路探索アルゴリズムの改良のための一検討2022
- 著者名/発表者名
  柴田航志, 木村慧, 東藤大樹, 横尾真
- 学会等名
  SMASH22 Winter Symposium
- データソース
  KAKENHI-PROJECT-19K22841
[学会発表] マルチエージェント経路探索のための厳密アルゴリズムの改良2022
- 著者名/発表者名
  木村慧
- 学会等名
  2022年度人工知能学会全国大会
- データソース
  KAKENHI-PROJECT-19K22841
[学会発表] 多項式時間可解なHorn ILS及びTVPI ILSにおける遷移問題の拡張に関する研究2022
- 著者名/発表者名
  重信賢直, 神山;直之,木村慧
- 学会等名
  「組合せ遷移の展開に向けた計算機科学・工学・数学によるアプローチの融合」, 組合せ遷移の学生シンポジウム
- データソース
  KAKENHI-PROJECT-19K22841
[学会発表] Neighborhood Persistency of the Linear Optimization Relaxation of Integer Linear Optimization2022
- 著者名/発表者名
  Kei Kimura
- 学会等名
  The 7th International Symposium on Combinatorial Optimization
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K17700
[学会発表] 整数最適化の線形緩和における近傍永続性2022
- 著者名/発表者名
  木村慧
- 学会等名
  日本本応用数理学会 2022年度年会
- データソース
  KAKENHI-PROJECT-19K22841
[学会発表] 遷移可能性制約をもつ彩色遷移問題2022
- 著者名/発表者名
  木村慧
- 学会等名
  学術変革(B)「組合せ遷移」セミナー・勉強会
- 招待講演
- データソース
  KAKENHI-PROJECT-19K22841
[学会発表] Quantaloidal approach to constraint satisfaction2021
- 著者名/発表者名
  Soichiro Fujii, Yuni Iwamasa, Kei Kimura
- 学会等名
  The 4th International Conference on Applied Category Theory
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K22841
[学会発表] The Fewest Clues Problem of Picross 3D2018
- 著者名/発表者名
  Kei Kimura, Takuya Kamehashi, and Toshihiro Fujito
- 学会等名
  The 9th International Conference on Fun with Algorithms
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H06286
[学会発表] Min-sum-max matroid partitioning problem2017
- 著者名/発表者名
  Yasushi Kawase, Kei Kimura, Kazuhisa Makino, and Hanna Sumita
- 学会等名
  The 10th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H06286
[学会発表] Optimal Matroid Partitioning Problems2017
- 著者名/発表者名
  Yasushi Kawase, Kei Kimura, Kazuhisa Makino, and Hanna Sumita
- 学会等名
  The 28th International Symposium on Algorithms and Computation
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H06286

1. 牧野和久 (60294162)

共同の研究課題数: 1件

共同の研究成果数: 1件
2. 横尾真 (20380678)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 越村三幸 (30274492)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 孫兆鴻 (40980991)

共同の研究課題数: 1件

共同の研究成果数: 0件

木村 慧 Kimura Kei

研究課題

研究成果

共同研究者

制約付きマッチング理論の新展開

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

制約充足問題の遷移問題に対する普遍代数学を用いたアプローチ研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

局所構造を利用した高速なアルゴリズムの開発

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

離散構造をもつ判定問題への連続最適化手法の構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Algorithms for coloring reconfiguration under recolorability digraphs2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] Neighborhood Persistency of the Linear Optimization Relaxation of Integer Linear Optimization2022

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Neighborhood persistency of the linear optimization relaxation of integer linear optimization2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] Algorithms for coloring reconfiguration under recolorability digraphs2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] Quantaloidal approach to constraint satisfaction2021

著者名/発表者名

雑誌名

データソース

[雑誌論文] Autark assignments of Horn CNFs2018

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] Linear Satisfiability Preserving Assignments2018

著者名/発表者名

雑誌名

データソース

[雑誌論文] Trichotomy for Integer Linear Systems Based on Their Sign Patterns2016

著者名/発表者名

雑誌名

DOI

データソース

[学会発表] A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems2023

著者名/発表者名

学会等名

データソース

[学会発表] マルチエージェント経路探索アルゴリズムの改良のための一検討2022

著者名/発表者名

学会等名

木村慧 Kimura Kei