オリンピック高跳びの衛藤選手12.5くらいある?