高速取引時代における現物市場と派生証券市場の関係：高頻度データを利用した実証分析