UNIXTIMESTAMPから2001/12/17 00:00:00のような
形式に変換する方法教えてください。
環境依存せずに。