まあ、Brexit が起こった。そして、Sky Newsは天才であるため、バスの横にカウントダウンを作成することにしました。

あなたの仕事は似たようなことをすることです。英国は2019年3月31日にEUを離脱します。これには、毎秒変化するデジタルカウントダウンを作成する必要があります（0.05秒の偏差が許可されます）。

入力

あなたのプログラムはまったく入力を受け付けません。禁止されています！

出力

Brexitまでの時間をフォーマットで出力する必要がありますddd:hh:mm:ss。先頭と末尾の改行は許可されますが、表示は毎回同じ場所に留まる必要があります。実際には所定の位置で減少しているように見えるはずです。@AnthonyPhamが指摘したように、これは画面を「クリア」するのに十分な改行を印刷することを意味するものではなく、実際に画面をクリアする必要があることを意味します。

このような出力は許可されていません。

100:20:10:05
100:20:10:04

これも

100:20:10:05
*A thousand newlines*
100:20:10:04

彼らは複数の行にいるので。

Brexitの後に心配する必要はありません。あなたのプログラムは31/3/2019までしか動作しません

ルール

• 標準的な抜け穴は許可されていません
• これはコードゴルフなので、バイト単位の最短コードが優先されます。
• エラーメッセージ（方法は思いつきませんが）は許可されません
• コードは2年後（英国がEUを離れるとき）に実行でき、実際の時刻を表示する必要があり、730から再び開始することはできません（以下を参照）

カウントダウンルール

カウントダウンはハードコードされてはならず、Brexitが終了する前にいつでも実行でき、正しい結果を生成できるはずです。新しい日が始まると、時間は次の形式に従う必要があります

712:00:00:01
712:00:00:00
711:23:59:59

繰り返しますが、Brexitが終了する日付は、便宜上深夜31/31/2019です（31：3：19 00:00:00または31：3：2019 00:00:00またはその他の任意の形式）

NB：私はすべてを持っていると思いますが、私はこれをサンドボックスに投稿しませんでした。さもなければ、タイミングがずれていたかもしれません。完璧ではないため、改善のための提案を自由に投稿してください。

JavaScript、134 129 113バイト

setInterval("d=-new Date;document.body.innerHTML=`<pre>${d/864e5+17986|0}:`+new Date(d).toJSON().slice(11,19)",1)

編集：@Shaggyのおかげで2バイト保存されました。@ l4m2のおかげで11バイト節約されました。

PowerShell、70 63 55 53バイト

二重引用符を除外、@ Joeyのおかげで簡単に-2

for(){cls;(date 31Mar19)-(date)|% T* ddd\:hh\:mm\:ss}

これをスリープ状態で実行すると8バイトが追加されますが、入力なしで実行すると、入力はほとんど見えなくなります。スリープ状態のバージョン（63バイト）：

for(){cls;(date 31/3/19)-(date)|% T* ddd\:hh\:mm\:ss;sleep 1}

for() 無限ループであり、そのループ内で..

cls 画面をクリアするには、

オブジェクト31/3/19として取得し、そこから現在の日付を取得して、残りの時間を指定し、正しい形式で（）DateTime-.ToString()|% T*

これは、brexitの後に負の時間を表示します。

Excel VBA、91 84 82バイト

^{JoeMalpassがExcelが日付を数値として認識していることを指摘したおかげで、7バイト節約されました。
JoeMalpassのおかげで2バイト節約}

Sub b()
Do
t=CDec(43555-Now)
Cells(1,1)=Int(t) &Format(t,":hh:mm:ss")
Loop
End Sub

出力はA1、アクティブなExcelシートのセルになります。

Python 3.6、146バイト

from datetime import*
x=datetime
while 1:d=x(2019,3,31)-x.now();s=d.seconds;a=s%3600;print(end=f"\r{d.days:03}:{s//3600:02}:{a//60:02}:{s%60:02}")

C位、173の 172 156 150 127バイト

using System;class P{static void Main(){for(;;)Console.Write($"\r{new DateTime(2019,3,31)-DateTime.Now:d\\:hh\\:mm\\:ss}  ");}}

@Bobのおかげで16バイトを節約 @SørenD.Ptæusのおかげで6バイトを節約

フォーマット済みバージョン：

using System;

class P
{
    static void Main()
    {
        for (;;)
            Console.Write($"\r{new DateTime(2019, 3, 31) - DateTime.Now:d\\:hh\\:mm\\:ss}  ");
    }
}

JavaScriptのES5、320の 319 316 305 295 284バイト

setInterval(function(){a=Math,b=a.floor,c=console,d=Date,e="00",f=new d(2019,2,31),g=a.abs(f-new d)/1e3,h=b(g/86400);g-=86400*h;var i=b(g/3600)%24;g-=3600*i;var j=b(g/60)%60;g-=60*j,c.clear(),c.log((e+h).slice(-3)+":"+(e+i).slice(-2)+":"+(e+j).slice(-2)+":"+(e+a.ceil(g)).slice(-2))})

参照するための@FelsのおかげでMath参照するために、@dgrcodeconsole

ゴルフをしていない

setInterval(function() {

  var math = Math, floor = math.floor, c = console, d = Date;

  var leadings = "00";

  // set our brexit date
  var brexit = new d(2019, 2, 31);

  // get total seconds between brexit and now
  var diff = math.abs(brexit - new d()) / 1000;

  // calculate (and subtract) whole days
  var days = floor(diff / 86400);
  diff -= days * 86400;

  // calculate (and subtract) whole hours
  var hours = floor(diff / 3600) % 24;
  diff -= hours * 3600;

  // calculate (and subtract) whole minutes
  var minutes = floor(diff / 60) % 60;
  diff -= minutes * 60;

  // what's left is seconds

  // clear the console (because OP said it must print in the same place)
  c.clear();

  // log the countdown, add the leadings and slice to get the correct leadings 0's
  c.log((leadings + days).slice(-3) + ":" + (leadings + hours).slice(-2) + ":" + (leadings + minutes).slice(-2) + ":" + (leadings + math.ceil(diff)).slice(-2));

});

PHP、84バイト

for(;$c=DateTime;)echo(new$c('@1553990400'))->diff(new$c)->format("\r%a:%H:%I:%S ");

かなり簡単です。1553990400は、UTCの31-3-2019 00:00:00のタイムスタンプです。DateTime-> diff（）-> format（）を使用して無限にループし、残り時間を出力します。Brexitが発生した後、0からカウントアップを開始します。

コメント付き/読みやすいバージョン：

// Infinite loop, assign DateTime (as a string) to $class
for (; $class = DateTime;) {
    echo (new $class('@1553990400')) // Create a new DateTime object for the brexit date/time.
            ->diff(new $class) // Caulculate the difference to the current date/time.
            ->format("\r%a:%H:%I:%S "); // Format it according to the specification, starting with a \r character to move to the start of the line and overwrite the previous output.
}

CJam、69 62 59 57バイト

時刻形式に異なる方法で変換することで7バイトを節約

Martin Enderの提案のおかげで3バイト節約

バックスペースの代わりにキャリッジリターンを使用して2バイトを節約

{15539904e5esm1e3/{60md\}2*24md\]W%{sYTe[}%':*CTe[oDco1}g

明らかな理由でTIOで実行できません。

実際には1秒に1回しか時間を更新しませんが、無限ループで絶えずディスプレイを書き換えて、テキストの種類が点滅します（少なくとも私のコンソールでは）。

この70バイトバージョンは、1秒間に1回しか印刷されません。

{15539904e5es:Xm1e3/{60md\}2*24md\]W%{sYTe[}%':*CTe[oDco{esXm1e3<}g1}g

説明

{                           e# Begin a while loop
  15539904e5                e#  The timestamp on which Brexit will occur
  es                        e#  The current timestamp
  m                         e#  Subtract
  1e3/                      e#  Integer divide by 1000, converting to seconds from ms
  {                         e#  Run this block twice
   60md                     e#   Divmod by 60
   \                        e#   Swap top elements
  }2*                       e#  (end of block) 
                            e#    This block divmods the timestamp by 60, resulting in 
                            e#    the remaining minutes and seconds. Then the minutes get 
                            e#    divmod-ed by 60, to get hours and minutes remaining
  24md\                     e#  Divmod hours remaining by 24 and swap top elements, to get
                            e#    the hours left and days left.
  ]                         e#  Wrap the entire stack in an array
  W%                        e#  Reverse it since it's currently in the wrong order
  {                         e#  Apply this block to each element of the array
   s                        e#   Cast to string (array of digit characters)
   YTe[                     e#   Pad to length 2 by adding 0s to the left
  }%                        e#  (end of map block)
  ':*                       e#  Join with colons
  CTe[                      e#  Pad to length 12 by adding 0s to the left, dealing with the
                            e#    special case of the day being 3 digits. 
  o                         e#  Pop and print the resulting string, which is the time
  Dco                       e#  Print a carriage return, moving the cursor back to the start
  1                         e#  Push 1
}g                          e# Pop 1, if it's true, repeat (infinite loop)

Python 3.5（118バイト）

import datetime as d,os
d=d.datetime
while 1:os.system("cls");e=str(d(2019,3,31)-d.today());print(e[:3]+':'+e[-15:-7])

C＃6、149バイト

57バイトを節約してくれたBobに感謝します！

using System;class P{static void Main(){DateTime a,x=new DateTime(2019,3,31);while((a=DateTime.Now)<x)Console.Write($"\r{x-a:ddd\\:hh\\:mm\\:ss}");}}

ゴルフされていないプログラム：

using System;

class P
{
    static void Main()
    {
        DateTime a,
                x = new DateTime(2019, 3, 31);
        while ( (a = DateTime.Now) < x)
            Console.Write($"\r{x-a:ddd\\:hh\\:mm\\:ss}");
    }
}

C位、210の 206 159バイト

さらに47バイトを節約してくれたBobに感謝します！

4バイトを節約してくれたMartin Smithに感謝します！

using System;class P{static void Main(){DateTime a,x=new DateTime(2019,3,31);while((a=DateTime.Now)<x)Console.Write("\r"+(x-a).ToString(@"ddd\:hh\:mm\:ss"));}}

ゴルフされていないプログラム：

using System;

class P
{
    static void Main()
    {
        DateTime a,
                x = new DateTime(2019, 3, 31);
        while ( (a = DateTime.Now) < x)
            Console.Write("\r" + (x - a).ToString(@"ddd\:hh\:mm\:ss"));
    }
}

C、104バイト

main(x){for(;x=1553990400-time(0);)printf("\n%03d:%02d:%02d:%02d\e[1A",x/86400,x/3600%24,x/60%60,x%60);}

壊す

main(x){
    for(;x=1553990400-time(0);)             // Seconds remaining
        printf("\n%03d:%02d:%02d:%02d\e[1A",// Move cursor and print:
            x/86400,                        // Days
            x/3600%24,                      // Hours
            x/60%60,                        // Minutes
            x%60);                          // Seconds
    puts("Now we can stop talking about it forever."); // Wishful thinking
}

依存している time 1日以降の秒数を返すことにていますが、これは（macOSでClang / GCCを使用して）私の場合であり、ほとんどのUNIXの場合に当てはまります。

bashターミナルエスケープシーケンスを使用して、カーソルを移動します（<esc>[1Aカーソルを1行上に移動します）。単に使用できることがよりよいだろう\rが、printfそれは改行を見て、それを手動でフラッシュすることは、より多く取るまでフラッシュしません。

おそらく私が今まで見た中で最もCPU集約的なカウントダウンです。ホットループで実行して、常に可能な限り正確であることを確認します。締め切り後に実行すると、かなり奇妙なものが生成されます（どこでもマイナス！）

AHK、145バイト

これは最短の答えではありませんが、結果は運命の非常に良い感じを与えると思います。私はもともと、キーストローク送信しようとしたCtrl+ Aが続いDELた時間だったが、リフレッシュレートが遅すぎたものは何でも当時とを、それはあなたがしていたものは何でも、環境を破壊してしまうであろう。その代わり、それから、私はGUIと一緒に行きました。ウィンドウを完全に破壊して再作成するために必要なバイト数が少なくて、コントロールを何度も更新するよりも多くなったので、私はそれを使いました。それは素晴らしい効果です。

Loop{
s=20190331000000
s-=A_Now,S
d:=t:=20000101000000
t+=s,S
d-=t,D
d*=-1
FormatTime f,%t%,:HH:mm:ss
GUI,Destroy
GUI,Add,Text,,%d%%f%
GUI,Show
}

C＃、128 127バイト

using System;class P{static void Main(){for(;;)Console.Write($"\r{new DateTime(2019,3,31)-DateTime.Now:ddd\\:hh\\:mm\\:ss}");}}

未ゴルフコード：

using System;
class P
{
    static void Main()
    {
        for(;;)
            Console.Write($"\r{new DateTime(2019,3,31)-DateTime.Now:ddd\\:hh\\:mm\\:ss}"); 
    }
}

ここで他のC＃の回答からの助けがなければ、私は\ rトリックを理解できなかったでしょう。

さらなる改善を探している人のために、Write（）式をforループ内に置くこともできます。ここで何らかの形でバイトを保存できるはずです、なぜならそれはその文のセミコロンを保存するからです

using System;class P{static void Main(){for(;;Console.Write($"\r{new DateTime(2019,3,31)-DateTime.Now:ddd\\:hh\\:mm\\:ss}"));}}

ルビー（83バイト）

loop{h=431664-Time.now.to_r/3600;$><<['%02d']*4*?:%[h/24,h%24,h%1*60,h*3600%60]+?\r}

非ゴルフ

loop do
  seconds = 1553990400 - Time.now.to_r

  print (["%02d"] * 4).join(':') % [
    seconds / 24 / 60 / 60     ,
    seconds      / 60 / 60 % 24,
    seconds           / 60 % 60,
    seconds                % 60,
  ] + "\r"
end

基本的に、いくつかの改良を加えたPythonサブミッションの1つ。再レンダリングする前に、文字列の先頭に移動するために「\ r」を出力するだけです。の文字列形式では"%03d:%02d:%02d:%02d"、最初の指定子の幅を実際に気にしません...のように"%02d"*4、バックスペースと余分なコロンをクリアするためのスペースを出力します。

また、私は2つの文字の短いましたprint：$><<。$>はの省略形のグローバルで$defout、はの出力ストリームでprintありprintf、デフォルトはSTDOUTです。IO#<<その右側をストリームに書き込みます。その2文字はどのように短くなっていますか？さて、書式文字列を囲む括弧の前にあるスペースを省略できます。

この時点では、Rubyでこのプログラムをさらに短縮する方法はないと考えています。

編集：私は間違っていました。最初の代わりに、Time.new(2019,3,31)生のUNIX時間を使用できます1553990400。

編集2：私は分を因数分解し、UNIXタイムスタンプをその定数で割って遊んでみましたが、実際にはバイトを節約しません。:(

編集3：キャッシングはh=3600実際に私を2バイト傷つけたことが判明しました。おっと。

編集4：@EricDuminillのおかげで3バイト保存されました。彼はフロートを使用しましたが、合理性は精度を損なうことなく機能します！

編集5：Array#*のエイリアスとしてArray#join、?個々の文字にRubyの構文を使用！

JavaScript + HTML、136 + 7 = 143バイト

setInterval("d=1553990400-new Date/1e3|0;w.innerText=[60,60,24,999].map(z=>(q='00'+d%z,d=d/z|0,q.slice(z<61?-2:-3))).reverse().join`:`")

<a id=w

C＃、142バイト

using System;class P{static void Main(){a:Console.Write($"\r{(new DateTime(2019,3,31)-DateTime.Now).ToString("d\\:h\\:mm\\:ss  ")}");goto a;}}

ゴルフされていないプログラム：

using System;
class P
{
    static void Main()
    {
        a: Console.Write($"\r{(new DateTime(2019, 3, 31) - DateTime.Now).ToString(@"d\:h\:mm\:ss  ")}"); goto a;
    }
}

Bash + GNU日付、128バイト

@muruのおかげで2バイト削られ、@ This Guyのおかげで2バイト削られました。

C=:%02d;while sleep 1;do D=$[B=3600,A=24*B,1553990400-`date +%s`];printf "%03d$C$C$C\r" $[D/A] $[D%A/B] $[D%A%B/60] $[D%60];done

非ゴルフ

DAY=86400
HOUR=3600
while sleep 1 ; do
 DIFF=$[1553990400-`date +%s`]
 printf "%03d:%02d:%02d:%02d\r" \
         $[DIFF/DAY] \
         $[DIFF%DAY/HOUR] \
         $[DIFF%DAY%HOUR/60] \
         $[DIFF%60]
done

MATL、45バイト

737515`tZ'-tkwy-':HH:MM:SS'XOw'%03d'YDwYcDXxT

TIOは出力のクリアをサポートしていないようですが、ありがたいことにMATL Onlineはサポートしています！

2バイト以上、pause1秒ごとに（スリープ）するCPUにやさしいバージョン：

737515`tZ'-tkwy-':HH:MM:SS'XOw'%03d'YDwYcDT&XxT

MATL Onlineでこれを試してください

737515「2019年3月31日」は、MATLABのデフォルトのエポック形式-0000年1月0日からの日数を表し、オプションで時刻を表す小数部を含みます。（何らかの方法で計算してこれを短くしようとしましたが、その要因は5と6桁の数字（147503）だけであり、6バイト未満でそれを行う方法がわかりませんでした。）

`    % start do-while loop
tZ`- % duplicate Brexit date, get current date (& time), subtract
tk   % duplicate the difference, get the floor of it (this gives number of days left)
w    % switch stack to bring unfloored difference to top
y    % duplicate the floored value on top of that
-    % subtract to get fractional part representing time
':HH:MM:SS'XO % get a datestr (date string) formatted this way
w    % switch to bring number of days back on top
'%03d'YD      % format that to take 3 places, with 0 padding if needed
wYc  % switch to bring time string back on top, concatenate date and time
D    % display the concatenated result!
T&Xx % clear screen after a 1 second pause (the pause is optional, without it the call is `Xx`)
T    % push True on stack to continue loop

PHP、64バイト

while($d=1553990401-time())echo--$d/86400|0,date(":H:i:s\r",$d);

これは0:00:00:00、ブレーク/終了まで正確にカウントされます。で実行し-rます。

0を出力する必要がない場合は-2バイト。

RPL、83 78バイト

HP48などが正しい（英国）時刻と日付、mm / dd日付形式、および24時間形式でセットアップされていると仮定します。

WHILE 1REPEAT DATE 3.302019DDAYS":"1.1 24TIME HMS- TSTR 15 23SUB + + 1DISP END

スペースを取り除いて2バイト節約できたことに驚きました":"。1.1は最も短い有効な日付で、後にダンプされSUBます。エミュレーターには注意してください。時間は、壁時計よりも速くなったり遅くなったりする場合があります。本物のHPでは、ONキーを押すことでこのプログラムを停止するか、空のバッテリーを待つことができます。

PHP、102 95 90バイト

@TheLethalCoderのおかげで、ファクタリングを行わないことで7バイト節約

連結してさらに5バイトを保存しました

<? $b=1553990400-time();echo floor($b/$d=86400).date(':H:i:s', $b%$d);header('Refresh:1');

これは私の最初のゴルフですので、おそらくいくつかのトリックが欠けていますが、ここでは関係ありません。

@chocochaosのPHPの回答はこれに勝るものではありませんが、コメントで説明した理由により欠陥があると思いますが、ここで私は新しいので間違っているかもしれません。または私はただの初心者です:)

AWK、78バイト

BEGIN{for(;v=1552953600-systime();printf"\r%d:%s",v/86400,strftime("%T",v)){}}

オンラインでお試しください！

終了時間を事前に計算できることに気付くまでに時間がかかりました。ゲームに少し遅れて、他の人からアイデアを得るのにお金がかかることもあります。

参考までに、TIOリンクは\r適切に実装されていないため、うまく機能しません。

F＃、142バイト

open System
let f=
 let t=DateTime(2019,3,31)
 while DateTime.Now<=t do Console.Clear();t-DateTime.Now|>printf"%O";Threading.Thread.Sleep 1000

私はアイルランドで国境から約0.5キロで育ちました。「ファーマナへようこそ」の標識と道路標識の変化は別として、あなたが他の国に入国したことを知りません。学校へ行く途中で二度渡るのに使用しました。

c、gcc 114バイト

main(s){system("clear");if(s=1553900399-time(0)){printf("%d:%d:%d:%d\n",s/86400,s/3600%24,s/60%60,s%60);main(s);}}

省略されていない、完全なプログラム。プログラムはUbuntuのgccでコンパイルされます。カウントダウンが0秒に達すると、システムコールがクリアされて停止するため、カウントダウンは印刷ステートメントの長い証跡を表示しません。

UnGolfed

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <time.h>


//Brexit countdown timer
int main(){
  int sec = 1553900400 - time(0);//seconds remaining until Brexit
  if(sec){
    sleep(1);
    system("clear");
    printf("Brexit Countdown\n");
    printf("days Hours Mins Secs\n");
    printf("%d:  %d:    %d:  %d\n",
            sec/86400, sec/3600%24,
            sec/60%60, sec%60);
    main();
  }
}