|
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パッケージのソースの構成やデータ構造などを解説します。パッケージの詳細に興味のある方（および実際に使いそうな学生さんなど）は、どうぞ聴講してください。第１回は、BDD/ZDDのデータ構造の概要の解説（湊が大学院の講義で用いている資料を再構成）が中心です。第２回は、実際のソースコード（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年度
|
|
