長野県の男性が自作パソコンで計算した 5 兆桁の円周率がギネス認定 | スラド サイエンス
長野県の近藤茂氏の計算した 5 兆桁の円周率が、「最も正確な円周率」としてギネス世界記録に認定された (The Mainichi Daily News の記事、YOMIURI ONLINE の記事より) 。 この記録は、QEMU や FFMPEG の開発者として知られる Fabrice Bellard 氏が 2009 年末に達成した従来の世界記録、約 2.7 兆桁を大きく上回るものだ。近藤氏は昨年 8 月、90 日かけて計算を完了し、ギネス世界記録に申請していた。記録は 1 月 13 日付で認定されたが、「返信の封筒が薄かったので、申請は却下されたのではないかと心配した」とのこと。認定証は計算に使用したプログラムを作成した米国の大学院生 Alexander Yee 氏との連名になっている。 次の目標は 10 兆桁の円周率を計算することで、大きなトラブルがなければ 7 月にも達成できるだろう
GNU/Linux上で円周率の計算をおこなう
[NEW] gmp-4.2.3とgmp-4.2.4は見送り[20081007] ライブラリのコードを精査した所、円周率の処理速度に影響を与える改良が されていなかったため、ベンチマーク利用は見送ります。 はじめに そもそもは、円周率計算のプログラムをケースにしてGMPの能力の限界はどれ くらいかということを試していたのだが、手段が目的化してしまい、そのなれ の果てがこの結果である。 まずは小数点以下100万桁までを求めてみる 準備 GMP (GNU Multi-Precision)ライブラリを使うが、ディストリビューションの デフォルトでついてくるライブラリは遅い。正確に言うと、使っているハード ウェアに最適化していない汎用の環境を前提にライブラリはコンパイルされて いるため、さらに最適化することができる。 GMPのソースコードを入手する ( http://gmplib.org/
円周率の無理性の証明 - Wikipedia
円周率の無理性の証明（えんしゅうりつのむりせいのしょうめい）は、円周率が無理数であること、すなわち円周率の小数展開が無限に続き、しかも循環しないことの証明である。円周率が無理数であること自体はよく知られた事実であるが、その証明を目にする機会はあまりない[1]。知られている中で最も簡単な証明は、初等的な微分積分学のみを用いるものである。 円周率は古代から考察の対象とされ、無理数であることは紀元前4世紀のアリストテレスが予想していたが、証明されたのは二千年以上後のことである。1761年、ドイツの数学者ヨハン・ハインリッヒ・ランベルトは、正接関数の無限連分数表示 を用いて、初めて円周率の無理性を示した[2]。その証明は現代的にはやや不満の残るものであったが、1794年にフランスのアドリアン＝マリ・ルジャンドルは厳密な証明を与え、さらに π2 も無理数であることを発見した。したがってルジャンドルは
任意の有限数列が、πを小数展開した時に、現れるかどうかを判定、あるいは、証明する事は出来ますか。…
任意の有限数列が、πを小数展開した時に、現れるかどうかを判定、あるいは、証明する事は出来ますか。 または、πを展開した数列には、決して現れない有限の長さの数列を構成できますか（または存在を証明できますか）？ 錯誤や思いっ切り間違った答えは、ご遠慮願いたいのですが、ある程度の段階のアイデアは歓迎します。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
