全国JOCジュニアオリンピックカップ夏季大会の男子高飛び込みで優勝した玉井陸斗