タグ: 形式手法

解説 ねえ智也くん、この論文のタイトル「大規模言語モデルを用いた宣言的形式仕様の修復に関する実証的評価」って何のこと？ ああ、これはプログラムのバグを自動で修正する技術、特にAlloyという言語を使った修正についての研究…