結果

問題 No.51 やる気の問題
コンテスト
ユーザー ichibanshibori
提出日時 2017-04-16 23:22:57
言語 OCaml
(5.5.0)
コンパイル:
ocamlfind ocamlopt -linkpkg -package zarith,str _filename_ -o a.out
実行:
./a.out
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 273 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 14 ms
コンパイル使用メモリ 19,552 KB
最終ジャッジ日時 2026-09-22 16:38:40
合計ジャッジ時間 1,688 ms
ジャッジサーバーID
（参考情報） 		judge5_0 / judge3_0
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
File "Main.ml", line 1, characters 5-8:
1 | open Num
         ^^^
Error: Unbound module Num

ソースコード

diff #
raw source code 

open Num

let rec solve w d =
  if d =/ Int 1 then w
  else
    let y = quo_num w (d **/ Int 2) in
    solve (w -/ y) (d -/ Int 1)

let () =
  let w = read_line () |> num_of_string
  and d = read_line () |> num_of_string in
  solve w d
  |> string_of_num
  |> print_endline
0