結果
問題 | No.523 LED |
ユーザー |
|
提出日時 | 2020-11-04 21:54:38 |
言語 | Haskell (9.10.1) |
結果 |
AC
|
実行時間 | 610 ms / 2,000 ms |
コード長 | 731 bytes |
コンパイル時間 | 9,742 ms |
コンパイル使用メモリ | 169,216 KB |
実行使用メモリ | 8,064 KB |
最終ジャッジ日時 | 2024-07-22 10:25:57 |
合計ジャッジ時間 | 8,647 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 25 |
コンパイルメッセージ
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
ソースコード
{-# LANGUAGE BangPatterns #-} import Data.IORef import qualified Data.Vector.Fusion.Stream.Monadic as VFSM modulo :: Int modulo = 1000000007 main :: IO () main = do n <- readLn :: IO Int ret <- newIORef (1 :: Int) rev n $ \i -> modifyIORef' ret (\x -> (x * ((2 * i - 1) `mod` modulo * i `mod` modulo) `mod` modulo) `mod` modulo) print =<< readIORef ret streamR :: Monad m => Int -> Int -> VFSM.Stream m Int streamR !l !r = VFSM.Stream step r where step x | x >= l = return $ VFSM.Yield x (x - 1) | otherwise = return $ VFSM.Done {-# INLINE [0] step #-} {-# INLINE [1] streamR #-} rev :: Monad m => Int -> (Int -> m ()) -> m () rev n = flip VFSM.mapM_ (streamR 1 n) {-# INLINE rev #-}