結果
問題 | No.607 開通777年記念 |
ユーザー |
![]() |
提出日時 | 2017-12-10 19:12:05 |
言語 | Haskell (9.10.1) |
結果 |
CE
(最新)
AC
(最初)
|
実行時間 | - |
コード長 | 1,381 bytes |
コンパイル時間 | 560 ms |
コンパイル使用メモリ | 160,896 KB |
最終ジャッジ日時 | 2024-11-30 11:22:17 |
合計ジャッジ時間 | 1,075 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。(リジャッジ後のコンパイルエラーは公開されます)
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
コンパイルメッセージ
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:45:24: error: [GHC-87543] Ambiguous occurrence ‘BC.getLine’. It could refer to either ‘BC.getLine’, imported qualified from ‘Data.ByteString’ at Main.hs:8:1-38, or ‘BC.getLine’, imported qualified from ‘Data.ByteString.Char8’ at Main.hs:7:1-44. | 45 | readInt = parseInt <$> BC.getLine | ^^^^^^^^^^ Main.hs:48:26: error: [GHC-87543] Ambiguous occurrence ‘BC.getLine’. It could refer to either ‘BC.getLine’, imported qualified from ‘Data.ByteString’ at Main.hs:8:1-38, or ‘BC.getLine’, imported qualified from ‘Data.ByteString.Char8’ at Main.hs:7:1-44. | 48 | readInts = parseInts <$> BC.getLine | ^^^^^^^^^^
ソースコード
moduleMainwhereimportControl.MonadimportControl.ApplicativeimportData.MaybeimportData.ListimportqualifiedText.PrintfimportqualifiedData.ByteString.CharasBCimportqualifiedData.ByteStringasBCimportData.Array.UnboxedUArray,(!),listArrayimportqualifiedData.Array.UnboxedasUArray------------------------------------------main::IO()main = do[n, m] <- readIntsrawStats <- replicateM m $ readIntslet stat0 = replicate n 0stats = map (listArray (0, n-1)) $ scanl' (zipWith (+)) stat0 rawStatsres = any (check777 n) statsputStrLn $ if res then "YES" else "NO"check777::Int->UArrayIntInt->Boolcheck777 ub stat = f 0 0 0wheref l r acc| r == ub && l == ub = False| acc == 777 = True| r == ub = f (l+1) r (acc - (stat ! l))| acc < 777 = f l (r+1) (acc + (stat ! r))| otherwise = f (l+1) r (acc - (stat ! l))------------------------------------------{- Int input -}parseInt::BCByteString->IntparseInt = fst . fromJust . BC.readIntparseInts::BCByteString->IntparseInts = map parseInt <$> BC.wordsreadInt::IOIntreadInt = parseInt <$> BC.getLinereadInts::IOIntreadInts = parseInts <$> BC.getLine{- Double Formatting -}doubleFmt::Double->StringdoubleFmt = Text.Printf.printf "%.12f"