• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

木村 慧  Kimura Kei

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

    (3件)
  • 研究成果

    (21件)
  • 共同研究者

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

    • 研究代表者
      木村 慧
    • 研究期間 (年度)
      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件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi