diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml index bb73f65..e42dc79 100644 --- a/.github/workflows/verify.yml +++ b/.github/workflows/verify.yml @@ -40,7 +40,7 @@ jobs: - run: oj-verify all env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - GH_PAT: ${{ secrets.GH_PAT }} + GH_PAT: this_token_is_never_used_but_oj_verify_requires_this - run: git switch main @@ -68,6 +68,7 @@ jobs: cp notebook.pdf $DIR cp build/*.css $DIR cp build/*.html $DIR + git clean -dfx git switch gh-pages cp $DIR/* . git add . && git commit -m "build PDF" && git push diff --git a/src/memo/Primes.md b/src/memo/Primes.md index 5fcc8eb..dcbbae5 100644 --- a/src/memo/Primes.md +++ b/src/memo/Primes.md @@ -1,8 +1,8 @@ #### 素数の個数 -| $n$ | $10^2$ | $10^3$ | $10^4$ | $10^5$ | $10^6$ | $10^7$ | $10^8$ | $10^9$ | -| --- | --- | --- | --- | --- | --- | --- | --- | --- | -| $\pi(n)$ | $25$ | $168$ | $1229$ | $9592$ | $78498$ | $6.6 \times 10^5$ | $5.8 \times 10^6$ | $5.1 \times 10^7$ | +| $n$ | $10^2$ | $10^3$ | $10^4$ | $10^5$ | $10^6$ | $10^7$ | $10^8$ | $10^9$ | $10^{10}$ | +| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | +| $\pi(n)$ | 25 | 168 | 1229 | 9592 | 78498 | 664579 | 5.76e+6 | 5.08e+7 | 4.55e+8 | #### 高度合成数 @@ -19,10 +19,10 @@ | $n$ | $2$ | $3$ | $5$ | $7$ | $11$ | $13$ | $17$ | $19$ | $23$ | $29$ | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | -| $n\\#$ | 2 | 6 | 30 | 210 | 2310 | 30030 | 510510 | 9699690 | $2.2 \times 10^8$ | $6.5 \times 10^9$ | +| $n\\#$ | 2 | 6 | 30 | 210 | 2310 | 30030 | 510510 | 9.70e+6 | 2.23e+8 | 6.47e+9 | #### 階乗 -| $5!$ | $6!$ | $7!$ | $8!$ | $9!$ | $10!$ | $11!$ | $12!$ | -| --- | --- | --- | --- | --- | --- | --- | --- | -| 120 | 720 | 5040 | 40320 | 362880 | 3628800 | $4.0 \times 10^7$ | $4.8 \times 10^8$ | +| $4!$ | $5!$ | $6!$ | $7!$ | $8!$ | $9!$ | $10!$ | $11!$ | $12!$ | $13!$ | +| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | +| 24 | 120 | 720 | 5040 | 40320 | 362880 | 3.63e+6 | 3.99e+7 | 4.79e+8 | 6.23e+9 |