第54回プログラミングシンポジウム「ポスター発表_保証ケースにもとづく品質管理されたスクリプト処理系」