検証用のソースコードを書いた。これから検証を行う