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パッケージ講習会
Title: | BDD/ZDDパッケージ講習会 |
Authors: | 湊, 真一 Browse this author →KAKEN DB |
Issue Date: | Jun-2011 |
Publisher: | ERATO湊離散構造処理系プロジェクト |
Citation: | 2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.249-280. |
Abstract: | 研究総括の湊が実装して使用している北大版BDD/ZDDパッケージのソースの構成やデータ構造などを解説します。パッケージの詳細に興味のある方(および実際に使いそうな学生さんなど)は、どうぞ聴講してください。第1回は、BDD/ZDDのデータ構造の概要の解説(湊が大学院の講義で用いている資料を再構成)が中心です。第2回は、実際のソースコード(CおよびC++)とドキュメントを見ながら、BDD/ZDDを表す構造体のフォーマットや、内部の関数呼び出しの構成を解説します。また、パッケージのインストールの方法と、簡単な例題のコンパイル等の実演も行います。 |
Description: | ERATOセミナ2010 : No.39. 2011年3月22-23日 |
Conference Name: | ERATOセミナ |
Conference Sequence: | 2010 |
Type: | conference presentation |
URI: | http://hdl.handle.net/2115/48423 |
Appears in Collections: | 科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録 > 2010年度
|
|