Doubleの演算子等が全部自動微分対応のものに差し替わっている？