マリナー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]がこの表現にも誤りがあり、正確に言うと、仕様書に欠けていたのはハイフンではなくあくまでオーバーラインである。

構造はレインジャー計画を踏襲していた^[3]。

マリナー1号の構造図
マリナー1号打上げ

脚注

[脚注の使い方]

^ ^a ^b トム・チヴァース & 樋口武志 2021, p. 99.
^ 北村拓也 2020, p. 24.
^ マイケルゴーン & 毛利衛 2006, p. 154.

参考文献

マイケルゴーン; 毛利衛 (2006). NASA. 石田尾美里. トランスワールドジャパン. p. 154. ISBN 9784925112819. https://books.google.co.jp/books?id=nyu9nZSjDckC&pg=PT154#v=onepage&q&f=false
北村拓也 (2020). 知識ゼロからのプログラミング学習術. 秀和システム. p. 24. ISBN 9784798060125. https://books.google.co.jp/books?id=f3zlDwAAQBAJ&pg=PA24#v=onepage&q&f=false
トム・チヴァース; 樋口武志 (2021). AIは人間を憎まない. 飛鳥新社. p. 99. ISBN 9784864107716. https://books.google.co.jp/books?id=gogxEAAAQBAJ&pg=PA99#v=onepage&q&f=false

関連項目

ウィキメディア・コモンズには、マリナー1号に関連するカテゴリがあります。

金星探査
FORTRAN 77の言語仕様#言語仕様と宇宙開発にまつわるエピソード：しばしば本機の失敗と混同して語られるが、実際には異なる、別件、別種の失敗（マーキュリー宇宙船のシミュレーション中に発覚したバグで、そちらは言語仕様が原因）。

金星探査機

フライバイ

1970年代まで	ベネラ 1号 2号 11号 12号マリナー 1号 2号 5号 10号スプートニク 21号ゾンド 1号
1980から1990年代	ベネラ 13号 14号ベガ 1号 2号ガリレオカッシーニ
2000年代以降	メッセンジャー IKAROS しんえんパーカー・ソーラー・プローブベピ・コロンボソーラー・オービター