A Vectorization Technique of Hashing and Its Application to Several Sorting Algorithms