第45回プログラミングシンポジウム「自動検証機能を備えたゲームシナリオ記述用開発環境」