NTTと早大、誤った正規表現の文字列抽出を自動で修正する技術を発表
NTTと早稲田大学は6月16日、誤った正規表現の文字列抽出を検出して自動的に修正する技術を世界で初めて実現したと発表した。
同17～22日に開催される「PLDI2023」で詳細を報告するという。
今回開発した技術は、多様なバリエーションを扱うことからあいまいさのない正確な記述が求められる正規表現の文字列抽出において、
誤った記述を検出し自動的に修正する。NTTは、正規表現によるパターンの確認を実施するプログラムの振る舞いとして、
「ECMAScript 2023」に完全準拠した正規表現エンジンの振る舞いを理論モデルとして厳密に定義し、
この理論モデルに従って修正結果となる正規表現に誤りがないことを保証する条件を生成する方法を提案した。
https://japan.zdnet.com/article/35205348/
https://japan.zdnet.com/storage/2023/06/16/b8ce5a751c8ba7e37544a94030873988/ntt_waseda-u061602.jpg
