おねえさんを組み合わせ爆発から救う：完結編おねえさんは星になった - きしだのはてな

2012/10/19 124 users はてな 組み合わせ爆発 おねえさん nowokay 経路

おねえさんを組み合わせ爆発から救うために、経路をZDDとして表したら、すっきりと経路情報が扱えました。http://d.hatena.ne.jp/nowokay/20121018#1350528607 あとは、このZDDを効率よく構築できれば、おねえさんを救えそうです。このZDDの構築には、クヌース先生の開発したSimpathアルゴリズムを使うと非常に効率よく構築できます。 前回生成したZDDを見... 続きを読む

おねえさんを組み合わせ爆発から救う：ZDDがおねえさんを救う - きしだのはてな

2012/10/18 29 users BDD はてな 組み合わせ爆発 経路 おねえさん

おねえさんを組み合わせ爆発から救うために、経路をBDDとして表しました。http://d.hatena.ne.jp/nowokay/20121017#1350435805 ところで、「F」に至る経路で、ある辺を通るとした場合に即「F」となっているものが半分あります。その節点を使うとしたときに、結果が偽になるのであれば、それは節点ごと不要だと言えます。そこで、そのような節点は省略してしまいます。この... 続きを読む

小野和俊のブログ:罪悪感駆動開発(zaiakukan-driven development; ZDD)

2011/12/14 339 users 小野和俊 ヤバイ 概念 ご存知 罪悪感

みなさんは罪悪感駆動開発(zaiakukan-driven development; ZDD)という言葉をご存知だろうか。私はつい先ほどまでこの概念を知らなかった。なぜなら先ほど自分で思いついたばかりだからだ。 仕事をしていく中で、やるべきことが山積みなのについネットサーフィンをしてしまい、「うわ、今日仕事全然進んでない、やばい」という罪悪感から、その後の仕事が妙に捗る、という経験をしたことがある... 続きを読む