結果
| 問題 | 
                            No.138 化石のバージョン
                             | 
                    
| コンテスト | |
| ユーザー | 
                             guricerin
                         | 
                    
| 提出日時 | 2020-01-08 15:48:50 | 
| 言語 | F#  (F# 4.0)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 967 bytes | 
| コンパイル時間 | 7,116 ms | 
| コンパイル使用メモリ | 188,048 KB | 
| 実行使用メモリ | 31,872 KB | 
| 最終ジャッジ日時 | 2024-11-23 02:47:48 | 
| 合計ジャッジ時間 | 10,806 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 27 WA * 6 | 
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.fsproj を復元しました (229 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 solve() =
    let f (s: string) =
        s.Split('.')
        |> String.Concat
        |> fun x -> Convert.ToInt64(x)
    let a = read string
    let a = f a
    let b = read string
    let b = f b
    if b <= a then "YES" else "NO"
    |> puts
[<EntryPoint>]
let main _ =
    try
        solve()
    with e -> printfn "%s" (e.ToString())
    writer.Close()
    0 // return an integer exit code
            
            
            
        
            
guricerin