結果

問題 No.265 数学のテスト
ユーザー ともきともき
提出日時 2015-08-08 03:38:12
言語 Haskell
(9.8.2)
結果
AC  
実行時間 27 ms / 2,000 ms
コード長 3,067 bytes
コンパイル時間 1,959 ms
コンパイル使用メモリ 172,928 KB
実行使用メモリ 11,008 KB
最終ジャッジ日時 2024-05-03 11:51:21
合計ジャッジ時間 3,279 ms
ジャッジサーバーID
(参考情報)
judge3 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 7 ms
8,832 KB
testcase_01 AC 10 ms
10,496 KB
testcase_02 AC 21 ms
11,008 KB
testcase_03 AC 17 ms
9,600 KB
testcase_04 AC 18 ms
9,728 KB
testcase_05 AC 21 ms
10,112 KB
testcase_06 AC 18 ms
9,600 KB
testcase_07 AC 19 ms
9,600 KB
testcase_08 AC 27 ms
10,880 KB
testcase_09 AC 17 ms
9,728 KB
testcase_10 AC 18 ms
9,472 KB
testcase_11 AC 20 ms
9,984 KB
testcase_12 AC 2 ms
6,940 KB
testcase_13 AC 10 ms
8,576 KB
testcase_14 AC 7 ms
7,936 KB
testcase_15 AC 2 ms
6,940 KB
testcase_16 AC 5 ms
7,296 KB
testcase_17 AC 1 ms
6,940 KB
testcase_18 AC 1 ms
6,940 KB
testcase_19 AC 2 ms
6,944 KB
testcase_20 AC 2 ms
6,944 KB
testcase_21 AC 1 ms
6,944 KB
testcase_22 AC 6 ms
7,936 KB
testcase_23 AC 1 ms
6,940 KB
testcase_24 AC 2 ms
6,940 KB
testcase_25 AC 10 ms
8,704 KB
testcase_26 AC 1 ms
6,944 KB
testcase_27 AC 1 ms
6,944 KB
testcase_28 AC 3 ms
6,940 KB
testcase_29 AC 2 ms
6,940 KB
testcase_30 AC 4 ms
6,940 KB
testcase_31 AC 1 ms
6,940 KB
testcase_32 AC 2 ms
6,940 KB
testcase_33 AC 1 ms
6,940 KB
testcase_34 AC 1 ms
6,940 KB
testcase_35 AC 1 ms
6,940 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
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:36:25: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘tail’
    (imported from Prelude, but defined in GHC.List):
    "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
   |
36 |     (h,k) = expression (tail r)  -- remove '{'
   |                         ^^^^

Main.hs:37:13: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘tail’
    (imported from Prelude, but defined in GHC.List):
    "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
   |
37 |     a     = tail k               -- remove '}'
   |             ^^^^

Main.hs:68:67: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘tail’
    (imported from Prelude, but defined in GHC.List):
    "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
   |
68 | eval (Bibun r)          = eval r >>= \k -> return $ zipWith (*) ((tail k) ++ [0]) [1..]
   |                                                                   ^^^^
[2 of 2] Linking a.out

ソースコード

diff #

{-# OPTIONS_GHC -O2 -funbox-strict-fields #-}

import Control.Applicative
import Control.Monad.Reader
import qualified Data.List as L

data Exp = Con   Int
         | Var
         | Mult  Exp Exp
         | Plus  Exp Exp
         | Bibun Exp
  deriving (Show)

parse :: String -> Exp
parse s = case expression s of
  (a, "") -> a
  (_, r ) -> error ("remain: " ++ r)

expression :: String -> (Exp, String)
expression s = case r of
  '+' : t -> (Plus h k, a) where (k,a) = expression t
  _        -> (h, r)
  where
    (h,r) = term s

term :: String -> (Exp, String)
term s = case r of
           '*' : t -> (Mult h k, a) where (k,a) = (term t)
           _       -> (h, r)
         where
           (h,r) = factor s

factor :: String -> (Exp, String)
factor ('d' : r) = (Bibun h, a)
  where
    (h,k) = expression (tail r)  -- remove '{'
    a     = tail k               -- remove '}'
factor ('x' : r) = (Var, r)
factor s = (Con x, r)
  where [(x,r)] = reads s


-- list size is constant.
-- eval :: Exp -> [Int]
-- eval (Con a)          = a : [0,0 ..]
-- eval (Var _)          = 0 : 1 : [0,0..]
-- eval (Mult x (Var _)) = 0 : (eval x)
-- eval (Mult x (Con a)) = map (* a) $ eval x
-- eval (Mult (Var _) x) = 0 : (eval x)
-- eval (Mult (Con a) x) = map (* a) $ eval x
-- eval (Mult _ _) = error "mult"

-- eval (Plus l r) = zipWith (+) (eval l) (eval r)
-- eval (Bibun r)  = zipWith (*) (tail $ eval r) [1..]
-- solve :: Int -> String -> [Int]
-- solve max_degree = (take (max_degree+1)) . eval . parse


eval :: Exp -> Reader Int [Int]
eval (Con a)            = ask    >>= \m -> return $ take m (a : [0,0 ..])
eval Var                = ask    >>= \m -> return $ take m (0 : 1 : [0,0..])
eval (Mult x Var)       = eval x >>= \r -> return $ 0 : (init r)
eval (Mult (Con a) x)   = eval x >>= \r -> return $ map (* a) r
eval (Mult Var x)       = eval x >>= \r -> return $ 0 : (init r)
eval (Mult x (Con a))   = eval x >>= \r -> return $ map (* a) r
eval (Mult _ _)         = error "mult"
eval (Plus l r)         = eval l >>= \a -> eval r >>= \b -> return $ zipWith (+) a b
eval (Bibun r)          = eval r >>= \k -> return $ zipWith (*) ((tail k) ++ [0]) [1..]
-- eval (Con a)            = do {m <- ask;    return $ take m (a : [0,0 ..])}
-- eval Var                = do {m <- ask;    return $ take m (0 : 1 : [0,0..])}
-- eval (Mult x Var)       = do {r <- eval x; return $ 0 : (init r)}
-- eval (Mult (Con a) x)   = do {r <- eval x; return $ map (* a) r}
-- eval (Mult Var x)       = do {r <- eval x; return $ 0 : (init r)}
-- eval (Mult x (Con a))   = do {r <- eval x; return $ map (* a) r}
-- eval (Mult _ _)         = error "mult"
-- eval (Plus l r)         = do {a <- eval l; b <- eval r; return $ zipWith (+) a b}
-- eval (Bibun r)          = do {k <- eval r; return $ zipWith (*) ((tail k) ++ [0]) [1..]}

solve :: Int -> String -> [Int]
solve m s = runReader (eval (parse s)) (m+1)

main :: IO ()
main = do
  n <- read <$> getLine :: IO Int
  d <- read <$> getLine :: IO Int
  s <- getLine
  putStrLn $ foldr (++) ""  (L.intersperse " " (map show (solve d s)))
0