結果

問題 No.378 名声値を稼ごう
ユーザー torus711
提出日時 2016-06-17 22:24:16
言語 Haskell
(8.8.1)
結果
AC  
実行時間 3 ms
コード長 465 Byte
コンパイル時間 1,079 ms
使用メモリ 6,876 KB
最終ジャッジ日時 2019-10-06 12:56:51

テストケース

テストケース表示
入力 結果 実行時間
使用メモリ
input1 AC 3 ms
6,876 KB
input2 AC 3 ms
6,872 KB
input3 AC 3 ms
6,876 KB
input4 AC 3 ms
6,876 KB
sample AC 3 ms
6,876 KB
テストケース一括ダウンロード
コンパイルメッセージ
Loaded package environment from /root/.ghc/x86_64-linux-8.8.1/environments/default
[1 of 1] Compiling Main             ( Main.hs, Main.o )

Main.hs:19:1: warning: [-Wtabs]
    Tab character found here, and in one further location.
    Please use spaces instead.
   |
19 |          n :: Integer <- read <$> getLine
   | ^^^^^^^^
Linking a.out ...

ソースコード

diff #
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE BangPatterns #-}

import Control.Applicative
import Control.Monad
import Control.Arrow
import Data.List
import Data.Maybe
import Data.Char
import Text.Printf

readInt = ( readLn :: IO Int )
readInts = map ( read :: String -> Int ) . words <$> getLine

which a b f = if f then a else b
mp [ a, b ] = ( a, b )

main = do
	 n :: Integer <- read <$> getLine
	 print $ ( n * 2 ) - f n

f 0 = 0
f n = n + f ( n `div` 2 )
0