Microsoft PowerPoint - NetSci20120809.pptxフロンティア法：BDD/ZDDを用いた 高速なグラフ列挙索引化アルゴリズム 高速なグラフ列挙索引化アルゴリズム 湊 真一 北海道大学 情報科学研究科 / JST ERATO 2012年8月9日 ERATOとは JSTの戦略的創造研究推進事業 さきがけ（牧場型）、CREST（八ヶ岳型）、ERATO（富士山型） ERATOプロジェクトの特徴 新しい科学技術の源流を作るような研究を支援。 新しい科学技術の源流を作るような研究を支援。 昭和56年発足。過去に98プロジェクトを採択。 （科学技術の全分野で年4~5件） （科学技術の全分野で年 件） プロジェクト期間：5年半 研究費総額：10～15億円（テーマによる） メンバ規模：10～15人（人件費に依存） メンバ規模：10 15人（人件費に依存） 研究総括に自由裁量を与え、分野・組織にとらわれずに 機動的なプロジ
