t1はプロシージャプロシージャ言いながらプロシージャだけ見てればいいんじゃね