- 米国の機関DARPAは、メモリエラーによるセキュリティ脆弱性を排除するために、AIを使用してレガシーコードをCおよびC++から高品質のRustに変換することを目指す。
- ‘Translating All C To Rust’ (‘TRACTOR’)という名前のプロジェクトでは、AIシステムが機械学習（ML）と大規模な言語モデル（LLM）を使用して、プログラムコードの翻訳を完全自動で処理。
- プロジェクトの目標は、Cによるメモリ管理エラーに起因する脆弱性を完全に排除すること。
- 現代のプログラミング言語を使用して、これらの種類の脆弱性を回避できることは知られているが、既存のCおよびC++ソフトウェアを書き直すという課題がある。
- AI研究は、Rustへの自動変換を大幅に改善し、プログラムの構造を特に重要なものに焦点を当てるように挑戦されている。
私の考え: DARPAのプロジェクトは、セキュリティ上の重要な課題に取り組む革新的な取り組みであり、AIとプログラミング言語の組み合わせが新たな解決策をもたらす可能性があることが興味深いと感じます。Rustの導入と機械学習の進歩により、今後のソフトウェア開発においてより安全で信頼性の高いコードが実現されることを期待しています。