時空 解 さんの日記
12月
25
(火)
12月
26
(水)
12月
27
(木)
12月
28
(金)
12月
29
(土)
カテゴリー
マスペディア 1000
皆さん、おはようございます。時空 解です。
久しぶりにマスペディア1000からの話題です。今日はトピック172から174までの内容を加味して、素数判定法について書いてみます。
現代、素数判定法として採用されている方法はリュカ-レーマーテストと呼ばれている方法が一般的のようです。この方法は GIMPS にも採用されています。
リュカ-レーマーテストとはどんな判定方法かを簡素に書いてみると、下記のようになりますかね。
・ある整数 $ n $ が...
続きを読む
| 閲覧(5143)
12月
30
(日)
12月
31
(月)
1月
1
(火)
1月
2
(水)
1月
3
(木)
1月
4
(金)
1月
5
(土)
1月
6
(日)
1月
7
(月)
カテゴリー
マスペディア 1000
皆さん、おはようございます。時空 解です。
今日はマスペディア1000 の第175番目のトピック "素数計数関数" をについて書いてみます。
素数計数関数とは素数の個数に関するもので、Wikipedia によるとこんな風に書かれています。
正の実数にそれ以下の素数の個数を対応させる関数
シンプルな定義ですね。それにこの関数を表す記号に $ \pi $ を使うところがなんとも言えません。...
続きを読む
| 閲覧(3991)
1月
8
(火)
1月
9
(水)
1月
10
(木)
1月
11
(金)
1月
12
(土)
カテゴリー
数学
皆さん、おはようございます。時空 解です。
数学の学習を再開し始めたのですが、どうにも集合論の問題でつまずいています。5日間が過ぎてしまいました。
今年はブログでは反省しないように心掛けよう…なんて思っていたのですが、結局は書かずにはいられない状況になっています。自分ながらもどかしい限りです。
現在、青チャート「改訂版 チャート式 基礎からの 数学I+A」の p302 練習4につまずいています。以前学習したところなので、解けるはずだ...
1月
13
(日)