木村 慧

ACM Transactions on Algorithms, Discrete Optimization, IEICE Transactions, International Journal of Foundations of Computer Science, IPSJ Journal, Japan Journal of Industrial and Applied Mathematics, Journal of the Operations Research Society of Japan, RAIRO - Operations Research, Studia Scientiarum Mathematicarum Hungarica: Combinatorics, Geometry and Topology, Thai Journal of Mathematics, International Congress on Advanced Applied Informatics (AAI), International Conference on Fun with Algorithms (FUN) International Conference on Formal Structures for Computation and Deduction (FSCD), International Conference on Advanced Informatics: Concept Theory and Applications (ICAICTA), Conference on Integer Programming and Combinatorial Optimization (IPCO), International Symposium on Algorithms and Computation (ISAAC), International Symposium on Mathematical Foundations of Computer Science (MFCS), Annual ACM/SIAM Symposium on Discrete Algorithms (SODA), Symposium on Theoretical Aspects of Computer Science (STACS), Annual Conference on Theory and Applications of Models of Computation (TAMC), European Conference on Artificial Intelligence (ECAI), Annual AAAI Conference on Artificial Intelligence (AAAI), International Conference on Autonomous Agents and Multiagent Systems (AAMAS), International Conference on Algorithms and Complexity (CIAC), Computing and Combinatorics Conference (COCOON)

埼玉大学 2020年度 卒業論文 中山 鼓太郎「単位係数二変数制約からなる整数計画問題における近傍永続性」 豊橋技術科学大学 2019年度 修士論文 澁谷 諒祐「ぷよを自由に配置できるぷよぷよの連鎖数判定問題: 色数に制限を課した場合」 田森 琢陽「二変数制約からなる整数計画問題の部分クラスに対する効率的なアルゴリズムの設計に関する研究」 樋口 雄太「Fill-a-Pix の作問に関する諸問題の計算複雑性」 2018年度 修士論文 亀橋 拓也「セグメント情報なしで高さを固定する3Dののぐらむに対する計算複雑性」 卒業論文 星野 凌我「複数マイクを使用する声質サンプリング手法の検討」 2017年度 修士論文 伊藤 慶二朗「整合化手法を用いた美術館パズルの難易度判定」 卒業論文 澁谷 諒祐「ぷよぷよの変種における連鎖数判定問題」 ＊最優秀賞 田森 琢陽「制限された整数線形不等式系の実行可能性判定」 樋口 雄太「Fill-a-Pixの計算複雑性」 2016年度 卒業論文 亀橋 拓也「ののぐらむに対するヒント数最小化問題」 宮城谷 浩平「2-SAT問題の線形計画問題による厳密な定式化」 2015年度 卒業論文 伊藤 慶二朗「制約充足問題を用いた美術館パズルの難易度判定」

第一種衛生管理者 (2018年5月31日取得)