「フカシギの数え方」― 組合せ爆発に立ち向かう最先端アルゴリズム技術
湊 真一（北海道大学大学院情報科学研究科 教授／JST ERATO湊離散構造処理系プロジェクト 研究総括）
電力・通信・鉄道網の制御、大規模システムの故障診断、遺伝子解析等、現代社会の様々な局面で「組合せ爆発」を伴う計算困難な問題が現れます。そのような問題に立ち向かうための「離散構造処理系」の技法を中心に、最先端の研究成果をご紹介します。

講演資料：
http://www.nii.ac.jp/userimg/openhous...