結果
問題 | No.481 1から10 |
ユーザー | nobsun |
提出日時 | 2018-06-17 19:42:48 |
言語 | Haskell (9.8.2) |
結果 |
AC
|
実行時間 | 3 ms / 2,000 ms |
コード長 | 247 bytes |
コンパイル時間 | 739 ms |
コンパイル使用メモリ | 154,328 KB |
実行使用メモリ | 7,164 KB |
最終ジャッジ日時 | 2023-09-13 06:24:23 |
合計ジャッジ時間 | 1,561 ms |
ジャッジサーバーID (参考情報) |
judge14 / judge15 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
7,084 KB |
testcase_01 | AC | 3 ms
6,996 KB |
testcase_02 | AC | 2 ms
6,956 KB |
testcase_03 | AC | 3 ms
6,984 KB |
testcase_04 | AC | 3 ms
6,944 KB |
testcase_05 | AC | 2 ms
7,052 KB |
testcase_06 | AC | 2 ms
7,164 KB |
testcase_07 | AC | 2 ms
7,160 KB |
testcase_08 | AC | 2 ms
7,132 KB |
testcase_09 | AC | 2 ms
7,108 KB |
コンパイルメッセージ
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
ソースコード
module Main where import Data.List main :: IO () main = do { xs <- getInts ; print $ case dropWhile (uncurry (==)) $ zip [1..] xs of [] -> 10 (y,_):_ -> y } getInts :: IO [Int] getInts = map read . words <$> getLine