"濱田 芙実,南出 靖彦","後方参照で拡張された正規表現マッチングの計算量解析：限定された場合の精密な解析とKMP法によるマッチング","第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）",,,,,,2024,Mar.