大谷 翔平 サイズ見立真一沼津四平方の定理