そんな!

ここまで書いた後で Date クラスの持つメソッドを調べてみたら ( https://developer.mozilla.org/En/Core_JavaScript_1.5_Reference/Global_Objects/Date ) toLocaleString とか toUTCString とか普通にあった。 JavaScript の Date はけっこう親切だなぁ。

あばばばb

:echo (new Date()).toLocaleFormat('%y/%m/%d %H:%M:%S')

昔調べてこういうのは無いって思っていたような趣。
何か見つけたような記憶もあるような気もするんだけど。

せっかくなので

ゼロ詰めの違うバージョン書いた

let lz = function(s,n) String(Math.pow(10,n)+s).substring(1);
f(4,4) // => 0004 OK
f(123456,4) // => 33456 長くなるとバグる
f(-1, 4) // 999 マイナスでもバグる
f(1234, 4) // 1234 OK