結果
| 問題 | 
                            No.138 化石のバージョン
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 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 | 
ソースコード
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