@shugo ご指摘ありがとうございます!今回は信頼できる入力なので問題なさそうですが、雑に、| の分岐の数か文字数の数くらいに比例したメモリを使うかもなあと妄想はしていました。信頼できない入力の場合は留意しておく必要がありそうですね。