"高橋 和也,南出 靖彦","バックトラックによる正規表現マッチングの計算量判定の実装","第21回プログラミングおよびプログラミング言語ワークショップ",,,,,,2019,Mar.