上のプログラムです。