Đưa ra dấu thời gian unix làm đầu vào, đưa ra chuỗi thời gian, theo định dạng như sau: "YYMMDD.HHmm"

Quy tắc

• Đầu vào là một số (số nguyên) của thời gian kỷ nguyên UNIX chính xác một phần nghìn giây (mili giây kể từ 1970 ngày 1 tháng 1 00: 00: 00.000 UTC).
• Các giá trị phải được đệm bằng 0 nếu chúng là 1 ký tự thay vì 2. (ví dụ: đối với "DD", "1" không được chấp nhận, nhưng "01" là.)
• Đầu ra phải là một chuỗi đơn. Không có mảng.
• Bước nhảy vọt thứ hai không thành vấn đề.
• Chiến thắng ngắn nhất.

Chúc may mắn!

Thí dụ

Input: 1547233866744
Output: 190111.1911

Japt v1.4.5 , 19 16 byte

GîÐU s3)¤o>J i.G

Lưu 1 byte nhờ Oliver , dẫn đến lưu 2 byte khác.

Thử nó

Giải trình

GîÐU s3)¤o>J i.G
                     :Implicit input of integer U
G                    :16
 î                   :Get the first 16 characters of the following string
  ÐU                 :  Convert U to a date object
     s3              :  Convert to ISO string
       )             :End get
        ¤            :Slice off the first 2 characters
         o           :Filter
          >J         :  Greater than -1
             i.G     :Insert "." at 0-based index 16, with wrapping

Ghi chú / Mẹo

• Lấy 16 ký tự đầu tiên của chuỗi ISO và sau đó cắt hai ký tự đầu tiên ngắn hơn một byte so với thực hiện một lát cắt .
• Gđược sử dụng để chèn .chỉ mục theo yêu cầu bởi vì sử dụng một chữ 6sẽ khiến nó được kết hợp với .và để được hiểu là một số thập phân sẽ được chèn vào đầu chuỗi . Để giải quyết vấn đề đó, tôi cần thêm một dấu 'trước .để buộc nó được hiểu là một chuỗi .
• Japt v1.4.5 được sử dụng vì Japt không có hằng số cho 17và từ v1.4.6 về việc cố gắng chèn một cái gì đó vào chỉ mục đầu tiên qua cuối chuỗi kết quả là nó được chèn vào cuối chuỗi ( Alà Japt không đổi cho 10) trong khi trước v1.4.6, nó ngay lập tức kết thúc trở lại đầu chuỗi .

JavaScript (ES6), 65 byte

n=>'101010.1010'.replace(i=/\d/g,x=>new Date(n).toJSON()[i=x-~i])

Hãy thử trực tuyến!

Làm sao?

Chúng tôi khởi tạo con trỏ $i$ thành một giá trị không phải là số (được ép thành $0$ ) và sau đó thêm xen kẽ $2$ và $1$ vào nó để chọn các ký tự có liên quan từ chuyển đổi ISO-8601 của dấu thời gian đầu vào.

yyyy-mm-ddThh:mm:ss.sssZ
  ^^ ^^ ^^ ^^ ^^

JavaScript (ES6), 66 byte

n=>'235689.BCEF'.replace(/\w/g,x=>new Date(n).toJSON()[+`0x${x}`])

Hãy thử trực tuyến!

Làm sao?

Khi dấu thời gian đầu vào được chuyển đổi ở định dạng ISO-8601, tất cả các ký tự được yêu cầu có thể được truy cập bằng một chữ số thập lục phân duy nhất.

yyyy-mm-ddThh:mm:ss.sssZ
  ↓↓ ↓↓ ↓↓ ↓↓ ↓↓
0123456789ABCDEF

Bash + coreutils, 29 byte

date -d@${1::-3} +%y%m%d.%H%M

Hãy thử trực tuyến!

PHP , 40 32 31 byte

-8 byte nhờ Luis felipe
-1 byte nhờ Jo King

<?=date('ymd.hi',$argv[1]/1e3);

Hãy thử trực tuyến!

Câu trả lời đơn giản ngây thơ. dateHàm của PHP có một chuỗi định dạng và dấu thời gian nguyên. Nhập từ các đối số cli, là một chuỗi theo mặc định, sau đó /1e3vì datemong đợi dấu thời gian chính xác thứ hai. Điều này cũng ép buộc chuỗi thành một số.

MATL , 28 byte

Cảm ơn @skiilaa đã điều chỉnh định dạng đầu ra.

864e5/719529+'YYmmDD.HHMM'XO

Hãy thử trực tuyến!

Giải trình

MATL, giống như MATLAB, định nghĩa các số ngày / giờ là số ngày (có thể không phải là số nguyên) kể từ thời điểm 00:00 của "ngày" tham chiếu 0-Jan-0000.

Do đó, chúng tôi lấy đầu vào, chia cho 86400000 (số mili giây trong một ngày), thêm 719529 (số ngày từ tham chiếu của MATL sang tham chiếu UNIX) và chuyển đổi sang định dạng mong muốn 'YYmmDD.HHMM'.

PowerShell , 59 58 byte

"{0:yyMMdd.HHmm}"-f(Date 1/1/1970).AddSeconds("$args"/1e3)

Hãy thử trực tuyến!

Nhận được Datecủa 1/1/1970(mặc định là 12:00:00), sau đó Addlà số lượng thích hợp Seconds. Truyền nó cho -ftoán tử ormat, định dạng chính xác datetime.

Có lẽ phụ thuộc vào văn hóa. Điều này hoạt động trên TIO, đó là en-us.

-1 byte nhờ sự xù xì.

GNU AWK, 34 33 ký tự

$0=strftime("%y%m%d.%H%M",$0/1e3)

( strftime()là phần mở rộng GNU, sẽ không chạy trong các triển khai AWK khác.)

Nhờ vào:

• Jo King đã đề xuất ký hiệu điện tử (ký tự -1)

Chạy mẫu:

bash-4.4$ awk '$0=strftime("%y%m%d.%H%M",$0/1e3)' <<< 1547233866744
190111.2111

Hãy thử trực tuyến!

Perl 6 ,  111 89  87 byte

{~DateTime.new($_/Ⅿ,:formatter{"{(.year%Ⅽ,.month,.day).fmt('%02d','')}.{(.hour,.minute).fmt('%02d','')}"})}

Hãy thử nó (111)

{TR/-//}o{S/..//}o{.yyyy-mm-dd~'.'~(.hour,.minute).fmt('%02d','')}o{DateTime.new($_/Ⅿ)}

Hãy thử nó (89)

{TR/- //}o{S/..//}o{.yyyy-mm-dd~'.'~(.hour,.minute).fmt('%02d')}o{DateTime.new($_/Ⅿ)}

Hãy thử nó (87)

Giải trình:

Các onhà điều hành ghi nhận hai chức năng và tạo ra một hàm composite. Người ngoài cùng bên phải được gọi đầu tiên, và người bên trái được gọi với kết quả của nó.

Về cơ bản chúng tôi sử dụng lambdas 4 khối để tạo ra một lambda duy nhất.

Điều này không khác nhiều so với cách mà lambda giống như * + *được tạo ra.

Chia cho 1000 và sử dụng số đó để tạo đối tượng DateTime.

{DateTime.new($_/Ⅿ)} # Ⅿ is ROMAN NUMERAL ONE THOUSAND (3 bytes)

Kết quả được sử dụng bởi:

{
   .yyyy-mm-dd # 2019-01-11

   ~ '.' ~     # str concatenation with '.'

   ( .hour, .minute ).fmt('%02d') # add leading 0s (returns List)
}

Điều đó để lại cho chúng ta một chuỗi như 2019-01-11.19 11

Chúng ta cần loại bỏ hai chữ số đầu tiên

{S/..//}

Chúng ta cũng cần phải loại bỏ -và

{TR/- //}

Python 2 , 64 byte

lambda s:strftime('%y%m%d.%H%M',gmtime(s/1e3))
from time import*

Hãy thử trực tuyến!

Đầu vào được coi là trong UTC.

R , 58 56 byte

format(as.POSIXct(scan()/1e3,,'1970-1-1'),'%y%m%d.%H%M')

Hãy thử trực tuyến!

C (gcc) (32 bit, endian nhỏ), 67 byte

f(t,s)long long t;{t/=1e3;strftime(s,12,"%y%m%d.%H%M",gmtime(&t));}

Hãy thử trực tuyến!

Trên nền tảng ILP64, phiên bản 55 byte sau sẽ hoạt động:

f(t,s){t/=1e3;strftime(s,12,"%y%m%d.%H%M",gmtime(&t));}

Perl 6 , 57 50 byte

{TR:d/T:-/./}o{substr ~DateTime.new($_/1e3): 2,15}

Hãy thử trực tuyến!

Lấy chuỗi theo mặc định của Ngày tháng, theo định dạng yyyy-mm-ddThh:mm:ssZvà sửa đổi nó để phù hợp với định dạng đầu ra. Perl 6 là cần một phương pháp định dạng ngày.

Giải trình:

                       Datetime.new($_/1e3) # Create a date time
                      ~                 # Stringify it to the format yyyy-mm-ddThh:mm:ssZ
                                        # e.g. 2019-01-11T19:11:06.744000Z
               substr                      : 2,15  # Take the middle 15 characters
 {TR:d/T  /./}o   # Then replace 'T' with '.'
        :-        # Then remove ':' and '-'

C # (Trình biên dịch tương tác Visual C #) , 67 61 60 byte

n=>$"{new DateTime(1970,1,1).AddTicks(n*10000):yyMMdd.HHmm}"

Vì những lý do mà tôi không biết, DateTime.UnixEpoch không hoạt động.

Hãy thử trực tuyến!

Javascript ES6, 76 66 byte

x=>new Date(x).toJSON().slice(2,16).replace(/\D/g,a=>a>'S'?'.':'')

Dùng thử trực tuyến

-10 byte nhờ Shaggy!

x // timestamp
=>
new Date(x) // date object from timestamp
.toJSON() // same as .toISOString()
.slice(2,16) // cut off excess
.replace(/\D/g, // match all non-digits
a // a is matched character
=>
a>'S'?'.' // if a is T (bigger than S is shorter) replace it with .
:''       // if it's not T, replace it with nothing
          // this way the dashes get removed and the dot gets put in the right place
) // end of replace

C (tiếng kêu) , 117 111 byte

Cảm ơn @chux và @ceilingcat vì những gợi ý.

#import<time.h>
*l;f(long t){t/=1e3;printf("%02d%02d%02d.%02d%02d",5[l=gmtime(&t)]%100,l[4]+1,l[3],l[2],l[1]);}

Hãy thử trực tuyến!

Cành, 25 ký tự

{{d[:-3]|date('ymd.hi')}}

Đây là một mẫu. Gọi nó bằng cách bao gồm nó và vượt qua thời gian Unix là tham số d.

Sử dụng mẫu:

{{include('datetime.twig', {'d': 1547233866744})}}

Dùng thử trên TwigFiddle

JavaScript, 64 byte

n=>'2356891911121415'.replace(/1?./g,x=>new Date(n).toJSON()[x])

Hãy thử trực tuyến!

jq, 33 ký tự

(Tùy chọn dòng lệnh 30 ký tự + 3 ký tự)

./1000|strftime("%y%m%d.%H%M")

Chạy mẫu:

bash-4.4$ jq -r './1000|strftime("%y%m%d.%H%M")' <<< 1547233866744
190111.1911

Hãy thử trực tuyến!

ksh , 36 byte

printf "%(%y%m%d.%H%M)T" $(($1/1e3))

Hãy thử trực tuyến!

Cảm ơn Jo King vì đã lưu 15 byte

MediaWiki, 46 byte

{{#time:ymd.Hi|@{{#expr:floor({{{1}}}/1e3)}}}}

Java 8, 78 byte

n->new java.text.SimpleDateFormat("yyMMdd.HHmm").format(new java.util.Date(n))

Hãy thử trực tuyến.

Giải trình:

n->                       // Method with long parameter and String return-type
  new java.text.SimpleDateFormat("yyMMdd.HHmm")
                          //  Create the formatter
   .format(               //  Format the date to a String in this format and return it:
     new java.util.Date(  //   Create a new Date
      n))                 //   With the input-long as timestamp