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