本記事では、数学定数のひとつである円周率の歴史（えんしゅうりつのれきし）について詳述する。 円周率 π は無理数であるため、小数部分は循環せず無限に続く。さらに、円周率 π は超越数でもあるため、その連分数表示は循環しない。その近似値は何千年にも亘り世界中で計算されてきた。 紀元前2000年頃 [値] (2) 1936年にスーサで発見された粘土板などから、古代バビロニアでは、正六角形の周と円周を比べ、円周率の近似値として 3 や 3+1/7 = 22/7, 3+1/8 などが使われたと考えられている[1]。 紀元前1650年頃 [学][値] 既に、古代エジプトでは、円周と直径の比の値と、円の面積と半径の平方の比の値が等しいことは知られていた。神官アハメスが書き残したリンド・パピルスには、円積問題の古典的な解法の一つが記されており、円の直径からその 1/9 を引いた長さを一辺とする正方形の面

ゴッドフレイ・ハロルド・ハーディとジョン・エデンサー・リトルウッドは1923年のゴールドバッハの予想に関する論文の中でいくつかの予想を述べているが（ハーディ・リトルウッド予想と総称される）、その中にはもし真であればウラムの螺旋の特に目立つ特徴について説明を与える可能性があるものが含まれている。ハーディとリトルウッドが“F予想”と呼ぶこの予想は、ベイトマン・ホーン予想（英語版）の特殊な場合であり、ax2 + bx + cの形をした素数の個数の漸近式について主張するものである。ウラムの螺旋の中央部から生じる、水平線と垂線に対し45°の角度をなす半直線上に乗る数字は4x2 + bx + cで表すことができ、ここにbは偶数である。水平もしくは垂直な半直線の上に乗る数字は先述の公式でbが奇数の場合である。F予想は、こうした半直線上に乗る素数の密度を見積もる公式を与える。これは半直線によって密度が相当

The 15th monohedral convex pentagonal type, discovered in 2015 In geometry, a pentagonal tiling is a tiling of the plane where each individual piece is in the shape of a pentagon. A regular pentagonal tiling on the Euclidean plane is impossible because the internal angle of a regular pentagon, 108°, is not a divisor of 360°, the angle measure of a whole turn. However, regular pentagons can tile th

グリゴリー・ヤコヴレヴィチ・ペレルマンまたはペレリマン（ロシア語: Григо́рий Я́ковлевич Перельма́н [ɡrʲɪˈɡorʲɪj ˈjakəvlʲɪvʲɪtɕ pʲɪrʲɪlʲˈman] ( 音声ファイル), Grigori Yakovlevich Perelman, 1966年6月13日 – ）は、ロシア出身の数学者。ロシア系ユダヤ人[1]。 ミレニアム懸賞問題の一つであるポアンカレ予想を、多くの数学者が位相幾何学（トポロジー）の観点から挑戦する中、微分幾何学や物理学的アプローチで解決したことで知られる。 サンクトペテルブルク生まれ。元ステクロフ数学研究所数理物理学研究室所属。専門は幾何学・大域解析学 (Global Analysis) ・数理物理学。電気技術者の父と数学教師の母の間に生まれる。幼少期に母親から数学の英才教育を受け、なおかつ自らも数学や科学を好

ヒュパティア（古代ギリシャ語: Ὑπατία, ラテン文字転写: Hypatia, 350年から370年頃 - 415年3月）は、東ローマ時代のエジプトで活動したギリシャ系の数学者・天文学者・新プラトン主義哲学者。ハイパティアともヒパティアとも呼ばれる。 『ヒュパティア』（チャールズ・ウィリアム・ミッチェル画） アレクサンドリアのテオンの娘として生まれ、新プラトン主義の創始者プロティノスと新プラトン主義のシリアでの分派の創設者イアンブリコスの2人の学統を継いだ。400年頃、アレクサンドリアの新プラトン主義哲学の学校長に就任し、プラトンやアリストテレスの思想について講義を行った。当時のヒュパティアとの書簡、例えば、シュネシオス[注 1]がヒュパティア宛に出した書簡が7通現存している。 ヒュパティアは様々な書物に対して註解を著した。後世の『スーダ辞典』によれば、ディオファントスが著した『算術』

このブログをはじめてから2年8か月と少し（ちょうど1000日くらい）が経った。 これまでに公開したエントリの数は299。 つまり、このエントリは記念すべき第300号！というわけ。 ブログとしてある程度の存在を認められるには300記事が1つの目安であるという説があるので[要出典]、 この300回目のエントリは当ブログにとって大きな節目と言える。 前回299号のエントリでは「なぜWikioediaはわかりにくいのか（数学とか）」という内容を書いた。 そこで言いたかったことを3行でまとめると次の通り。 ■ Wikipediaの説明は理工系の初学者にはわかりにくいね。 ■ そもそも説明のアプローチ（思想とも言う）が違うので、わかりにくくて当然だね。 ■ もっとわかりやすい説明の仕方がありそうだね。特に図を使った説明は直観的な理解を助ける力があるね。 まぁ、だいたいこんな感じ。 そして、その記事につ

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2022年3月） セル・オートマトンの一種ライフゲームで、ゴスパー（英語版）のグライダー銃がグライダーを放っているところ[1] セル・オートマトン（英: cellular automaton、略称：CA）とは、格子状のセルと単純な規則による、離散的計算モデルである。 計算可能性理論、数学、物理学、複雑適応系、数理生物学、微小構造モデリングなどの研究で利用される。非常に単純化されたモデルであるが、生命現象、結晶の成長、乱流といった複雑な自然現象を模した、驚くほどに豊かな結果を与えてくれる。 正確な発音に近いセルラ・オートマトンとも呼ばれることがある。セルは「細胞」「小部屋」、セルラは「細胞状の」、オートマトンは「

コルモゴロフ複雑性（コルモゴロフふくざつせい、英語: Kolmogorov complexity）とは、計算機科学において有限長のデータ列の複雑さを表す指標のひとつで、出力結果がそのデータに一致するプログラムの長さの最小値として定義される。コルモゴロフ複雑度、コルモゴロフ＝チャイティン複雑性 (Kolmogorov-Chaitin complexity) とも呼ばれる。 この画像はフラクタル図形であるマンデルブロ集合の一部である。このJPEGファイルのサイズは17KB以上（約140,000ビット）ある。ところが、これと同じファイルは140,000ビットよりも遥かに小さいコンピュータ・プログラムによって作成することが出来る。従って、このJPEGファイルのコルモゴロフ複雑性は140,000よりも遥かに小さい。 コルモゴロフ複雑性の概念は一見すると単純なものであるが、チューリングの停止問題やゲー

数学上の未解決問題（すうがくじょうのみかいけつもんだい、英: unsolved problems in mathematics）とは、未だ解決されていない数学上の問題のことで、未解決問題の定義を「未だ証明が得られていない命題」という立場を取るのであれば、そういった問題は数学界に果てしなく存在する。ここでは、リーマン予想のようにその証明結果が数学全域と関わりを持つような命題、P≠NP予想のようにその結論が現代科学、技術のあり方に甚大な影響を及ぼす可能性があるような命題、問いかけのシンプルさ故に数多くの数学者や数学愛好家たちが証明を試みてきたような有名な命題を列挙する。

バナッハ＝タルスキーのパラドックス: 球を適当に分割して、組み替えることで、元と同じ球を2つ作ることができる。 バナッハ＝タルスキーのパラドックス (Banach-Tarski paradox) は、球を3次元空間内で、有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができるという定理（ただし、各断片は通常の意味で体積を定義できない）。この操作を行うために球を最低5つに分割する必要がある。 バナッハ＝タルスキーの証明では、ハウスドルフのパラドックスが援用され、その後、多くの人により証明の最適化、様々な空間への拡張が行われた。 結果が直観に反することから、定理であるが「パラドックス」と呼ばれる。証明の1箇所で選択公理を使うため、選択公理の不合理性を論じる文脈で引用されることがある。ステファン・バナフ（バナッハ）とアルフレト

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "マンデルブロ集合" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2015年3月) 左上：場所 a の拡大図，右上：場所 b の拡大図，左下：場所 c の拡大図，右下：全体図 次の漸化式 で定義される複素数列 {zn}n∈N∪{0} が n → ∞ の極限で無限大に発散しないという条件を満たす複素数 c 全体が作る集合がマンデルブロ集合である[1]。 複素数 c を複素平面上の点として（あるいは同じことだが c = a + ib と表して c を xy-平面上の点 (a, b) として）表すと、この平面上でマンデルブロ集合はフラクタル

シェルピンスキーのギャスケットの構造のアニメーション（無限のうち9回まで） フラクタルの具体的な例としては、海岸線の形などが挙げられる。一般的な図形は複雑に入り組んだ形状をしていても、拡大するに従ってその細部は変化が少なくなり、滑らかな形状になっていく。これに対して海岸線は、どれだけ拡大しても同じように複雑に入り組んだ形状が現れる。 そして海岸線の長さを測ろうとする場合、より小さい物差しで測れば測るほど大きな物差しでは無視されていた微細な凹凸が測定されるようになり、その測定値は長くなっていく。したがって、このような図形の長さは無限大であると考えられる。これは、実際問題としては分子の大きさ程度よりも小さい物差しを用いることは不可能だが、理論的な極限としては測定値が無限大になるということである。つまり、無限の精度を要求されれば測り終えることはないということである（海岸線のパラドックス）。 この