結果

問題 No.428 小数から逃げる夢
ユーザー nobigomu
提出日時 2018-06-07 12:45:29
言語 F#
(F# 4.0)
結果
AC  
実行時間 177 ms / 1,000 ms
コード長 1,278 bytes
コンパイル時間 9,710 ms
コンパイル使用メモリ 188,152 KB
実行使用メモリ 37,468 KB
最終ジャッジ日時 2024-06-30 10:27:47
合計ジャッジ時間 26,526 ms
ジャッジサーバーID
(参考情報)
judge2 / judge5
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 100
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (240 ms)。
MSBuild のバージョン 17.9.6+a4ecab324 (.NET)
  main -> /home/judge/data/code/bin/Release/net8.0/main.dll
  main -> /home/judge/data/code/bin/Release/net8.0/publish/

ソースコード

diff #
プレゼンテーションモードにする

let D = "123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475
    7677787980818283848586878889909192939495969798991"
let f n = seq { for i in D.Length-1..-1..0 -> n * int D.[i..i] }
let g m n = Seq.zip (seq { yield 0; yield! f m; yield 0; })
(seq { yield! f n; yield 0; yield 0; })
let rec iter i c sq =
let e = c + Seq.head sq
seq { yield e%10
if i>0 then
yield! iter (i-1) (e/10) (Seq.skip 1 sq)
else
if c<>0 && e/10<>0 then yield e/10 }
let rec iter2 i c sq =
let (e1,e2) = Seq.head sq
seq { yield (e1+e2+c)%10
if i>0 then
yield! iter2 (i-1) ((e1+e2+c)/10) (Seq.skip 1 sq)
else
if c<>0 && (e1+e2+c)/10<>0 then yield (e1+e2+c)/10 }
let fmt = Seq.map string >> Seq.fold (fun a e -> e + a) "" >> fun (s:string) ->
if s.Length<>D.Length then
s.[0..s.Length-D.Length-1] + "." + s.[s.Length-D.Length..s.Length-1]
else
"0." + s
let s = stdin.ReadLine()
match s.Length with
| 1 -> iter (D.Length-1) 0 (f (int s)) |> fmt
| 2 -> iter2 D.Length 0 (g (int s.[0..0]) (int s.[1..1])) |> fmt
| _ -> D.[0..1] + "." + D.[2..D.Length-1]
|> printfn "%s"
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0