HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >
情報科学研究科  >
科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録 >
2010年度 >

BDD/ZDDを基盤とする種々の離散構造の演算処理と代数系(algebra)について

フルテキスト
22_all.pdf1.12 MBPDF見る/開く
この文献へのリンクには次のURLを使用してください:http://hdl.handle.net/2115/48463

タイトル: BDD/ZDDを基盤とする種々の離散構造の演算処理と代数系(algebra)について
著者: 湊, 真一 著作を一覧する
発行日: 2011年 6月
出版者: ERATO湊離散構造処理系プロジェクト
引用: 2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.148-157.
抄録: 本ERATOプロジェクトでは、離散構造を統合的に扱う基本処理系としてBDD/ZDDを位置づけ,分野横断的な応用を持つ技術体系として再構築することを目指して研究活動を開始している.本講演では,BDD/ZDDを基盤とする離散構造とその演算処理の代数系(algebra)の例として,BDDによる論理関数処理系,ZDDによる組合せ集合の処理系,ZDDベクトル表現による組合せ頻度表の演算処理系,およびSequenceBDDによる系列集合の演算処理系を取り上げ、それらの代数系を比較するとともに、今後の展望について述べる。
記述: ERATOセミナ2010 : No.22. 2010年10月22日
資料タイプ: conference presentation
URI: http://hdl.handle.net/2115/48463
出現コレクション:2010年度

 

本サイトに関するご意見・お問い合わせは repo at lib.hokudai.ac.jp へお願いします。 - 北海道大学