結果
| 問題 |
No.998 Four Integers
|
| コンテスト | |
| ユーザー |
guricerin
|
| 提出日時 | 2020-03-01 11:06:09 |
| 言語 | F# (F# 4.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 1,093 bytes |
| コンパイル時間 | 14,566 ms |
| コンパイル使用メモリ | 188,756 KB |
| 実行使用メモリ | 29,312 KB |
| 最終ジャッジ日時 | 2024-10-13 20:31:49 |
| 合計ジャッジ時間 | 16,104 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 WA * 1 |
| other | AC * 16 WA * 7 |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.fsproj を復元しました (609 ms)。 MSBuild のバージョン 17.9.6+a4ecab324 (.NET) main -> /home/judge/data/code/bin/Release/net8.0/main.dll main -> /home/judge/data/code/bin/Release/net8.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 main() =
let a = reada int
let mutable ok = true
for i in 0 .. 2 do
if a.[i] + 1 <> a.[i + 1] then ok <- false
if ok then "Yes" else "No"
|> puts
()
// -----------------------------------------------------------------------------------------------------
main()
writer.Dispose()
guricerin