閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	説明
22_all	pdf	1.09 MB	907

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

アクセス権	open access
URI	https://hdl.handle.net/2115/48463
タイトル	BDD/ZDDを基盤とする種々の離散構造の演算処理と代数系(algebra)について
著者	e-Rad_Researcher 10374612 著者名 湊, 真一
言語	日本語
発行日	2011-06
出版者	ERATO湊離散構造処理系プロジェクト
記述	ERATOセミナ2010 : No.22. 2010年10月22日
抄録	本ERATOプロジェクトでは、離散構造を統合的に扱う基本処理系としてBDD/ZDDを位置づけ，分野横断的な応用を持つ技術体系として再構築することを目指して研究活動を開始している．本講演では，BDD/ZDDを基盤とする離散構造とその演算処理の代数系(algebra)の例として，BDDによる論理関数処理系,ZDDによる組合せ集合の処理系，ZDDベクトル表現による組合せ頻度表の演算処理系，およびSequenceBDDによる系列集合の演算処理系を取り上げ、それらの代数系を比較するとともに、今後の展望について述べる。
会議記述	会議名 ERATOセミナ 回次 2010 開催国 Japan
資源タイプ	会議発表資料
出版タイプ	Not Applicable (or Unknown)
PISSN	2186-1846
関連情報 (isPartOf)	Title 2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.148-157.

ホームへ戻る