理論について研究しています。離散最適化問題は有限個の候補の中から最良のものを見出す問題であり、人間が行う意思決定の多くがこの形で定式化できるため、それを解く手法は人工知能の基盤技術といえます。離散最適化問題は原理的には全ての候補を調べれば解くことができますが、組合せ爆発により候補数が膨大になる問題では、現実的な時間ですべての候補を調べることはできません。そのような問題に対し、離散凸解析・グラフ理論などを用いることで、理論保証のある効率的なアルゴリズムを設計します。reserved.ページトップヘスクロール。