結果

問題 No.525 二度寝の季節
ユーザー tanson
提出日時 2025-10-15 02:05:57
言語 Standard ML
(MLton 20210117)
結果
AC  
実行時間 2 ms / 1,000 ms
コード長 537 bytes
コンパイル時間 2,968 ms
コンパイル使用メモリ 691,576 KB
実行使用メモリ 7,716 KB
最終ジャッジ日時 2025-10-15 02:06:03
合計ジャッジ時間 4,444 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 33
権限があれば一括ダウンロードができます

ソースコード

diff # 

fun readInt () =
    valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)


fun readChar () =
    valOf (TextIO.scanStream Char.scan TextIO.stdIn)


val () =
    let
        val h = readInt ()
        val _ = readChar ()
        val m = readInt ()

        val sumM = m + 5
        val nextM = sumM mod 60
        val sumH = h + sumM div 60
        val nextH = sumH mod 24
    in
        print (StringCvt.padLeft #"0" 2 (Int.toString nextH) ^ ":" ^
               StringCvt.padLeft #"0" 2 (Int.toString nextM) ^ "\n")
    end
0