アカウント名:
パスワード:
本家のコメントにもありますが、「NASAが見つけられなかったバグを我々(Barr)が見つけた」というのがポイントみたいです。
日本では当時、「電子制御系には欠陥は無かった、だから濡れ衣」というニュアンスで報道されましたが、北米では「豊田章男社長いわく『NASAに頼んで調べてもらったけど見つからなかった(迫真)』」と言う形で、そのあまりの日本的な対応がテレビのバラエティとかで散々ネタにされていたようです。
ちょっとかわいそうに思いました。
あると証明できないものは無いという以外ないのでは。いつも言われますが、「問題がある」ことは問題を指摘すれば証明できますが、「将来発見される可能性のある問題が一つもない」ことを証明するのは不可能です。
Pentiumのバグに懲りたインテルはその分野の研究者を雇い入れたとか
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
あつくて寝られない時はhackしろ! 386BSD(98)はそうやってつくられましたよ? -- あるハッカー
×欠陥はない ○見つからなかった (スコア:4, 興味深い)
本家のコメントにもありますが、「NASAが見つけられなかったバグを我々(Barr)が見つけた」というのがポイントみたいです。
日本では当時、「電子制御系には欠陥は無かった、だから濡れ衣」というニュアンスで報道されましたが、北米では「豊田章男社長いわく『NASAに頼んで調べてもらったけど見つからなかった(迫真)』」と言う形で、そのあまりの日本的な対応がテレビのバラエティとかで散々ネタにされていたようです。
ちょっとかわいそうに思いました。
Re: (スコア:0)
あると証明できないものは無いという以外ないのでは。
いつも言われますが、「問題がある」ことは問題を指摘すれば証明できますが、
「将来発見される可能性のある問題が一つもない」ことを証明するのは不可能です。
Re: (スコア:2)
自動定理証明機をつかえば結構現実的に検証できるのではないか? と愚考します。
まー、そのコストが馬鹿にならないんですけど。
新人。プログラマレベルをポケモンで言うと、コラッタぐらい
Re:×欠陥はない ○見つからなかった (スコア:0)
Pentiumのバグに懲りたインテルはその分野の研究者を雇い入れたとか