結果

問題 No.1396 Giri
ユーザー noriocnorioc
提出日時 2024-08-15 09:25:12
言語 Elixir
(1.16.2)
結果
WA  
実行時間 -
コード長 644 bytes
コンパイル時間 3,978 ms
コンパイル使用メモリ 62,452 KB
実行使用メモリ 186,072 KB
最終ジャッジ日時 2024-08-15 09:25:21
合計ジャッジ時間 6,749 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 597 ms
54,068 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 sieve(n) do
    t = :ets.new(:prime, [:set, :protected])
    for i <- 2..n do
      case :ets.lookup(t, i) do
        [] ->
          for j <- i+i..n//i do
            :ets.insert(t, {j})
          end
        _ -> nil
      end
    end

    for i <- 2..n, :ets.lookup(t, i) == [], into: [] do
      i
    end
  end

  def main do
    n = ii()
    primes = sieve(n)
    IO.puts length(primes)
  end
end
0