オレンジが「AIの時代こそ契約プログラミングと形式検証ツールの復権を！＞＜；」って言っても誰も見向きしないであろうから、
プログラミングパラダイム界隈の有名人(？)の誰かが「・・・もしかして、AIの時代こそ、契約プログラミングと形式検証によって計算リソースを削減できるんじゃね？」って気づいてほしい＞＜；