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