数字转换成时间有个小问题。
比如 10点20分1秒
strptime(as.character(102001),'%H%M%S')

但是，如果时间小于10点就会有麻烦
如9点20分1秒就无法转换
strptime(as.character(92001),'%H%M%S')


这个问题有没有方便的解决方式？
尤其在时间向量转换的时候如：t <- c(90000,93000,100000,102000)