出力されるプログラム1