Tulokset haulle 半形式証明スクリプト