チャイティンの定数 - Wikipedia
チャイティンの定数（チャイティンのていすう、英: Chaitin's constant）は、計算機科学の一分野であるアルゴリズム情報理論の概念で、非形式的に言えば無作為に選択されたプログラムが停止する確率を表した実数である。グレゴリー・チャイティンの研究から生まれた。停止確率（ていしかくりつ、英: Halting probability）とも。 停止確率は無限に多数存在するが、Ω という文字でそれらをあたかも1つであるかのように表すのが普通である。Ω はプログラムを符号化する方式に依存するので、符号化方式を特定せずに議論する場合は Chaitin's construction と呼ぶことがある。 個々の停止確率は正規かつ超越的な実数であり、計算不可能である。つまりその各桁を列挙するアルゴリズムは存在しない。 停止確率の定義は「接頭属性のある完備計算可能関数」の存在に依存している。そのような
乱数列 - Wikipedia
乱数列（らんすうれつ）とはランダムな数列のこと。 数学的に述べれば、今得られている数列 から次の数列の値 が予測できない数列。乱数列の各要素を乱数（らんすう）という。もう少し具体的には、漸化式や関数で定義できない数列を構成する数を乱数ということもできる。 決定的オートマトン (en:deterministic automaton) であるコンピュータでは、基本的には確定的な計算によってしか数列を作ることができない。しかし、確定的な計算によって作られた数列でありながら、用途において必要とする統計的な性質に関して、サイコロなどで作られた乱数列を近似した数列の生成法があり、そのようにして生成された数列を擬似乱数列という。特にコンピュータへの実装に関しては、ビット列を生成することから Deterministic Random Bit Generator (DRBG) という語もある。「乱数列と近似
正規数 - Wikipedia
数学における正規数（せいきすう、（英: normal number）とは、実数のうち、その小数部の数字が一様に分布し、数字の列が現れる頻度に偏りがないものをいう（より詳細な定義については #定義 を参照）。 r 進法での表示についてこの性質を持つ数を r 進正規数という。単に正規数と述べた場合は、2 以上の任意の整数 r に対して r 進正規数であることを意味する。 一般論としてほとんど全ての実数が正規数であることが知られているが、その証明は構成的（英語版）でないため、正規数であることが判明している具体的な数は非常に限られている。例えば、2の平方根、円周率、ネイピア数はそれぞれ正規数だと予想されているが、その通りか否かは未だ知られていない。 定義[編集] 本記事では数学のみならず計算機科学の用語および記号も用いる。Σ を r 個の文字の集合（アルファベット）とする。Σ∞ で Σ の元からな
超越数 - Wikipedia
円周率 π は超越数であるため、コンパスと定規を有限回用いて円と等面積の正方形を作図することは不可能である。 超越数（ちょうえつすう、英: transcendental number）とは、代数的数でない複素数、すなわちどの有理係数の代数方程式 （n は正の整数、各 ai は有理数） の解（英語版）にもならない複素数のことである。有理数は一次方程式の解であるから、超越的な実数はすべて無理数であるが、例えば無理数 √2 は二次方程式 x2 − 2 = 0 の解であるから、その逆は成り立たない。超越数論は、超越数について研究する数学の分野で、与えられた数の超越性の判定などが主な問題である。 よく知られた超越数にネイピア数 e（自然対数の底）や円周率 πがあり、またほとんど全ての複素数が超越数であることが分かっている。ただし超越性が示されている複素数のクラスはほんの僅かであり、与えられた数が超越
操作主義 - Wikipedia
エドワード・T・ホールによる対人距離の図。「間柄の親密さ」という概念を、相手と接する「距離」で操作化した例。 操作主義（そうさしゅぎ、英:operationalism）とは、特に心理学、社会科学、生命科学、物理学分野の研究設計 (research design) において、他の現象からその存在が推定されるが直接には測定できない現象について測定を定義するプロセス（操作化）から理解しようとする思想原則である。 操作化は、例えばファジー概念[注釈 1]を実証観察によって明確に判別可能で測定可能かつ理解しやすいものに定義する。広義には、概念の外延を定義して、その概念の事例が何であって何ではないのかを説明する。 例えば、医学では健康という現象をボディマス指数や喫煙のような一つ以上の指標によって操作できるようにする。操作化したりする。もう一つ例を挙げると、視覚処理において周囲にある特定対象物の有無はそ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
イベント開催支援ツール アテンド : ATND
