Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Information Science and Technology / Faculty of Information Science and Technology >
科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録 >
2010年度 >
BDD/ZDDを基盤とする種々の離散構造の演算処理と代数系(algebra)について
Title: | BDD/ZDDを基盤とする種々の離散構造の演算処理と代数系(algebra)について |
Authors: | 湊, 真一 Browse this author →KAKEN DB |
Issue Date: | Jun-2011 |
Publisher: | ERATO湊離散構造処理系プロジェクト |
Citation: | 2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.148-157. |
Abstract: | 本ERATOプロジェクトでは、離散構造を統合的に扱う基本処理系としてBDD/ZDDを位置づけ,分野横断的な応用を持つ技術体系として再構築することを目指して研究活動を開始している.本講演では,BDD/ZDDを基盤とする離散構造とその演算処理の代数系(algebra)の例として,BDDによる論理関数処理系,ZDDによる組合せ集合の処理系,ZDDベクトル表現による組合せ頻度表の演算処理系,およびSequenceBDDによる系列集合の演算処理系を取り上げ、それらの代数系を比較するとともに、今後の展望について述べる。 |
Description: | ERATOセミナ2010 : No.22. 2010年10月22日 |
Conference Name: | ERATOセミナ |
Conference Sequence: | 2010 |
Type: | conference presentation |
URI: | http://hdl.handle.net/2115/48463 |
Appears in Collections: | 科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録 > 2010年度
|
|