文字数もNGワードも、実は同じ文字列マッチでコード実行検証できる

文字数制限やNGワードといった制約を、コード実行機能を用いて文字列マッチで検証する手法を提案。Hard constraintは検証可能だが、類義表現（パラフレーズ）は原理的にすり抜ける限界も指摘。

• 文字数制限やNGワードなどの制約を、コード実行による文字列マッチで検証。
• Hard constraint（厳格な制約）は検証可能であることを示す。
• 類義表現（パラフレーズ）は原理的にすり抜けるという限界も指摘。
• コード実行による堅牢な入力検証手法を提案。