木村慧 Kimura Kei

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

制約充足問題の遷移問題に対する普遍代数学を用いたアプローチ研究代表者
- 研究代表者
  
  木村慧
- 研究期間 (年度)
  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件

木村 慧 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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

[学会発表] 多項式時間可解なHorn ILS及びTVPI ILSにおける遷移問題の拡張に関する研究2022

木村慧 Kimura Kei