Adaという言語 国防総省が「これを使え」と決めた実験の結末

「プログラミング言語は、国が法律で決める」 1990年、アメリカ議会は本当にそれをやりました。 国防総省が450以上の言語の保守に悲鳴を上げ、藁から鋼まで5段階の要求仕様を鍛え、フランスのチームが設計した言語Ada。 軍用規格の番号にエイダ・ラブレスの生年1815を仕込むほど気合いの入った言語が、なぜ命令されたのに使われず、1997年に義務を撤廃されたのか。 そして命令が消えた後、なぜボーイング777やNVIDIAのファームウェアに自分から選ばれ続けるのか。 ホーアの「皇帝の古い服」、アリアン5の空中分解、2024年ホワイトハウスのメモリ安全報告書、AIがコードを書く時代の「厳しい言語」の逆転まで、Adaという50年の実験を5章で追いかけます。 X（旧Twitter）でも配信予定や裏話を投稿しています https://x.com/IT_BOYAKI フォローしていただけると励みになります 【目次】 00:00 オープニング 言語を法律で決めた国 00:41 第1章 450言語の重荷と藁から鋼の仕様書 02:16 第2章 色で呼ばれたコンペとエイダ・ラブレス 04:23 第3章 「これを使え」命令の結末 06:34 第4章 命令が消えた後にAdaが残った場所 08:21 最終章 2024年に戻ってきた「国が言語を指図する」話 #IT_BOYAKI #Ada #プログラミング言語 #国防総省 #エイダラブレス #Rust #メモリ安全 #SPARK #アリアン5 #ボーイング777 #NVIDIA #コンパイラ #型システム #組み込み #ソフトウェア工学 #IT歴史 #エンジニア #プログラミング #ITエンジニア #技術史 音声: VOICEVOX:春日部つむぎ / VOICEVOX:雨晴はう