結果

問題 No.558 575検出するやつ
コンテスト
ユーザー tanson
提出日時 2025-10-21 00:54:59
言語 Standard ML
(MLton 20210117)
結果
AC  
実行時間 1 ms / 2,000 ms
コード長 592 bytes
コンパイル時間 5,101 ms
コンパイル使用メモリ 687,100 KB
実行使用メモリ 7,716 KB
最終ジャッジ日時 2025-10-21 00:55:06
合計ジャッジ時間 5,938 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 15
権限があれば一括ダウンロードができます

ソースコード

diff # 

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


fun findAns s =
    let
        fun findAnsAux nil = false
          | findAnsAux (#"5" :: #"7" :: #"5" :: _) = true
          | findAnsAux (h :: tl) = findAnsAux tl
    in
        findAnsAux (String.explode s)
    end


val () =
    let
        val s = readStr ()

        val ans = if findAns s then "YES"
                  else "NO"
    in
        print (ans ^ "\n")  
    end
0