結果
| 問題 | No.858 わり算 |
| コンテスト | |
| ユーザー |
kou_kkk
|
| 提出日時 | 2025-09-10 17:19:19 |
| 言語 | Haskell (9.14.1) |
| 結果 |
AC
|
| 実行時間 | 2 ms / 2,000 ms |
| + 74µs | |
| コード長 | 402 bytes |
| 記録 | |
| コンパイル時間 | 7,910 ms |
| コンパイル使用メモリ | 205,048 KB |
| 実行使用メモリ | 6,400 KB |
| 最終ジャッジ日時 | 2026-07-14 23:43:24 |
| 合計ジャッジ時間 | 9,373 ms |
|
ジャッジサーバーID (参考情報) |
judge2_0 / judge3_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 9 |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.14.1/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) [2 of 2] Linking a.out
ソースコード
module Main where
import Data.Fixed
data E51
instance HasResolution E51 where
resolution _ = 10 ^ 51
main :: IO ()
main = getIntegerList >>= putStrLn . solve
solve :: [Integer] -> String
solve ab = let a = MkFixed (ab!!0) :: Fixed E51
b = MkFixed (ab!!1) :: Fixed E51
in init . show $ a / b
getIntegerList :: IO [Integer]
getIntegerList = map read . words <$> getLine
kou_kkk