マリナー1号
表示
マリナー1号(Mariner 1) | |
---|---|
所属 | アメリカ航空宇宙局(NASA) |
目的 | 金星探査。 |
観測対象 | 金星 |
打上げ機 | アトラス・アジェナ B |
打上げ日時 | 1962年7月22日 |
消滅日時 |
1962年7月22日 打上げより293秒後 |
マリナー1号(マリナー1ごう、Mariner 1)は、アメリカ初の惑星探査機である。1962年7月22日に打上げられたがその293秒後、飛行ソフトウェア仕様欠陥が原因で打上げに失敗、ロケットは指令破壊され爆発[1]、本機(の残骸)は大西洋へ落下したとされている。
しばしば文系記者などによって「プログラムの間違いによって、失敗」と書かれてしまっているが[1]、それは間違った伝説である。同機のソフトウェア(プログラム)は指示された仕様通り完璧に書かれていた。間違っていたのは仕様書のほうであった。つまりプログラマに渡された仕様書がそもそも間違っていたわけであり、はっきり言えば、プログラマに渡す仕様書を作成した人間の間違いによって起きた事故である。
仕様書に書かなければならないオーバーラインを書き忘れた者がいた。
俗に "missing hyphen" と言われている[2]がこの表現にも誤りがあり、正確に言うと、仕様書に欠けていたのはハイフンではなくあくまでオーバーラインである。
脚注
[編集]- ^ a b トム・チヴァース & 樋口武志 2021, p. 99.
- ^ 北村拓也 2020, p. 24.
- ^ マイケルゴーン & 毛利衛 2006, p. 154.
参考文献
[編集]- マイケルゴーン; 毛利衛 (2006). NASA. 石田尾美里. トランスワールドジャパン. p. 154. ISBN 9784925112819
- 北村拓也 (2020). 知識ゼロからのプログラミング学習術. 秀和システム. p. 24. ISBN 9784798060125
- トム・チヴァース; 樋口武志 (2021). AIは人間を憎まない. 飛鳥新社. p. 99. ISBN 9784864107716
関連項目
[編集]- 金星探査
- FORTRAN 77の言語仕様#言語仕様と宇宙開発にまつわるエピソード:しばしば本機の失敗と混同して語られるが、実際には異なる、別件、別種の失敗(マーキュリー宇宙船のシミュレーション中に発覚したバグで、そちらは言語仕様が原因)。