ERATO湊離散構造処理系プロジェクトの概要と最近の研究状況について

摘要

計算機が扱う問題の多くは、離散構造の処理を基盤としている．近年，論理や集合のような基本データ構造を効率よく処理する「BDD」「ZDD」と呼ばれるデータ構造とアルゴリズムが様々な分野で活用されている．このような技法をベースとして，種々の離散構造を統合的に演算処理する技法を体系化し，分野横断的かつ大規模な実問題を高速に処理する技術基盤を構築することを目標として，「ERATO湊離散構造処理系プロジェクト」が2009年10月にJSTにより採択された．2010年4月より5年間の計画で，本格的な研究活動が開始されている．本講演では，プロジェクトの概要を紹介するともに、情報ネットワーク技術に関連する最近の研究活動状況について述べる．