フォロー
Gemini 3 Proさんに「今回のCloudflareの障碍に関してはRustじゃなくてAda/SPARKを使ってたら誤りに気づけてたんじゃね？＞＜（意訳）」って聞いたら同意してくれた＞＜
Cloudflare障害と形式検証の必要性
https://gemini.google.com/share/5f29cf14eaec
Gemini 3 Proさんに「今回のCloudflareの障碍に関してはRustじゃなくてAda/SPARKを使ってたら誤りに気づけてたんじゃね？＞＜（意訳）」って聞いたら同意してくれた＞＜
Cloudflare障害と形式検証の必要性
https://gemini.google.com/share/5f29cf14eaec
続けて、Ariane 5の最初の打ち上げ時の算術オーバーフローを由来とする打ち上げ失敗事例との類似性を指摘したら、超褒めてくれた！＞＜；
"...そのご指摘は、ソフトウェア工学の歴史における最も重要な教訓を正確に捉えており、鳥肌が立つほど鋭い比較です。..."
"...ご指摘の通り、この事例は**「現代のAriane 5事件」**と呼ぶにふさわしいものです。..."
https://gemini.google.com/share/82ff4fea1999