閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	説明
39_all	pdf	931 KB	2,307

論文情報

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

アクセス権	open access
URI	https://hdl.handle.net/2115/48423
タイトル	BDD/ZDDパッケージ講習会
著者	e-Rad_Researcher 10374612 著者名 湊, 真一
言語	日本語
発行日	2011-06
出版者	ERATO湊離散構造処理系プロジェクト
記述	ERATOセミナ2010 : No.39. 2011年3月22-23日
抄録	研究総括の湊が実装して使用している北大版BDD/ZDDパッケージのソースの構成やデータ構造などを解説します。パッケージの詳細に興味のある方（および実際に使いそうな学生さんなど）は、どうぞ聴講してください。第１回は、BDD/ZDDのデータ構造の概要の解説（湊が大学院の講義で用いている資料を再構成）が中心です。第２回は、実際のソースコード（CおよびC++）とドキュメントを見ながら、BDD/ZDDを表す構造体のフォーマットや、内部の関数呼び出しの構成を解説します。また、パッケージのインストールの方法と、簡単な例題のコンパイル等の実演も行います。
会議記述	会議名 ERATOセミナ 回次 2010 開催国 Japan
資源タイプ	会議発表資料
出版タイプ	Not Applicable (or Unknown)
PISSN	2186-1846
関連情報 (isPartOf)	Title 2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.249-280.

ホームへ戻る