結果
| 問題 | No.128 お年玉(1) |
| コンテスト | |
| ユーザー |
guricerin
|
| 提出日時 | 2020-01-08 16:41:32 |
| 言語 | F# (F# 10.0) |
| 結果 |
AC
|
| 実行時間 | 53 ms / 5,000 ms |
| コード長 | 839 bytes |
| 記録 | |
| コンパイル時間 | 7,885 ms |
| コンパイル使用メモリ | 204,836 KB |
| 実行使用メモリ | 32,512 KB |
| 最終ジャッジ日時 | 2026-04-17 12:29:10 |
| 合計ジャッジ時間 | 10,571 ms |
|
ジャッジサーバーID (参考情報) |
judge3_0 / judge2_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 21 |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.fsproj を復元しました (271 ミリ秒)。 main -> /home/judge/data/code/bin/Release/net10.0/main.dll main -> /home/judge/data/code/bin/Release/net10.0/publish/
ソースコード
open System
open System.Collections.Generic
[<AutoOpen>]
module Cin =
let read f = stdin.ReadLine() |> f
let reada f = stdin.ReadLine().Split() |> Array.map f
let readChars() = read string |> Seq.toArray
let readInts() = readChars() |> Array.map (fun x -> Convert.ToInt32(x.ToString()))
[<AutoOpen>]
module Cout =
let writer = new IO.StreamWriter(new IO.BufferedStream(Console.OpenStandardOutput()))
let print (s: string) = writer.Write s
let println (s: string) = writer.WriteLine s
let inline puts (s: ^a) = string s |> println
let solve() =
let n = read int64
let m = read int64
let n = n / 1000L
let ans = n / m * 1000L
puts ans
[<EntryPoint>]
let main _ =
try
solve()
with e -> printfn "%s" (e.ToString())
writer.Close()
0 // return an integer exit code
guricerin