結果

問題 No.779 Heisei
コンテスト
ユーザー tanson
提出日時 2025-11-23 00:54:29
言語 Standard ML
(MLton 20210117)
結果
AC  
実行時間 2 ms / 1,000 ms
コード長 1,358 bytes
コンパイル時間 4,123 ms
コンパイル使用メモリ 691,580 KB
実行使用メモリ 7,716 KB
最終ジャッジ日時 2025-11-23 00:54:34
合計ジャッジ時間 4,742 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 23
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

fun readInt () =
    valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)

exception WrongMonth
fun intToMonth 1 = Date.Jan
  | intToMonth 2 = Date.Feb
  | intToMonth 3 = Date.Mar
  | intToMonth 4 = Date.Apr
  | intToMonth 5 = Date.May
  | intToMonth 6 = Date.Jun
  | intToMonth 7 = Date.Jul
  | intToMonth 8 = Date.Aug
  | intToMonth 9 = Date.Sep
  | intToMonth 10 = Date.Oct
  | intToMonth 11 = Date.Nov
  | intToMonth 12 = Date.Dec
  | intToMonth _ = raise WrongMonth

fun readDate () =
    let
        val y = readInt ()
        val _ = TextIO.scanStream Char.scan TextIO.stdIn (* skip #"/" *)
        val m = readInt ()
        val _ = TextIO.scanStream Char.scan TextIO.stdIn (* skip #"/" *)
        val d = readInt ()
    in
        Date.date {year = y, month = intToMonth m, day = d, hour = 0, minute = 0, second = 0, offset = SOME(Time.zeroTime)}
    end


fun findAns t =
    if Date.compare (t, Date.date {year = 1989, month = Date.Jan, day = 8, hour = 0, minute = 0, second = 0, offset = SOME(Time.zeroTime)}) = LESS
    then "No"
    else if Date.compare (t, Date.date {year = 2019, month = Date.Apr, day = 30, hour = 0, minute = 0, second = 0, offset = SOME(Time.zeroTime)}) = GREATER
    then "No"
    else "Yes"


val () =
    let
        val t = readDate ()
        val ans = findAns t
    in
        print (ans ^ "\n")  
    end
0