プロジェクト概要
計算機は，産業プロセスの最適化や解析，マーケティング，バイオインフォマティクスなど，様々な情報処理に活用されています．近年の爆発的に増大している大規模データを処理するためには，計算機ハードウェアの高速化だけでなく，膨大な離散構造データ（計算機が行う論理的な処理を表現したデータ）を数学的に簡約化し効率よく計算する「アルゴリズム技術」の重要性が高まっています．本研究領域では，基本的な離散構造の１つである論理関数を処理するBDD（Binary Decision Diagram:二分決定グラフ）と，さらにその進化形であるZDD (Zero-Suppressed BDD; ゼロサプレス型BDD）の２つの技法を基盤とした離散構造処理系の研究に取り組んでいます． ZDDは、研究総括が独自に考案したBDDの進化形で，疎な組合せの集合を効率よく処理する技法として世界的にも注目されています．これらの技法をさらに発展させ，多様な離散構造を統合的に演算処理する技法を体系化し，システム検証や最適化，データマイニング，知識発見などを含む分野横断的かつ大規模な実問題を高速に処理するための技術基盤を構築していく予定です．
