午前中、タグづけミーティング。そろそろ問題点をまとめないと。午後、BDD や ZDD について調べようと思って The Art of Computer Programs (TAOCP)The Art of Computer Programming Volume 4, Fascicle 1 Bitwise Tricks & Techniques; Binary Decision Dia…