spec2: プログラムの実行方法