結果
| 問題 | No.128 お年玉(1) |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2025-08-28 00:53:23 |
| 言語 | Standard ML (MLton 20241230) |
| 結果 |
AC
|
| 実行時間 | 0 ms / 5,000 ms |
| + 748µs | |
| コード長 | 323 bytes |
| 記録 | |
| コンパイル時間 | 3,638 ms |
| コンパイル使用メモリ | 705,000 KB |
| 実行使用メモリ | 5,888 KB |
| 最終ジャッジ日時 | 2026-07-14 12:18:08 |
| 合計ジャッジ時間 | 4,064 ms |
|
ジャッジサーバーID (参考情報) |
judge2_0 / judge3_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 21 |
ソースコード
fun readLargeInt () =
valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn)
val () =
let
val n = readLargeInt ()
val m = readLargeInt ()
val ans = ((n div (Int.toLarge 1000)) div m) * (Int.toLarge 1000)
in
print (LargeInt.toString ans ^ "\n")
end