マリナー1号

マリナー1号（マリナー1ごう、Mariner 1）は、アメリカ初の惑星探査機である。1962年7月22日に打ち上げられたが打ち上げ293秒後、飛行ソフトウェアの仕様の欠陥が原因で打ち上げに失敗、ロケットは指令破壊され爆発、本機（の残骸）は大西洋に落下したとされている。

しばしば文系の記者などによって「プログラムの間違いによって、失敗」と書かれてしまっているが、それは間違った伝説である。同機のソフトウェア（プログラム）は指示された仕様通り完璧に書かれていた。間違っていたのは仕様書のほうであった。つまりプログラマに渡された仕様書がそもそも間違っていたわけであり、はっきり言えば、プログラマに渡す仕様書を作成した人間の間違いによって起きた事故である。

仕様書に書かなければならないオーバーラインを書き忘れた者がいた。

俗に "missing hyphen" と言われているがこの表現にも誤りがあり、正確に言うと、仕様書に欠けていたのはハイフンではなくあくまでオーバーラインである。

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

脚注

参考文献

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

金星探査機
01
打ち上げに失敗した人工衛星
1962年の宇宙飛行
1962年7月