結果

問題 No.446 ゆきこーだーの雨と雪 (1)
コンテスト
ユーザー ichibanshibori
提出日時 2016-11-20 00:50:26
言語 OCaml
(5.5.2)
コンパイル:
ocamlfind ocamlopt -linkpkg -package zarith,str _filename_ -o a.out
実行:
./a.out
結果
AC  
実行時間 1 ms / 2,000 ms
+ 604µs
コード長 339 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,205 ms
コンパイル使用メモリ 21,312 KB
実行使用メモリ 9,824 KB
最終ジャッジ日時 2026-10-19 11:57:20
合計ジャッジ時間 2,909 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 16
権限があれば一括ダウンロードができます
コンパイルメッセージ
ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf

ソースコード

diff #
raw source code 

let in_pat = Str.regexp "^[1-9][0-9]*$"

let check_input str =
  str = "0" ||
  (String.length str <= 5 &&
   Str.string_match in_pat str 0 &&
   int_of_string str <= 12345)

let () =
  let a = read_line ()
  and b = read_line ()
  in
  ((check_input a) && (check_input b)) |>
  (function | true -> "OK" | false -> "NG") |>
  print_endline
0