結果
| 問題 |
No.481 1から10
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2025-07-15 12:16:13 |
| 言語 | Standard ML (MLton 20210117) |
| 結果 |
RE
|
| 実行時間 | - |
| コード長 | 345 bytes |
| コンパイル時間 | 3,059 ms |
| コンパイル使用メモリ | 688,764 KB |
| 実行使用メモリ | 7,716 KB |
| 最終ジャッジ日時 | 2025-07-15 12:16:17 |
| 合計ジャッジ時間 | 3,809 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 7 RE * 1 |
コンパイルメッセージ
Warning: main.sml 7.13-9.18.
Function is not exhaustive.
missing pattern: (nil, _)
in: fun findAns (h :: tl) i = (if h = ... s tl (i + 1) else i)
ソースコード
fun readInt () =
valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)
val () =
let
val b_s = List.tabulate (9, fn _ => readInt ())
fun findAns (h::tl) i =
if h = i then findAns tl (i + 1)
else i
val ans = findAns b_s 1
in
print ((Int.toString ans) ^ "\n")
end