結果

問題 No.192 合成数
コンテスト
ユーザー kashiwagi513
提出日時 2019-03-01 09:40:02
言語 OCaml
(5.5.0)
コンパイル:
ocamlfind ocamlopt -linkpkg -package zarith,str _filename_ -o a.out
実行:
./a.out
結果
AC  
実行時間 1 ms / 2,000 ms
+ 200µs
コード長 427 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 99 ms
コンパイル使用メモリ 21,440 KB
実行使用メモリ 6,528 KB
最終ジャッジ日時 2026-09-12 07:23:48
合計ジャッジ時間 1,576 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 25
権限があれば一括ダウンロードができます
コンパイルメッセージ
ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf

ソースコード

diff #
raw source code 

let is_composite_number m =
  let rec inner n =
    if n >= m then false
    else if m mod n = 0 then true
    else inner (n + 1)
  in inner 2

let solve n = 
  let rec inner m =
    if n - 100 <= m && m <= n + 100 then
      begin
        if is_composite_number m then m
        else inner (m + 1)
      end
    else assert false
  in print_int @@ inner (n - 100)

let _ =
  let n = int_of_string @@ read_line () in
  solve n
0