結果

問題 No.144 エラトステネスのざる
ユーザー Kaito UdagawaKaito Udagawa
提出日時 2015-02-06 00:40:42
言語 Haskell
(9.8.2)
結果
WA  
実行時間 -
コード長 617 bytes
コンパイル時間 5,008 ms
コンパイル使用メモリ 164,980 KB
実行使用メモリ 8,848 KB
最終ジャッジ日時 2023-09-05 13:33:57
合計ジャッジ時間 4,849 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 TLE -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.6.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff # 

import qualified Data.ByteString.Char8 as B
import Data.Maybe
import Data.Functor

readInts :: B.ByteString -> [Int]
readInts x = fst <$> mapMaybe B.readInt (B.words x)

getParams :: B.ByteString -> (Int, Int)
getParams x = (x' !! 0, x' !! 1)
  where x' = readInts x

primes :: Int -> [Int]
primes n = sieve [2..n]
  where
    sieve (x:xs) = x : sieve ([y | y <- xs, y `mod` x /= 0])
    sieve [] = []

main =
  do
    l <- words <$> getLine
    let n = read (l !! 0) :: Int
        p = read (l !! 1) :: Double
        k = foldr (\ v r -> r + p * (fromIntegral (n `div` v - 1))) 0.0 (primes n)
    (putStrLn . show) k
0