結果
| 問題 |
No.192 合成数
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2025-09-10 00:14:39 |
| 言語 | Standard ML (MLton 20210117) |
| 結果 |
AC
|
| 実行時間 | 2 ms / 2,000 ms |
| コード長 | 696 bytes |
| コンパイル時間 | 8,208 ms |
| コンパイル使用メモリ | 686,712 KB |
| 実行使用メモリ | 7,716 KB |
| 最終ジャッジ日時 | 2025-09-10 00:14:49 |
| 合計ジャッジ時間 | 5,414 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 25 |
ソースコード
fun readInt () =
valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)
fun isCompositeNumber n =
let
fun isPrime i =
let
fun testLoop j =
if i < j * j then true
else if i mod j = 0 then false
else testLoop (j + 1)
in
testLoop 2
end
in
not (isPrime n)
end
val () =
let
val n = readInt ()
fun findAns i =
if isCompositeNumber i then i
else findAns (i + 1)
val ans = findAns (n - 100)
in
print (Int.toString ans ^ "\n")
end