パスワードを忘れた? アカウント作成
2019年1月 記事 / 日記 / コメント / タレコミ
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
2019年1月6日の人気コメントトップ10
13808695 comment

annoymouse cowardのコメント: Re:素数探求はレースじゃねぇ (スコア 5, 参考になる) 53

> 素数の計算と違ってどこを計算するかとかどこから計算を始めるかといった選択の余地が一切ない

以前はそう考えられていましたが
1995年に円周率のn桁目だけを直接計算する数式が発見されています.

実際の式と,その実装であるBBPアルゴリズムについては
以下のページあたりが参考になると思います
http://www.kk62526.server-shared.com/pi/BBP.html

これを応用することで,
今では,円周率のN桁目からM桁目だけを計算するといった選択の余地ができています.

たとえば円周率計算を2兆桁まで計算!などのニュースが時々流れますが
その計算結果の検算でBBPアルゴリズムがよく使われます.

つまり,2兆桁の円周率からランダムにN桁目からM桁目を選んで,
その値をBBPアルゴリズムで計算した値と比較,
一致したら計算結果は間違ってはなさそうと判断するわけです.
(もちろん厳密な判定には他の検算方法も組み合わせます)

13808710 comment

annoymouse cowardのコメント: Re:任意精度の数値表記標準フォーマット (スコア 3, 興味深い) 53

プログラムで24,862,048桁もあるような巨大な数値を扱う場合は
数値は「文字列」として記述するのが普通です

たとえば比較的有名なライブラリとして
GNUの多倍長整数演算ライブラリGMPをみても,
変数に大きな値を代入するAPIはmpz_set_str関数しかありません
https://gmplib.org/manual/Assigning-Integers.html
そして,この関数の引数は null-terminated C string,つまり文字列です

ですから,この手のライブラリを使う人々にとっては
文字列が標準フォーマットです.だからファイルフィーマットはテキストファイルが普通ですし,その方が便利です.

数値計算で何日も掛かるような大掛かりな計算をする分野ですから,
24MB程度のデータファイルのサイズは気にしても意味がありません.

24,862,048文字を{}とかでくくったJSONとかXML形式とか
リトルエンディアン,ビッグエンディアンとかを考慮しなければならないバイナリ形式なんて
とても使えたものじゃないと思います.simple is best です.

13808635 comment

コメント: Re:素数でなくメルセンヌ素数 (スコア 2, 興味深い) 53

これかな?大きい素数を探すのには効率がよいそうで。

メルセンヌ数の素数判定法にはリュカ-レーマー・テストというものが考案されており、メルセンヌ数でない数の素数判定よりも早く素数であるかどうかを判定できる。
リュカ-レーマー・テストでは、随所でメルセンヌ数で割り算をするという行為が行われるのだが、コンピューターで割り算をするとなると計算時間がかかるところを、シフト演算と足し算という計算時間がかからない操作のみで割り算と同等の操作をすることができるので早く素数判定ができるようになっている。

なお、

メルセンヌ素数という形にとらわれずに最大の素数を見つけようとすることは、険しい道のりになるかもしれないが、もしも発見することができたらそれは革命的なことだ。

とも。

13808576 comment

コメント: Re:n番目のメルセンヌ素数 (スコア 2, 参考になる) 53

Wikipediaによると

>48から51番目は、2018年12月時点でより小さなメルセンヌ素数の個数を検証できていないことによる暫定的な順位である。

だそうで。

13808658 comment

コメント: Re:素数でなくメルセンヌ素数 (スコア 2, 参考になる) 53

メルセンヌ・ツイスタって擬似乱数列生成器はメルセンヌ素数219937-1を使っている。
他のメルセンヌ素数を使っても疑似乱数として使えるが、短いと周期が短いし、長いと使用メモリが増えるのでこの値を使用するのが一般的。

13808829 comment

コメント: Re:これはやばい (スコア 2, 参考になる) 43

平成29年度 交通事故の状況及び交通安全施策の現況
交通指導取締りの状況
https://www8.cao.go.jp/koutu/taisaku/h30kou_haku/zenbun/genkyo/h1/h1b1s2_5.html

既に取締件数の3位ですね。
# 手に持ったスマホをいじりながら交差点を曲がる奴とかいるので、導入して欲しい。

13808402 comment

gm300のコメント: 川崎市には、陥没予測装置があるらしい。 (スコア 1) 1

道路の下の空洞を調べる装置があるらしいです。ソナーみたいな装置で、測定データはAIで分析するって、複数の場所で聞きました。人間がずーっとグラフを見て分析するのは、時間もかかるので、まずAIで大雑把に候補を絞って、そのあと人間が調べるそうです。

画像で見るのは、やっぱり道路の幅があるかでしょうね。ちなみに、道路の端には落下物が多く、衝突しなくてもパンクすることがあります。
13808424 comment

maiaのコメント: Re:R35 GT-R (スコア 1) 12

by maia (#3543888) ネタ元: スポーツカーって何だ

GT-Rはスーパーカーでしょう。メンテナンスが面倒てのもスーパーカーらしい。1000万円級なので格安。

一方、フェアレディはスポーツカー。ざっと500万円級。国産で高性能車が結構ある。

#ところで、スポーツカーのイメージ(基準?)は86/BRZとロードスターです。コンパクトカーベースはどう捉えていいのかよく分からない。後輪駆動がポイントなのかも。

typodupeerror

にわかな奴ほど語りたがる -- あるハッカー

読み込み中...