受賞 等

電子情報通信学会　総合大会　COMP学生シンポジウム2013，最優秀論文賞
受賞者：木村　慧，共著：牧野　和久（A01班）
受賞題目：「整数線形不等式系の実行可能性問題に対する符号情報に基づく計算複雑さの指標」

船井情報科学振興財団　第12回FFIT研究奨励賞
受賞者：吉田 悠一（A02班）
受賞題目：「制約充足問題に対する定数時間アルゴリズム 」

日本学士院　第九回日本学士院学術奨励賞
受賞者：河原林 健一 (A02班)
受賞題目：「先端的グラフ理論を利用した離散数学、計算機学にわたる横断的研究」

LA/EATCS　学生発表論文賞　2012
受賞者：太田　浩行，共著：河村　彰星（A01班）
受賞題目：「対数空間階層の相対化 」

ACM-SIAM Symposium on Discrete Algorithms Technology(SODA13),
Best Paper Award
受賞者：河原林 健一（A02班）
受賞題目：”A Simple Algorithm for the Graph Minor Decomposition – Logic meets Structural Graph Theory “

日本学術振興会　第九回日本学術振興会賞
受賞者：河原林 健一 (A02班)
受賞題目：「先端的グラフ理論を利用した離散数学、計算機学にわたる横断的研究」

日本薬学会構造活性総相関部会　第40回構造活性相関シンポジウム優秀賞
受賞者：寺師 玄記，共著：渋谷　哲郎（B03班），武田‐志鷹　真由子
受賞題目：「United3D: ２つのコンセンサス法によるタンパク質予測構造評価プログラム」

電子情報通信学会　平成24年情報・システム・ソサイエティフェロー
贈呈者：徳山 豪 (B03班)
貢献内容：「幾何的構造を利用したアルゴリズム理論の開拓とその応用」

公益社団法人日本オペレーションズ・リサーチ学会　第２回研究賞奨励賞
受賞者：小林 佑輔（A01班)
受賞題目：”On Shortest Disjoint Paths in Planar Graphs ” “An Improved Algorithm for the Half-disjoint PathsProblem ” “Breaking O(n1/2)-approximation Algorithms for the Edge-disjoint Paths Problem with Congestion Two “

公益社団法人日本オペレーションズ・リサーチ学会　第２回研究賞奨励賞
受賞者：岡本 吉央（B01班)
受賞題目：”The Geodesic Diameter of Polygonal Domains ” ” A Polynomial-time-delay Polynomial-space Algorithm for Enumeration Problems in Multi-criteria Optimization ” “Hardness Results and an Exact Exponential Algorithm for the Spanning Tree Congestion Problem “

日本オペレーションズ。リサーチ学会「最適化の理論と応用」研究部会　SOTA　最優秀発表賞
受賞者：河瀬　康志，共著：牧野　和久（A01班），韓

人口知能学会　研究会優秀賞（JSAI Incentive Award）2012
受賞者：和佐　州洋，共著：宇野 毅明（B03班），有村　博紀，平田　耕一
受賞題目：「超グラフ中に含まれる非巡回部分超グラフの効率よい列挙」

人工知能学会　研究会優秀賞（JSAI Incentive Award）2012
受賞者：村上 啓介，共著：宇野 毅明（B03班）
受賞題目：「最適化を用いた大規模データのk-匿名化手法」