datetime 関数を追加して timestamp のエンコード、デコードを修正。