結果

問題 No.1396 Giri
ユーザー noriocnorioc
提出日時 2024-08-15 09:01:33
言語 Elixir
(1.16.2)
結果
WA  
実行時間 -
コード長 571 bytes
コンパイル時間 4,192 ms
コンパイル使用メモリ 62,252 KB
実行使用メモリ 55,260 KB
最終ジャッジ日時 2024-08-15 09:01:44
合計ジャッジ時間 8,592 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 645 ms
54,192 KB
testcase_01 WA -
testcase_02 TLE -
testcase_03 -- -
testcase_04 -- -
testcase_05 -- -
testcase_06 -- -
testcase_07 -- -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
権限があれば一括ダウンロードができます

ソースコード

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