結果

問題 No.138 化石のバージョン
ユーザー tanson
提出日時 2025-08-30 00:13:53
言語 Standard ML
(MLton 20210117)
結果
AC  
実行時間 2 ms / 5,000 ms
コード長 775 bytes
コンパイル時間 3,553 ms
コンパイル使用メモリ 686,968 KB
実行使用メモリ 7,716 KB
最終ジャッジ日時 2025-08-30 00:14:02
合計ジャッジ時間 5,137 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
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 a0 = readInt ()
        val _ = readChar ()
        val b0 = readInt ()
        val _ = readChar ()
        val c0 = readInt ()

        val a1 = readInt ()
        val _ = readChar ()
        val b1 = readInt ()
        val _ = readChar ()
        val c1 = readInt ()

        val ans = case (Int.compare (a0, a1), Int.compare (b0, b1), Int.compare (c0, c1)) of
                      (LESS, _, _) => "NO"
                    | (EQUAL, LESS, _) => "NO"
                    | (EQUAL, EQUAL, LESS) => "NO"
                    | (_, _, _) => "YES"
    in
        print (ans ^ "\n")
    end
0