For faster navigation, this Iframe is preloading the Wikiwand page for 巨大数.

巨大数

この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年5月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、((翻訳告知|en|Large numbers|…))をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

巨大数(きょだいすう、large numbers)とは、日常生活において使用される数よりも巨大な実数)のことである。非常に巨大な数は、数学天文学宇宙論暗号理論インターネットコンピュータなどの分野でしばしば登場する。天文学的数字(てんもんがくてきすうじ)と呼ばれることもある。

主にインターネット上で、巨大数やその定義、およびそれを支える理論等を研究する数学のコミュニティがあり、その理論は巨大数論(きょだいすうろん)、あるいはグーゴルにちなんで[1]グーゴロジー (googology) と呼ばれる。

[編集]

身近な事物にまつわる数字の中で特に大きいものを挙げる。

天文学の巨大数

[編集]

億や兆を大きく超えた数字のことを「天文学的」と形容するように、宇宙および天文学に関連する話題では巨大数が登場することが多い。

以下の数値は数があまりにも巨大であるため、単位をどのように取っても(すなわち長さの場合は「メートル」でも「光年」でも、時間の場合は「」でも「」でも)無視できる範囲で近似する。

組合せ論の巨大数

[編集]

組合せ数学において、組合せの場合の数などは急激に大きくなる数で、組合せ爆発といった語もある。

  • 16 × 16マスに区切られた格子状の道路を、同じ交差点を2度通らずに左上から右下まで向かう道順の数 - 約6.87 × 1061通り[6][7]
  • トランプ52枚を一列に並べる並べ方 - 52! ≈8.066 × 1067通り
  • 囲碁19路盤の着点の総数は192 (361目)、ここに黒石、白石、空点をランダムに配置する組合せの総数は3361、この中からルール上合法な局面の総数は約2.1×10170となる[8]
  • グラハム数

歴史

[編集]

19世紀以前で見られる巨大な数への言及は例えば以下のようなものがある:

アルキメデスが『砂粒を数えるもの』で想定した最大の数である「第億期の数」の108×1016や、仏教の経典の華厳経における「不可説不可説転」(八十華厳の107×2122≒103.7×1037の値が有名)などは、古代においてテトレーションレベルに接近するほどの巨大な数を想定した数少ない例である。

1976年ドナルド・クヌースは、「巨大な数量をどれほど上手く取り扱えるか」ということを論じる「Mathematics and Computer Science: Coping with Finiteness」という記事[9]を発表し、この本文中でクヌースの矢印表記を提案した。翌1977年にはこの矢印表記を用いて、マーティン・ガードナーが自身の連載「数学ゲーム」でグラハム数を紹介しており、以降もレオ・スタインハウスジョン・ホートン・コンウェイといった人々が巨大数にまつわる記事を執筆している。

インターネットにおける巨大数の活動としては、1996年にロバート・ムナフォが『Large Numbers』というページを開設している[10][1]。以来、アマチュアの(しばしばプロの)数学者たちによるコミュニティが活動を続けている[1]

巨大数の表記法

[編集]

科学技術分野において大きな数量を表す際には指数表記が使われるが、非常に巨大な数(例えばスキューズ数)はもはや指数で表記しても巨大な数量となってしまい、二重指数関数やそれ以上の関数を用いた表記が必要となる。特に現実世界の事物で例えることが不可能なほどの巨大数の表現が可能である表記法については、例えば以下のような事例がある:

  • ルーディ・ラッカー10Nを「N-plex」と呼ぶことを提案した[11]
  • クヌースの矢印表記は、指数の積み重なりである指数タワーを記述するための、非常に単純な表記法である。
  • ハイパー演算子は、加法の繰り返しで乗法、乗法の繰り返しで冪乗を作ることを発展し、新たな演算を作っていくものであり、本質的にはクヌースの矢印表記の別表記である。
  • コンウェイのチェーン表記は、クヌースの矢印表記の「矢印の増加」そのものの繰り返し、『「矢印の増加」に繰り返しを入れること』の繰り返しなどを表現できるようにし、さらに巨大な数を表せるようにしたものである。
  • スタインハウス・モーザーの多角形表記は、巨大数を示すために多角形を使用している。
  • 超階乗および階冪階乗を拡張したものである。
  • アッカーマン関数は、どのような原始再帰関数よりも早く増大する帰納的関数の例である。すなわち、どのような原始再帰関数であっても、その引数が十分大きいならば、アッカーマン関数の方が値が大きくなる。
  • 配列表記はコンウェイのチェーン表記およびその拡張表記よりも効率的に数の大きさを爆発させることができるようにした記法であり、アッカーマン関数の拡張である多変数アッカーマン関数と同程度の増加速度である。
  • BEAFは配列表記の拡張の最終形態の一つである。
  • 急成長階層は、順序数でパラメータ付けられた自然数関数の階層であり、最初のω層の合併が原始再帰関数のクラスに一致することと、より大きい順序数で添え字づけられた関数は小さいものを最終的に支配する(eventually majorize)という性質を持つために巨大数およびそれを生み出す関数の大小評価に用いられる。

出典

[編集]
  1. ^ a b c フィッシュ(著)、樫田祐一郎(編)「巨大数論発展の軌跡」『現代思想』、青土社、2019年12月1日、19-28頁、ISBN 978-4-7917-1389-9 
  2. ^ RFC 1321
  3. ^ ZIMBABWE: Inflation at 6.5 quindecillion novemdecillion percent 2009年1月21日、Forbes ASIA、2019年1月26日閲覧
  4. ^ Weisstein, Eric W.. “Eddington Number” (英語). mathworld.wolfram.com. 2021年9月17日閲覧。
  5. ^ "Susskind's Challenge to the Hartle-Hawking No-Boundary Proposal and Possible Resolutions"
  6. ^ 「フカシギの数え方」 同じところを2度通らない道順の数”. 2021年3月24日閲覧。
  7. ^ A007764 - OEIS”. The OEIS Foundation Inc.. 2021年3月24日閲覧。
  8. ^ John Tromp; Gunnar Farnebäck (2007). Combinatorics of Go. Lecture Notes in Computer Science. 4630. Springer. doi:10.1007/978-3-540-75538-8_8. https://tromp.github.io/go/gostate.pdf. 
  9. ^ Knuth, Donald E. (1976-12-17). “Mathematics and Computer Science: Coping with Finiteness” (英語). Science 194 (4271): 1235–1242. doi:10.1126/science.194.4271.1235. ISSN 0036-8075. PMID 17797067. https://science.sciencemag.org/content/194/4271/1235. 
  10. ^ https://mrob.com/pub/math/largenum.html
  11. ^ Rucker, Rudy v. B. (2013). Mind tools : the five levels of mathematical reality. Mineola, New York. ISBN 978-0-486-78219-5. OCLC 867771556. https://www.worldcat.org/oclc/867771556 
{{bottomLinkPreText}} {{bottomLinkText}}
巨大数
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?