結果
| 問題 | No.208 王将 |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2026-05-08 01:10:59 |
| 言語 | Standard ML (MLton 20241230) |
| 結果 |
AC
|
| 実行時間 | 1 ms / 1,000 ms |
| コード長 | 417 bytes |
| 記録 | |
| コンパイル時間 | 4,321 ms |
| コンパイル使用メモリ | 704,360 KB |
| 実行使用メモリ | 6,400 KB |
| 最終ジャッジ日時 | 2026-05-08 01:11:12 |
| 合計ジャッジ時間 | 5,618 ms |
|
ジャッジサーバーID (参考情報) |
judge2_1 / judge3_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 23 |
ソースコード
fun readLargeInt () =
valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn)
val () =
let
val x = readLargeInt ()
val y = readLargeInt ()
val x2 = readLargeInt ()
val y2 = readLargeInt ()
val ans = if x = y andalso x2 = y2 andalso x2 < x then x + 1
else LargeInt.max (x, y)
in
print (LargeInt.toString ans ^ "\n")
end