*Knuth本 Vol. 4 Pre-Fascicle 1B [#z3e822f6]

Knuth: The Art of Computer Programming~
(この本を書きたいためにTexが開発されたという有名な本)~
の最新巻(Section 7.1.4)は、BDDがテーマになっています。~
現在、校正用のドラフトを一般公開中で、来春刊行予定だそうです。~


この中で、湊が以前に提案したZBDDが、多数の練習問題と共に、合計30ページ以上に渡って紹介されています。~
(Knuth先生から湊あてに、原稿内容のチェックを依頼するメールが届いています。)~
Knuth本で、研究成果がこのように大々的に取り上げられるのは日本人では初めてのことです。~
本研究室の研究テーマと重なることも多いので、ぜひ読んでみてください。

-[[ドラフト原稿(9月15日版)はこちら:http://www-alg.ist.hokudai.ac.jp/local/index.php?plugin=attach&pcmd=open&file=fasc1b-0915.pdf&refer=KnuthPf1b]]

-Knuth先生のホームページ: http://www-cs-faculty.stanford.edu/~uno/news.html ~
(ドラフト最新版は随時更新中で、11月上旬まで公開されているそうです。)


Front page   Edit Diff Backup Upload Copy Rename Reload   New List of pages Search Recent changes   Help   RSS of recent changes