情報処理学会第73回全国大会に来ている。The Art of Algorithms for Massive Data Processing: ERATO湊離散構造処理系プロジェクトシンポジウム(第2回)を聞きにきた。なんで "The Art of ..." なのかと思ったら、いわゆる TAOCP こと Art of Computer Programming, Volume 4, Fascicle 1, The: Bitwise Tricks & Techniques; Binary Decision Diagrams 作者: Donald E. Knuth出版社/メーカー: Addison-Wesley Professional発売日: 2009/03/17メディア: ペーパーバック クリック: 8回この商品を含むブログ (3件) を見るに大々的に BDD (Binary Decision