検証に組んだプログラムです。