Mars Climate Orbiterの喪失

1999年、ヤード・ポンド法とメートル法の単位系混在が原因で、姿勢制御の計算が誤り探査機を失った事故。

概念URI

https://comcomponent.com/knowledge/mars-climate-orbiter-loss/

別名・表記

Mars Climate Orbiter事故

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Adaの強い型付けはMars Climate Orbiterの喪失を防ぎます。メートルとフィートのような単位の異なる型を別の型にして混ぜたらコンパイルエラーにするAdaの発想は、Mars Climate Orbiterのような単位取り違えによる喪失を防ぐという設計思想の動機になっている。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

• Ada言語の魅力 ── 型で設計を語り、数十年動き続けるソフトウェアを支える言語(言及)

一次資料

• https://www.jpl.nasa.gov/news/mars-climate-orbiter-mishap-investigation-board-releases-report

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。