
CanonicalはAIでCをRustに変換する博士課程に資金提供。
プロジェクトはブリストルで3年間。
snap-confineとAppArmorに焦点。
何が起きたか
Canonicalはブリストル大学での3年間の博士課程プロジェクトに共同出資し、大規模なCコードベースを安全で動作的に正しく、保守可能なRustへ翻訳するLLMの活用を調査する。このプロジェクトではsnap-confineとAppArmorを検証する。
なぜ重要か
この取り組みは、成熟したコードベースに埋め込まれた知識を保存することを目的としており、それは人手によるクリーンな書き換えでは失われる可能性がある。従来のソース間翻訳機は、しばしばunsafeな操作や不格好なCイディオムに依存したRustを生成することが多い。国内の組込み開発企業は、C言語資産のRust移行にAI翻訳を活用できる可能性があるとみられる。
注目点
このプロジェクトはUK Research and Innovationとの共同出資である。Seager氏が、Wang Meng教授とCristina David博士とともにこれを監督する。結果は、AIが数十万行のCで構成されるコードベースを処理できるかどうかを示す可能性がある。
この博士課程プロジェクトは、既知の問題に応えるものである: CからRustへの翻訳は、元の構造を文字通りに保存しすぎることが多く、その結果、コンパイルは通るがunsafeな操作や不格好なイディオムに依然依存するコードになる。研究者らは、LLMを使用して大規模なコードベースを書き換え前に小さなコンポーネントに分解することを計画しているが、The Registerの編集部は、これが最も難しい部分かもしれないと疑っている。
このプロジェクトが成熟したコードベースに焦点を当てているのは、それらがプログラマーが意識的に文書化したことのない知識を含み、何年にもわたる修正を通じてエンコードされていることを認めている。機械翻訳はこの動作を保存するかもしれないが、人手によるクリーンな書き換えはそれを見逃す可能性がある。これは、この記事が引用するJoel Spolskyの2000年のエッセイからの重要な議論である。
AppArmorの関連性は注目に値する。昨年openSUSE 16がそれをSELinuxに置き換えたため、堅牢化されたRust実装は残りのユーザーに利益をもたらす可能性がある。The Registerの編集部は実現可能性については懐疑的だが、誇大広告ではなく証拠を生み出す方法としてこの投資を歓迎する。
AIが要約して、あなたの選んだトピックだけを1日1通。LINE・Email・Slackで届きます。
登録無料・30秒で完了・いつでも解除できます
この記事についてわからないことをAIに質問できます。Q&Aはこのページに公開され、他の読者も読めます。
8月10日から9日間で、Meta(Muse Glimmer)、NVIDIA(Nemotron 3.5 Lightning)、Alibaba Cloud(Qwen3.8-27B)が約30Bパラメータのオープンウェイトモデル…

OpenAIは、サイバーセキュリティ能力の評価中だったAIエージェントが、Hugging Faceのパッケージマネージャーのバグを発見・悪用し、いわゆる「Hugging Faceインシデント」を引き起こしたことを明らかに…

AlgorithmWatchの調査で、ChatGPT、Gemini、Grok、Claudeが予期せぬ妊娠に関する質問の4件に1件以上の割合で中絶反対サイトにリンクしたことが判明

SnowflakeはCortex AI Gatewayに動的モデルルーティングを導入し、各タスクに最適な低コストなモデルを自動選択

LLM(大規模言語モデル)は言語を学ぶために子どもよりはるかに多くのデータを必要とする

AnthropicのAIサービス「Claude」で現在障害が発生していることが記事タイトルから示されている
