以下は、今日Stack Overflowで出された質問に触発されたものです。

マイクロ秒数0 <= n <= 86400000000（例12345678900）を指定すると、フォーマットされた文字列hh:mm:ss:000:000（例：）を出力します03:25:45:678:900。

          0 -> '00:00:00:000:000'
12345678900 -> '03:25:45:678:900'
86400000000 -> '24:00:00:000:000'

Pythonで209バイトのソリューションがありますが、それより低くすることはできますか？

Python 2、82 79バイト

n=input()
o=""
for k in[1000]*2+[60]*3:o=":%0*d"%(k%7/2,n%k)+o;n/=k
print o[1:]

文字列を作成し、一連のdivmodを繰り返し処理します。唯一の派手なビットは、%7/2であり、マップし1000 -> 3、60 -> 2。

Pyth、31バイト

j\:_m>l`td+"00"%~/QddCM"ϨϨ<<<

オンラインで試す：デモンストレーション

説明：

                                 implicit: Q = input number
                       "ϨϨ<<<   string "ϨϨ<<<" (5 chars but 7 bytes)
                     CM          convert each to number => [1000, 1000, 60, 60, 60]
    m                            map each number d to:
                 /Qd                divide Q by d
                ~                   and update Q with the new value
               %~ Q d               but use the old value to calculate Q mod d
          +"00"                     add the result to the string "00"
     >                              but only take the last 
      l`td                          len(str(d-1)) chars
   _                             revert order
j\:                              join the strings with ":"s

Bash + coreutils、61

これまでで最も短い「主流」言語...

a=%02d:
printf $a$a$a%03d:%03d `dc -e$1\ A00~rA00~r60~r60~rf`

テスト出力：

$ for t in 0 12345678900 86400000000; do ./usec.sh $t; echo; done
00:00:00:000:000
03:25:45:678:900
24:00:00:000:000
$ 

CJam、37 35 34バイト

これはかなり長いです..今ゴルフ。

ri[1e3_60__]{:ImdsIBb,0e[':@}%W%2>

更新：@ Sp3000のおかげで1バイト節約

こちらからオンラインでお試しください

C、97バイト

q=1000,s=60;
#define f(n)printf("%02d:%02d:%02d:%03d:%03d",n/s/s/q/q,n/s/q/q%s,n/q/q%s,n/q%q,n%q)

テストコード：

int main(int intc, char **argv)
{
    long long n = atoll(argv[1]);
    f(n);
}

q（34）

私はそれが短くなると確信しています

":"sv 0 8 11__[;8]15$2_($)16h$1e3*

例えば

q)f:":"sv 0 8 11__[;8]15$2_($)16h$1e3*
q)f 12345678900
"03:25:45:678:900"

ジュリア、110 96 95バイト

t->(o="";for i=int([36e8,6e7,1e6,1e3,1]) x,t=t÷i,t%i;o*=lpad(x,i>1e3?2:3,0)*":"end;o[1:end-1])

これにより、整数を入力として受け入れ、文字列を返す名前のない関数が作成されます。呼び出すには、名前を付けf=t->...ます。

Ungolfed +説明：

function f(t)
    # Initialize an output string
    o = ""

    # Loop over an array consisting of the number of microseconds in
    # an hour, minute, second, millisecond, and microsecond
    for i = int([36e8, 6e7, 1e6, 1e3, 1])

        # Get the quotient and remainder for microseconds into t,
        # setting t to be the remainder
        x, t = t ÷ i, t % i

        # Left-pad x with zeroes and append it to the output
        o *= lpad(x, i > 1e3 ? 2 : 3, 0) * ":"
    end

    # o has a trailing :, so return everything but the last character
    o[1:end-1]
end

例：

julia> f(12345678900)
"03:25:45:678:900"

julia> f(0)
"00:00:00:000:000"

julia> f(86400000000)
"24:00:00:000:000"

C＃、179 175バイト

ビルトインを自由に使用できる場合、それらを使用してみませんか？

static void Main(string[]a){var t=TimeSpan.FromTicks(long.Parse(Console.ReadLine())*10);Console.Write(t.ToString((t.Days<1?"hh":@"\2\4")+@"\:mm\:ss\:ffffff").Insert(12,":"));}

優れたフォーマットを使用する場合：

static void Main(string[]a){
    var t = TimeSpan.FromTicks(long.Parse(Console.ReadLine())*10);
    Console.Write(t.ToString((t.Days<1?"hh":@"\2\4")+@"\:mm\:ss\:ffffff").Insert(12,":"));
    Console.Read();
}

Excel、65 63文字

マイクロ秒がA1にあると仮定します。

=TEXT(A1/50/1200^3,"[HH]:mm:ss:")&RIGHT(TEXT(A1,"000\:000"),7)

出力：

        A              B
1            0  00:00:00:000:000
2  12345678900  03:25:46:678:900
3  86400000000  24:00:00:000:000

Perl、141 78バイト

printf"%02d"x3.%03d:%03d",$_/36e8,$_/6e7%60,$_/1e6%60,$_/1e3%1e3,$_‌​%1e3

77バイトのコード、-nフラグの場合は+1 。で実行：

echo 12345678900 | perl -ne'printf"%02d"x3.%03d:%03d",$_/36e8,$_/6e7%60,$_/1e6%60,$_/1e3%1e3,$_‌​%1e3'

コードサイズをほぼ半分に削減してくれたThomas Kwaとchilemagicに感謝します。

Matlab-88 89バイト

組み込み関数を使用せずにソリューションで1バイトを得ました。

n=[36e8,6e7,1e6,1e3];f=@(t)sprintf('%02d:%02d:%02d:%03d:%03d',fix([t mod(t,n)]./[n 1]))

数値入力引数を取るインライン関数を作成します t、文字列を返すします。

それはのベクトル化の組み合わせを使用していますfixし、mod表示し、その後、時間要素を分離します。

出力文字列の書式設定には、計算自体よりも多くの時間がかかるのが少しイライラします...

テスト：

for t=[0 12345678900 86400000000]
    f(t)
end

ans =
00:00:00:000:000
ans =
03:25:45:678:900
ans =
24:00:00:000:000

89バイトバージョン：

f=@(t)sprintf('%s:%03d:%03d',datestr(fix(t/1e6)/86400,13),fix(mod(t,1e6)/1e3),mod(t,1e3))

数値を分割し、hh：mm：ss部分に組み込み関数を使用します。これはマイクロ秒を処理できないため、文字列はfixandの組み合わせで完了しmodます

JavaScriptの（ES6）、128 118 116 111バイト

これにはおそらくゴルフの可能性があるでしょう。

f=t=>(t<864e8?new Date(t/1e3).toJSON().slice(11,-1):`24:00:00:000`).replace(`.`,`:`)+':'+('00'+t%1e3).slice(-3)

デモ

これはES6なので、とりあえずFirefoxのみです：

f=t=>(t<864e8?new Date(t/1e3).toJSON().slice(11,-1):`24:00:00:000`).replace(`.`,`:`)+':'+('00'+t%1e3).slice(-3)

// DEMO
document.body.innerHTML += '<br>' + f(0);
document.body.innerHTML += '<br>' + f(12345678020);
document.body.innerHTML += '<br>' + f(86400000000);

C、113の 103 105バイト

編集：さらにいくつかのバイトを追い払った

修正：一部のユーザーのおかげでlong型が削除された

Cの最短回答ではありませんが、キャリッジリターンを楽しんでいたので、誰かがこれを好きになるかもしれないと感じました。

i,k,p=16;
#define f(n)for(;i<5;p-=i++<2?4:3)k=i<2?1000:60,printf("%0*d%c\r",p,n%k,i?58:13),n/=k;puts("");

次のように呼び出します：

int main() {
    long long n = 12345678900;
    f(n);

    return 0;
}

CoffeeScript、127バイト

ASCIIThenANSIの回答でアプローチを取りました。JavaScript コンソールAPIに数字を埋め込むためのフォーマットプレースホルダーがないのは残念です。

p=(a,b)->('00'+~~a).slice -b||-2
f=(t)->console.log '%s:%s:%s:%s:%s',p(t/36e8),p(t/6e7%60),p(t/1e6%60),p(t/1e3%1e3,3),p t%1e3,3

Powershell、153

$t=[timespan]::FromTicks(($a=$args[0]));"{0:D2}:{1:D2}:{2:D2}:{3:D3}:{4:000}"-f
[int]($t.TotalHours),$t.Minutes,$t.Seconds,$t.Milliseconds,(($a%1e4)/10)

使用法

powershell -nologo .\modprintsec.ps1 123456789000    
03:25:45:678:900   
powershell -nologo .\modprintsec.ps1 864000000000   
24:00:00:000:000   
powershell -nologo .\modprintsec.ps1 0   
00:00:00:000:000 

F＃、111 92 102バイト

最初の反復：基本的なアイデア。

2回目の反復：より小さな定数

3回目の反復：1桁の部分の正しい書式設定。

この関数を機能させるには、int64を指定する必要があります。

let s,t=60L,1000L
let f n=sprintf"%02d:%02d:%02d:%03d:%03d"(n/s/s/t/t)(n/s/t/t%s)(n/t/t%s)(n/t%t)(n%t)

出力例：

f 0L           -> "00:00:00:000:000"
f 12345678900L -> "03:25:45:678:900"
f 86400000000L -> "24:00:00:000:000"

PHP- 115102バイト

155バイトのソリューション（読みやすいようにここに3行でラップ）：

$a=$argv[1];
$h=($a-($m=($a=($a-($s=($a=($a-($t=($a=($a-($u=$a%1000))/1000)%1000))/1000)%60))/60)%60))/60;
printf("%02d:%02d:%02d:%03d:%03d",$h,$m,$s,$t,$u);

2行目は、マイクロ秒から始まるコンポーネントの正確な値を（内部から外部へ）計算します。

短いバージョン（115バイト、読みやすいように2行にラップ）：

$u=$argv[1];$h=($m=($s=($t=$u/1000)/1000)/60)/60;
printf("%02d:%02d:%02d:%03d:%03d",$h,$m%60,$s%60,$t%1000,$u%1000);

また、埋め込み割り当てを使用して、浮動小数点数を使用して、ミリ秒、秒、分、および時間でのマイクロ秒の入力数の変換を計算します。次に、モジュラス演算子（%）および10進数形式（%d）をprintf()使用して、強制的に整数にします（小数部は無視されます）。

日付関数を使用する別のソリューション（102バイト）

$u=$argv[1];
echo gmdate("H:i:s",strtotime("@".substr($u,0,-6))),":",substr($u,-6,3),":",substr($u,-3);

時間：分：秒の部分は、PHPの日付関数によって処理されるgmdate()と、strtotime()、ミリマイクロ秒は、入力値から文字列として抽出されます。

使用法：

$ php -r '$u=$argv[1];echo gmdate("H:i:s",strtotime("@".substr($u,0,-6))),":",substr($u,-6,3),":",substr($u,-3);' 7198898787; echo
01:59:58:898:787

Java、215バイト

String f(long n){return p(n/3600000000l,2)+":"+p(n/60000000%60,2)+":"+p(n/1000000%60,2)+":"+p(n/1000%1000,3)+":"+p(n%1000,3);}String p(long n,int i){String s=String.valueOf(n);while(s.length()<i){s="0"+s;}return s;}

メソッドfはn、時間、分などを計算するためにいくつかの計算を行い、p各値を正しくフォーマットするためにメソッドに委任します。

フォーマット済み：

String f(long n) {
    return p(n / 3600000000l, 2) + ":" + p(n / 60000000 % 60, 2) + ":" 
            + p(n / 1000000 % 60, 2) + ":" + p(n / 1000 % 1000, 3) + ":" + p(n % 1000, 3);
}

String p(long n, int i) {
    String s = String.valueOf(n);
    while (s.length() < i) {
        s = "0" + s;
    }
    return s;
}

使用法：

public void demo() {
    long n = 12345678900l;
    System.out.println(f(n));
}

ルビー-82バイト

puts (t=Time.at(0,gets.to_i)).strftime("%2H:%2M:%2S:%3L:#{(t.usec%1000).to_s.rjust(3,?0)}")