結果

問題 No.713 素数の和
ユーザー torus711
提出日時 2018-09-06 20:28:59
言語 Haskell
(9.10.1)
結果
AC  
実行時間 9 ms / 2,000 ms
コード長 929 bytes
コンパイル時間 7,205 ms
コンパイル使用メモリ 227,456 KB
実行使用メモリ 8,064 KB
最終ジャッジ日時 2024-11-24 01:48:12
合計ジャッジ時間 7,862 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 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 )

Main.hs:18:1: warning: [GHC-94817] [-Wtabs]
    Tab character found here, and in 15 further locations.
    Suggested fix: Please use spaces instead.
   |
18 |         isPrime <- newArray ( 0, n ) True :: ST s ( STUArray s Integer Bool )
   | ^^^^^^^^
[2 of 2] Linking a.out

ソースコード

diff # 

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE BangPatterns #-}

import Control.Applicative
import Control.Monad
import Control.Arrow
import Data.List
import Data.Maybe
import Data.Char
import qualified Data.ByteString.Char8 as B
import Text.Printf
import Debug.Trace

import Control.Monad.ST
import Data.Array.ST

eratosthenes n = runST $ do
	isPrime <- newArray ( 0, n ) True :: ST s ( STUArray s Integer Bool )
	writeArray isPrime 0 False
	writeArray isPrime 1 False
	forM_ [ 2 .. n ] $ \i -> do
		f <- readArray isPrime i
		when f $ do
			forM_ [ j | j <- [ 2 .. n ], i * j <= n ] $ \j ->
				writeArray isPrime ( i * j ) False
	filterM ( readArray isPrime ) [ 0 .. n ]

readInt = ( readLn :: IO Int )
readInts = map ( fst . fromJust . B.readInt ) . B.words <$> B.getLine
readNInts = readInt >>= flip replicateM readInt

which a b f = if f then a else b
mp [ a, b ] = ( a, b )

main = readLn >>= print . sum . eratosthenes
0