結果

問題 No.1396 Giri
ユーザー norioc
提出日時 2024-08-15 09:01:33
言語 Elixir
(1.18.1)
結果
WA  
実行時間 -
コード長 571 bytes
コンパイル時間 4,192 ms
コンパイル使用メモリ 62,252 KB
実行使用メモリ 55,260 KB
最終ジャッジ日時 2024-08-15 09:01:44
合計ジャッジ時間 8,592 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1 WA * 1 TLE * 1
other -- * 23
権限があれば一括ダウンロードができます

ソースコード

diff # 

defmodule Main do
  def input, do: IO.read(:line) |> String.trim
  def ii, do: input() |> String.to_integer
  def li, do: input() |> String.split |> Enum.map(&String.to_integer/1)
  def yn(b), do: IO.puts(if b, do: "Yes", else: "No")

  def primes() do
    Stream.iterate(2, &(&1 + 1))
    |> Stream.unfold(fn s ->
      p = s |> Enum.at(0)
      rest = s |> Stream.filter(fn x -> rem(x, p) != 0 end)
      {p, rest}
    end)
  end

  def main do
    n = ii()

    ps = primes() |> Enum.take_while(fn x -> x <= n end)
    # IO.inspect ps
    IO.puts length(ps)
  end
end
0