Kimura Kei 木村慧

… Alternative Names

木村慧キムラケイ

Less

Researcher Number	00758716
Other IDs
Affiliation (Current)	2025: 九州大学, システム情報科学研究院, 准教授
Affiliation (based on the past Project Information) *help	2021 – 2023: 九州大学, システム情報科学研究院, 准教授 2020: 埼玉大学, 理工学研究科, 助教 2015 – 2017: 豊橋技術科学大学, 工学(系)研究科(研究院), 助教
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Foundations of mathematics/Applied mathematics Except Principal Investigator Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords	Principal Investigator アルゴリズム / 制約充足問題 / 計算複雑さ / 普遍代数学 / 遷移問題 / 彩色遷移 / 代数的性質 / 多項式時間アルゴリズム / 整数計画 / 組合せ遷移 / 数理計画法 … More Except Principal Investigator … More オンライン問題 / 主双対法 / アルゴリズム論 / アルゴリズム Less

制約充足問題の遷移問題に対する普遍代数学を用いたアプローチPrincipal Investigator
- Principal Investigator
  
  木村慧
- Project Period (FY)
  2021 – 2025
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Kyushu University
局所構造を利用した高速なアルゴリズムの開発
- Principal Investigator
  
  牧野和久
- Project Period (FY)
  2019 – 2024
- Research Category
  
  Grant-in-Aid for Challenging Research (Exploratory)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Kyoto University
Continuous Optimization Approach to Discrete Decision ProblemsPrincipal Investigator
- Principal Investigator
  
  Kimura Kei
- Project Period (FY)
  2015 – 2016
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Toyohashi University of Technology

All 2023 2022 2021 2018 2017 2016

All Journal Article Presentation

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

1. 牧野和久 (60294162)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

Kimura Kei 木村 慧

木村 慧 キムラ ケイ

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Continuous Optimization Approach to Discrete Decision ProblemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems2023

Author(s)

Journal Title

Data Source

[Journal Article] A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems2023

Author(s)

Journal Title

Data Source

[Journal Article] Algorithms for coloring reconfiguration under recolorability digraphs2022

Author(s)

Journal Title

Data Source

[Journal Article] Neighborhood Persistency of the Linear Optimization Relaxation of Integer Linear Optimization2022

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Neighborhood persistency of the linear optimization relaxation of integer linear optimization2022

Author(s)

Journal Title

Data Source

[Journal Article] Algorithms for coloring reconfiguration under recolorability digraphs2022

Author(s)

Journal Title

Data Source

[Journal Article] Quantaloidal approach to constraint satisfaction2021

Author(s)

Journal Title

Data Source

[Journal Article] Autark assignments of Horn CNFs2018

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] Linear Satisfiability Preserving Assignments2018

Author(s)

Journal Title

Data Source

[Journal Article] Trichotomy for Integer Linear Systems Based on Their Sign Patterns2016

Author(s)

Journal Title

DOI

Data Source

[Presentation] A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems2023

Author(s)

Organizer

Data Source

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

Author(s)

Organizer

Data Source

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

Author(s)

Organizer

Data Source

Kimura Kei 木村慧

木村慧キムラケイ