東京大学バナー(中) 東大 アラムナイ 寄付のご案内
| ENGLISH | サイトマップ |
東京大学 大学院 情報理工学系研究科
交通アクセス・学内地図
訪問者別ご案内
受験・進学希望の方
在学生の方
留学生の方
(For International Students)
企業・一般の方
修了者の方
高校生の方
高校教員の方
教育と研究
研究科案内
各専攻・教員の紹介
 
コンピュータ科学
  数理情報学
  システム情報学
  電子情報学
  知能機械情報学
  創造情報学
センター
 
ソーシャルICT研究センター
  情報理工学国際センター
  情報理工学教育研究センター
教育プログラム等
 
ソーシャルICTグローバル・クリエイティブリーダー育成プログラム
  グローバル・クリエイティブリーダー 講義
  enPiT
  データサイエンティスト養成講座(領域知識創成教育研究プログラム)
  創造情報学連携講座
  他プログラム
学務関連
 
入学・進学案内 new !
  履修・学籍・諸手続案内
  東京大学学務システム(UTAS)
  学生支援制度
  研究生出願手続き
  科目等履修生案内
受賞
産学連携(R2P/IST等)
情報理工関係イベント
国際交流
(International Cooperation)
工学・情報理工学図書館
公募情報
内部者限定情報
 
ポータルサイト 
  ISTクラウド 
  研究倫理審査・広報 
  科学研究ガイドライン 
  情報倫理ガイドライン
緊急連絡
緊急連絡ページ
関連学部
工学部
理学部
Home > 教育と研究 > 研究科案内 > 専攻と講義科目 > 数理情報学
教育と研究

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

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

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

木村 慧

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

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

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



大学院 情報理工学系研究科 お問い合せ先 東京大学