結果
| 問題 | 
                            No.721 Die tertia (ディエ・テルツィア)
                             | 
                    
| コンテスト | |
| ユーザー | 
                             情報学生
                         | 
                    
| 提出日時 | 2019-09-17 23:01:04 | 
| 言語 | Haskell  (9.10.1)  | 
                    
| 結果 | 
                             
                                CE
                                 
                             
                            
                            (最新)
                                AC
                                 
                             
                            (最初)
                            
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 590 bytes | 
| コンパイル時間 | 3,808 ms | 
| コンパイル使用メモリ | 151,552 KB | 
| 最終ジャッジ日時 | 2024-07-07 13:53:14 | 
| 合計ジャッジ時間 | 4,365 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge5 | 
(要ログイン)
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。(リジャッジ後のコンパイルエラーは公開されます)
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
            
            
            
            
            ただし、clay言語の場合は開発者のデバッグのため、公開されます。
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
Main.hs:2:1: error: [GHC-87110]
    Could not load module ‘Data.Time.Calendar’.
    It is a member of the hidden package ‘time-1.12.2’.
    Use -v to see a list of the files searched for.
  |
2 | import Data.Time.Calendar (fromGregorian, toGregorian, addDays)
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
            
            ソースコード
import Control.Applicative ((<$>))
import Data.Time.Calendar (fromGregorian, toGregorian, addDays)
import Text.Printf (printf)
import Data.ByteString.Char8 (ByteString)
import qualified Data.ByteString.Char8 as B
main :: IO ()
main = do
    s <- B.unpack <$> B.getLine
    let (y, m, d) = solve s
    printf "%d/%02d/%02d" y m d
solve :: String -> (Integer, Int, Int)
solve s = toGregorian $ addDays 2 $ fromGregorian  y m d
    where
        y      = (read :: String -> Integer) a
        [m, d] = map read $ [b, c]
        a = take 4 s
        b = take 2 $ drop 5 s
        c = drop 8 s
            
            
            
        
            
情報学生