結果

問題 No.144 エラトステネスのざる
ユーザー Kaito Udagawa
提出日時 2015-02-06 00:40:42
言語 Haskell
(9.10.1)
結果
WA  
実行時間 -
コード長 617 bytes
コンパイル時間 5,437 ms
コンパイル使用メモリ 173,056 KB
実行使用メモリ 19,200 KB
最終ジャッジ日時 2024-06-23 09:14:25
合計ジャッジ時間 9,143 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample WA * 3
other WA * 10 TLE * 1 -- * 6
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/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