簡易 VM の制約検証の実装

cyg

2025.03.21に更新