dtimeは時間階層定理に従う。