@inproceedings{CTT100944558,
  author = {木下まひな and 南出靖彦},
  title = {正規表現マッチングのメモ化アルゴリズムのDafnyによる実装と検証},
  booktitle = {},
  year = 2026,
}