結果

問題 No.293 4>7の世界
コンテスト
ユーザー tanson
提出日時 2026-05-23 00:44:04
言語 Standard ML
(MLton 20241230)
コンパイル:
mlton_wrapper _filename_
実行:
./main
結果
AC  
実行時間 1 ms / 2,000 ms
コード長 910 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 2,587 ms
コンパイル使用メモリ 707,692 KB
実行使用メモリ 6,400 KB
最終ジャッジ日時 2026-05-23 00:44:14
合計ジャッジ時間 7,384 ms
ジャッジサーバーID
（参考情報） 		judge3_1 / judge2_1
純コード判定待ち
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 20
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

fun readStr () =
    let
        fun scan reader stream = SOME (StringCvt.splitl (not o Char.isSpace) reader (StringCvt.skipWS reader stream))
    in
        valOf (TextIO.scanStream scan TextIO.stdIn)
    end


exception BadInput
fun findAns a b =
    let
        fun findAnsAux [] _ = raise BadInput
          | findAnsAux _ [] = raise BadInput
          | findAnsAux (#"4"::_) (#"7"::_) = a
          | findAnsAux (#"7"::_) (#"4"::_) = b
          | findAnsAux (h1::tl1) (h2::tl2) =
            if h1 > h2 then a
            else if h1 < h2 then b
            else findAnsAux tl1 tl2
    in
        if String.size a < String.size b then b
        else if String.size a > String.size b then a
        else findAnsAux (String.explode a) (String.explode b)
    end


val () =
    let
        val a = readStr ()
        val b = readStr ()
        val ans = findAns a b
    in
        print (ans ^ "\n")
    end
0