結果
| 問題 | 
                            No.512 魔法少女の追いかけっこ
                             | 
                    
| コンテスト | |
| ユーザー | 
                             aimy
                         | 
                    
| 提出日時 | 2017-05-05 22:54:41 | 
| 言語 | Haskell  (9.10.1)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 2 ms / 2,000 ms | 
| コード長 | 210 bytes | 
| コンパイル時間 | 7,996 ms | 
| コンパイル使用メモリ | 173,688 KB | 
| 実行使用メモリ | 6,948 KB | 
| 最終ジャッジ日時 | 2024-06-27 06:06:48 | 
| 合計ジャッジ時間 | 3,092 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 53 | 
コンパイルメッセージ
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:9:48: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘tail’
    (imported from Prelude, but defined in GHC.List):
    "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
  |
9 | koba x y as = all ((x/y) >=) $ zipWith (/) as (tail as)
  |                                                ^^^^
[2 of 2] Linking a.out
            
            ソースコード
import Data.Bool main = do [x,y] <- map read . words <$> getLine getLine as <- map read . words <$> getLine putStrLn $ bool "NO" "YES" $ koba x y as koba x y as = all ((x/y) >=) $ zipWith (/) as (tail as)
            
aimy