タイトル: Rubyで楽しむBDD,ZDD
スピーカー
倉井 龍太郎 (株式会社はてな)
概要
BDD(Binary Decision Diagram)やその拡張されたデータ構造である、ZDD (Zero-Suppressed BDD)をRubyから扱うライブラリについての紹介をします。BDD、ZDDはそれぞれ、ブール関数と組み合わせ集合の表現に向いたデータ構造で、LSI設計やデータマイニングの世界で利用されています。今回はこれらを使うことでn-Queen問題のような制約充足問題を簡易に記述したり、組み合わせ集合の処理を簡潔に記述できる事例をお見せします。
日程
2009年07月17日(金)
会場
特別会議室(1F)
スピーカープロフィール
株式会社はてなでアプリケーションエンジニアをしています。京都在住。
Presentation Material
(Sorry, currently not available)
