5月 11 2024 0 AIがソフトウェアのバグを修正？！自動プログラム修復の可能性 投稿者: ユウ 解説 ねえ智也くん、この論文のタイトル見て興味が湧いたんだけど、「自動プログラム修復」って何？ 自動プログラム修復、略してAPRは、ソフトウェアのバグを人間が直接修正することなく、自動で修正する技術のことだよ。 へー、そ…
5月 04 2024 0 AIがバグ修正？！自動プログラム修復の最前線 投稿者: ユウ 解説 ねえ智也くん、この論文のタイトルがすごく興味深いんだけど、「大規模言語モデルを用いた自動プログラム修復に関する体系的文献レビュー」って、どういう内容なの？ ああ、それは自動プログラム修復、つまりソフトウェアのバグを…
4月 19 2024 0 大規模言語モデルを用いた宣言的形式仕様の修復について 投稿者: ユウ 解説 ねえ智也くん、この論文のタイトル「大規模言語モデルを用いた宣言的形式仕様の修復に関する実証的評価」って何のこと？ ああ、これはプログラムのバグを自動で修正する技術、特にAlloyという言語を使った修正についての研究…