結果

問題 No.558 575検出するやつ
コンテスト
ユーザー tanson
提出日時 2025-10-21 00:54:59
言語 Standard ML
(MLton 20241230)
コンパイル:
mlton_wrapper _filename_
実行:
./main
結果
AC  
実行時間 0 ms / 2,000 ms
+ 707µs
コード長 592 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,923 ms
コンパイル使用メモリ 704,484 KB
実行使用メモリ 5,888 KB
最終ジャッジ日時 2026-07-15 19:41:42
合計ジャッジ時間 5,390 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 15
権限があれば一括ダウンロードができます

ソースコード

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


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