高度計長期が正しい前提には意味無い前提