wikiとmathに関するsymbioticwormのブックマーク (14)

  • 眠り姫問題 - Wikipedia

    眠り姫問題(ねむりひめもんだい、英: Sleeping Beauty problem)は、決定理論、確率論に関する思考実験である。内容はシンプルでありながら、専門家同士でも答えが分かれるパラドックスでもある。 歴史[編集] この問題は1980年代半ばにアーノルド・ズボフ(後に「One Self: The Logic of Experience」[1]として出版された)による未発表の作品で提案され、アダム・エルガによる論文が続いた[2]。記憶の消去を伴う決定問題における信念形成問題の形式的な分析は、ミシェル・ピッチョーネとアリエル・ルービンシュタインの論文によって最初に提案された[3][4]。「眠り姫問題」という名前はロバート・スタルネーカーによって付けられた。ニュースグループrec.puzzlesの1999年の広範な議論で最初に使用された[5]。 問題[編集] 実験の参加者である眠り姫は、

  • アレクサンドル・グロタンディーク - Wikipedia

    アレクサンドル・グロタンディーク(Alexander Grothendieck, 1928年3月28日 - 2014年11月13日[1])は、主にフランスで活躍した、ドイツ出身のユダヤ系フランス人の数学者である。 日数学界では彼は「グロタンディク」、「グロタンディック」、「グロタンディエク」、「グロタンディエック」、「グロテンディーク」、「グローテーンディーク」などと表記されている[2][注 1]。 業績[編集] 主要な業績にスキームの考案による代数幾何学の大幅な書き直し、l-進コホモロジー(エタール・コホモロジー)、クリスタリンヌ・コホモロジーの発見によるヴェイユ予想への貢献、モチーフおよびモチヴィック・ガロア群の考察、遠アーベル幾何学の提唱、子供のデッサン(Dessins d'enfants)の考察等、基的かつ深い洞察から多くの新たなる分野を開拓した。他降下理論、グロタンディーク

    アレクサンドル・グロタンディーク - Wikipedia
    symbioticworm
    symbioticworm 2022/01/27
    “自然数57は「グロタンディーク素数」と呼ばれる。”
  • Monte Carlo tree search - Wikipedia

    In computer science, Monte Carlo tree search (MCTS) is a heuristic search algorithm for some kinds of decision processes, most notably those employed in software that plays board games. In that context MCTS is used to solve the game tree. MCTS was combined with neural networks in 2016[1] and has been used in multiple board games like Chess, Shogi,[2] Checkers, Backgammon, Contract Bridge, Go, Scra

    Monte Carlo tree search - Wikipedia
  • ラングトンのアリ - Wikipedia

    11000ステップ経ったラングトンのアリ。赤い点のところにアリがいる。 ラングトンのアリ(英: Langton's ant)は、クリストファー・ラングトンが発明した単純な規則で記述される2次元チューリングマシンである。 概要[編集] ラングトンのアリが200ステップ移動するまでのアニメーション 平面が格子状に構成され、各マスが白または黒で塗られる。ここで、1つのマスを「アリ」とする。アリは各ステップで前後左右のいずれかのマスに移動することができる。アリは以下の規則に従って移動する。 白いマスにアリがいた場合、90°右に方向転換し、そのマスの色を反転させ、1マス前進する。 黒いマスにアリがいた場合、90°左に方向転換し、そのマスの色を反転させ、1マス前進する。 この単純な規則で驚くほど複雑な動作をする。当初でたらめな動作をしているが、アリはいずれ例外なく10000歩ほどうろついた後に真っ直ぐ

    ラングトンのアリ - Wikipedia
  • ウラムの螺旋 - Wikipedia

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

    ウラムの螺旋 - Wikipedia
    symbioticworm
    symbioticworm 2014/07/02
    “ウラムの螺旋”
  • 一様多面体 - Wikipedia

    一様多面体(いちようためんたい)とは、全ての構成面が正多角形で、かつ頂点の形状が全て合同な立体のことである。5種類の正多面体、4種類の星型正多面体、13種類の半正多面体、その他の53種類の一様多面体で総計75種類であることが、H.S.M.コクセターらによって確認され、後にJ.スキリングによって証明された。正角柱、反角柱、ミラーの立体などもこの条件を満たすが、一様多面体には含めないことが多い。 一様多面体の一覧[編集] 正多面体[編集] 画像 名前 ワイソフ記号 頂点形状

  • シンプソンのパラドックス - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "シンプソンのパラドックス" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2012年10月) 母集団全体では負の相関があるにもかかわらず、各層では正の相関があるといった逆転現象が起こり得る。 シンプソンのパラドックス(英: Simpson's paradox)もしくはユール=シンプソン効果(英: Yule–Simpson effect)は1951年にイギリスの統計学者エドワード・H・シンプソン(英語版)によって記述された統計学的なパラドックスである[1]。母集団での相関と、母集団を分割した集団での相関は、異なっている場合があるという逆説。

    シンプソンのパラドックス - Wikipedia
  • バックプロパゲーション - Wikipedia

    バックプロパゲーション(英: Backpropagation)または誤差逆伝播法(ごさぎゃくでんぱほう)[1]はニューラルネットワークの学習アルゴリズムである[2]。 概要[編集] バックプロパゲーションは数理モデルであるニューラルネットワークの重みを層の数に関わらず更新できる(学習できる)アルゴリズムである。ディープラーニングの主な学習手法として利用される。 そのアルゴリズムは次の通りである: ニューラルネットワークに学習のためのサンプルを与える。 ネットワークの出力を求め、出力層における誤差を求める。その誤差を用い、各出力ニューロンについて誤差を計算する。 個々のニューロンの期待される出力値と倍率 (scaling factor)、要求された出力と実際の出力の差を計算する。これを局所誤差と言う。 各ニューロンの重みを局所誤差が小さくなるよう調整する。 より大きな重みで接続された前段のニ

    バックプロパゲーション - Wikipedia
  • Ultra - Wikipedia

  • コルモゴロフ複雑性 - Wikipedia

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

    コルモゴロフ複雑性 - Wikipedia
  • 違法素数 - Wikipedia

    違法素数(いほうそすう/英: illegal prime)とは、素数のうち、違法となるような情報やコンピュータプログラムを含む数字。違法数(英語版)の一種である。 2001年、違法素数の1つが発見された。この数はある規則に従って変換すると、DVDのデジタル著作権管理を回避するコンピュータプログラムとして実行可能であり、そのプログラムはアメリカ合衆国のデジタルミレニアム著作権法で違法とされている[1]。 経緯[編集] DVDのコピーガードを破るコンピュータプログラムDeCSSのソースコード 1999年、ヨン・レック・ヨハンセンはDVDのコピーガード (Content Scramble System; CSS)を破るコンピュータプログラム「DeCSS」を発表した。ところが2001年5月30日、アメリカ合衆国の裁判所は、このプログラムの使用を違法としただけではなく、ソースコードの公表も違法である

  • ヒルベルトの第12問題 - Wikipedia

    ヒルベルトの第12問題(ヒルベルトのだい12もんだい、英: Hilbert's twelfth problem; ヒルベルトの23の問題より)またはクロネッカーの青春の夢(クロネッカーのせいしゅんのゆめ、Kronecker's Jugendtraum)は、「代数体のアーベル拡大は、もとの体に適当な解析函数の特殊値を添加してできる拡大体に含まれなければならない」という代数体のアーベル拡大を具体的に構成する方法を問う問題である。 有理数体にたいしては、そのアーベル拡大は円分体にふくまれるというクロネッカー・ウェーバーの定理が知られており、円分体は1のべき根により生成されるという具体的な構成法があたえられる。 虚数乗法の古典的な理論は「クロネッカーの青春の夢」として知られており、上の問題において代数体として虚二次体を選んだ場合の解答である。クロネッカーは、気に入った青春の夢 liebster J

  • 六万五千五百三十七角形 - Wikipedia

    正65537角形を描くSVGの出力結果。ほとんど円と見分けがつかない。 六万五千五百三十七角形(ろくまんごせんごひゃくさんじゅうしちかくけい、ろくまんごせんごひゃくさんじゅうななかっけい)は、65537の辺と65537個の頂点を持つ多角形である。内角の和は11796300°、対角線の数は2147450879である。 正65537角形は、定規とコンパスで作図できる。作図可能な正多角形は無数に存在するが、正多角形の作図法は正素数角形の場合に帰着されるのであり、正65537角形は作図可能な正素数角形のうちで辺の個数が最大であると予想されている正多角形である。以下、正65537角形について記述する。 性質[編集] 正65537角形の形状は、辺の数が非常に多いためほとんど真円と見分けが付かない。正65537角形の中心角と外角の大きさは

    六万五千五百三十七角形 - Wikipedia
  • アトラクター - Wikipedia

    離散時間力学系のグモウスキー・ミラの写像で現れるストレンジアトラクター。赤い軌道が複雑な黒点の連なりの領域へ引き込まれる。 連続時間力学系のファン・デル・ポール方程式で現れる周期アトラクター。軌道は各矢印に沿って赤い閉曲線へ引き込まれる。 力学系におけるアトラクター(英語: attractor)とは、時間発展する軌道を引き付ける性質を持った相空間上の領域である。力学系において重要なトピックの一つ。引き込まれた後の軌道は、アトラクター内に留まり続ける。アトラクターへ引き込まれる初期値の集合はベイスンや吸引領域と呼ばれる。 アトラクターは、その構造・性質にもとづき点アトラクター、周期アトラクター、準周期アトラクター、ストレンジアトラクターの4種類に分類される。点アトラクターはもっとも単純で、周りの軌道を引き寄せる1つの点である。周期アトラクターと準周期アトラクターは、連続力学系でいえばそれぞれ

    アトラクター - Wikipedia
  • 1