Home > 教育と研究 > 研究科案内 > 専攻と講義科目 > 数理情報学
教育と研究

数理情報学 movie
| 専攻の目的 | Department Objective | 教員と研究室 | Faculty and Labs | 講義 |
| 学位論文(修士) | 学位論文(博士) | 入試案内 | Admissions | お知らせ |
| Technical Reports | 計数工学科数理情報工学コース |

>> 学位論文(修士)へ戻る

q-ホーンシステムの実行可能性を判定する組合せ的アルゴリズム

木村 慧

(指導教員:牧野 和久准教授)
資料PDF(kimura.pdf)
研究概要

整数線形システムの実行可能領域
組合せ最適化や離散数学の分野において基本的な問題である,整数計画問題と深く関係する問題を扱いました.離散変数を扱う整数計画問題に対し,連続変数を導入して,連続変数における最適化問題を解くことにより問題の計算複雑さに関する情報が取り出せることを示しました.
修論の感想

周囲の方々には大変お世話になりました.修士論文そのものが出来上がったことはもちろん,その過程において周囲の方々から良い刺激を受け,おそらくは成長できたことが嬉しいです.
page top