はてな匿名ダイアリー >
バグは人のミスなんだから、理屈的には正しいような気がする
だけど未だかつて人類はこれを達成できていないという観測的事実がある、何故そうなるのかを説明することは可能だろうか
ツイートする
Permalink | トラックバック(4) | 11:47
「Googleだってバグ出しますよ」
一休さん方式： 判りました。ではバグの無い仕様を用意してください。
ダイクストラが、１９５２年から２０年間ＰＧやって思うことがエッセイになってる。 The Humble Programmer https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340.html Humble 謙虚な 後半部 管理可能...
ないことの証明はおそろしく難しい。 悪魔の証明という話をしてやるといい。