MySQL で INT 型のタイムスタンプから DATETIME 型
にする方法がよくわかりません。 TIMESTAMP 型へのキャストはできませんし、DATETIME に放り込むんでもタイムスタンプとして解釈されないのです。
ゴリゴリ計算するとなると、閏年や月ごとの日にちの違いなど、めんどくさいことばかり。 他のプログラムからいじるようにしようと思います。
普通に変換する関数はないんですかねえ?
にする方法がよくわかりません。 TIMESTAMP 型へのキャストはできませんし、DATETIME に放り込むんでもタイムスタンプとして解釈されないのです。
ゴリゴリ計算するとなると、閏年や月ごとの日にちの違いなど、めんどくさいことばかり。 他のプログラムからいじるようにしようと思います。
普通に変換する関数はないんですかねえ?