アカウント名:
パスワード:
有人宇宙飛行はできませんね。こんな簡単なバグをつぶせないようでは。いっそのこと、プログラムは公開して、バグ発見者には宇宙飛行ご招待すれば。私は、辞退します。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
「科学者は100%安全だと保証できないものは動かしてはならない」、科学者「えっ」、プログラマ「えっ」
あと百年は (スコア:-1, 荒らし)
有人宇宙飛行はできませんね。
こんな簡単なバグをつぶせないようでは。
いっそのこと、プログラムは公開して、バグ発見者には宇宙飛行ご招待すれば。
私は、辞退します。
Re: (スコア:3, すばらしい洞察)
＞こんな簡単なバグをつぶせないようでは。
その発想は間違っている
試験出来ないバグは簡単なバグなどではなく，潰すのが非常に難しいバグだ
組込系では実地にテストするのが難しい異常対応処理のコードにバグがあって作った意味がなかった－という話は良くあるものだ
有人宇宙飛行のような高信頼性が要求されるシステムでは，試験を念入りにおこなった上で，バグは完全に無くせないことを前提にさらに独立して実装した別系統の制御システムも加える
たしかスペースシャトルの飛行制御システムは複数のコンピュータの多数決＋別機種のコンピュータ・別実装のバックアップ系という構成になっていたはず
バグや故障の存在を前提とした信頼性保証を目指すという発想が出来なければ有人宇宙飛行は出来ない
それが米国人と日本人の違い
（はやぶさはもとより一発勝負だし，失敗したって人が死ぬわけじゃないから，そこまで考えてないし考える必要もない）
Re:あと百年は (スコア:2)
バグであることは間違いないですが、はやぶさのプロジェクト使命と、
送信できるプログラムの長さ（通信速度）、メモリ量、CPUなどを考えると、
アポロのような３つのCPUによる、多数決処理、なんてことはできない環境だとおもいます。
>それが米国人と日本人の違い
勿論有人飛行なら、「日本人」でもこのようなレベルでの適用はしないと思いますよ。