BDD/ZDDパッケージ講習会

• 資料種別: その他
• タイトル: BDD/ZDDパッケージ講習会
• 著者・編者: 湊, 真一
• 出版事項: ERATO湊離散構造処理系プロジェクト
• 出版年月日等: 2011-06
• 出版年（W3CDTF）: 2011
• ISSN（掲載誌）: PISSN : 2186-1846
• NDC: 007
• 対象利用者: 一般
• イベントの日付、場所: 2010
• 一般注記: 出版タイプ： VoR; ERATOセミナ2010 : No.39. 2011年3月22-23日
• 記録形式（IMT）: application/pdf
• 一次資料へのリンクURL: 39_all.pdf （fulltext）; https://eprints.lib.hokudai.ac.jp/dspace/bitstream/2115/48423/1/39_all.pdf
• オンライン閲覧公開範囲: インターネット公開
• 掲載誌: 2010年度科学技術振興機構ERATO湊離散構造処理系プロジェクト講究録. p.249-280.
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 北海道大学 : 北海道大学学術成果コレクション

• 要約等: 研究総括の湊が実装して使用している北大版BDD/ZDDパッケージのソースの構成やデータ構造などを解説します。パッケージの詳細に興味のある方（および実際に使いそうな学生さんなど）は、どうぞ聴講してください。第１回は、BDD/ZDDのデータ構造の概要の解説（湊が大学院の講義で用いている資料を再構成）が中...