結果

問題 No.547 未知の言語
ユーザー tanson
提出日時 2025-10-19 04:17:31
言語 Standard ML
(MLton 20210117)
結果
AC  
実行時間 1 ms / 2,000 ms
コード長 915 bytes
コンパイル時間 2,906 ms
コンパイル使用メモリ 689,668 KB
実行使用メモリ 7,720 KB
最終ジャッジ日時 2025-10-19 04:17:36
合計ジャッジ時間 4,558 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 33
権限があれば一括ダウンロードができます

ソースコード

diff # 

fun readInt () =
    valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)


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 s1 s2 =
    let
        fun findAnsAux _ nil _ = raise BadInput
          | findAnsAux _ _ nil = raise BadInput 
          | findAnsAux index (h1 :: tl1) (h2 :: tl2) =
            if h1 = h2 then findAnsAux (index + 1) tl1 tl2
            else (Int.toString index ^ "\n" ^ h1 ^ "\n" ^ h2 ^ "\n")
    in
        findAnsAux 1 s1 s2
    end


val () =
    let
        val n = readInt ()
        val ss = List.tabulate (n, fn _ => readStr ())
        val ts = List.tabulate (n, fn _ => readStr ())
                        
        val ans = findAns ss ts
    in
        print ans
    end
0