ブラウザよりも高速アクセス！
20 関係: モスクワ、ランダム、ピーター・アクゼル、アンドレイ・コルモゴロフ、カリー＝ハワード同型対応、シカゴ大学、ジャン＝イヴ・ジラール、ストックホルム大学、スウェーデン、証明論、計算機科学、論理学者、数学者、数理論理学、1942年、1964年、1965年、1968年、1969年、1971年。
モスクワ
モスクワ（ロシア語：Москва́ IPA: マスクヴァー、）は、ロシア連邦の首都。連邦市として市単独でロシア連邦を構成する83の連邦構成主体のひとつとなっており、周囲を占めるモスクワ州の州都でもある。ただし州とは区別され「モスクワ市」(Город Москва)となる。人口は約1150万人でヨーロッパで最も人口の多い都市であり、世界有数の世界都市である。漢字による当て字は莫斯科。英語で発音した場合には、モスコーあるいはモスカウ（Moscow ）のようになる。.
新しい！!: ペール・マルティン＝レーフとモスクワ · 続きを見る »
ランダム
ランダム（random）とは、事象の発生に法則性（規則性）がなく、な状態である。ランダムネス（randomness）、無作為性（むさくいせい）ともいう。 事象・記号などのランダムな列には秩序がなく、理解可能なパターンや組み合わせに従わない。個々のランダムな事象は定義上予測不可能であるが、多くの場合、何度も試行した場合の結果の頻度は予測可能である。例えば、2つのサイコロを投げるとき、1回ごとの出目は予測できないが、合計が7になる頻度は4になる頻度の2倍になる。この見方では、ランダム性とは結果の不確実性の尺度であり、確率・情報エントロピーの概念に適用される。 数学、確率、統計の分野では、ランダム性の正式な定義が使用される。統計では、事象空間の起こり得る結果に数値を割り当てたものを確率変数(random variable)という。この関連付けは、事象の確率の識別および計算を容易にする。確率変数の列を(random sequence)という。ランダム過程（不規則過程、確率過程）は、結果が決定論的パターンに従わず、確率分布によって記述される進化に従う確率変数の列である。これらの構造と他の構造は、確率論や様々なランダム性の応用に非常に有用である。 ランダム性は、よく定義された統計的特性を示すために統計で最も頻繁に使用される。ランダムな入力（や擬似乱数発生器など）に依存するモンテカルロ法は、計算科学などの科学において重要な技術である。これに対し、では乱数列ではなく一様分布列を使用している。 無作為抽出(random selection)は、ある項目を選択する確率が母集団内におけるその項目の割合と一致している集団から項目を選択する方法である。例えば、赤い石10個と青い石90個を入れた袋に入れた場合、この袋から何らかのランダム選択メカニズムによって石を1個選択した時にそれが赤い石である確率は1/10である。しかし、ランダム選択メカニズムによって実際に10個の石を選択したときに、それが赤1個・青9個であるとは限らない。母集団が識別可能な項目で構成されている状況では、ランダム選択メカニズムは、選択される項目に等しい確率を必要とする。つまり、選択プロセスが、母集団の各メンバー（例えば、研究対象）が選択される確率が同じである場合、選択プロセスはランダムであると言うことができる。.
新しい！!: ペール・マルティン＝レーフとランダム · 続きを見る »
ピーター・アクゼル
ピーター・ヘンリー・ジョージ・アクゼル（Peter Henry George Aczel） は、英国の数理論理学者、計算機科学者。現マンチェスター大学数学・計算機科学部名誉教授。基礎の公理の成り立たない集合論（non-well-founded set theory）、フレーゲ構造（Frege structure）などの業績で知られる。.
新しい！!: ペール・マルティン＝レーフとピーター・アクゼル · 続きを見る »
アンドレイ・コルモゴロフ
アンドレイ・ニコラエヴィッチ・コルモゴロフ（Андре́й Никола́евич Колмого́ров, Andrey Nikolaevich Kolmogorov, 1903年4月25日 - 1987年10月20日）はロシアの数学者であり、確率論および位相幾何学の大きな発展に寄与した。彼以前の確率論はラプラスによる「確率の解析的理論」に基づく古典的確率論が中心であったが、彼が「測度論に基づく確率論」「確率論の基礎概念（1933年）」で公理主義的確率論を立脚させ、現代確率論の始まりとなった。 初期には直観論理やフーリエ級数に関する研究を行っており、乱流や古典力学に関する研究成果もある。また彼はアルゴリズム情報理論の創始者でもある。なお、イズライル・ゲルファント、ウラジーミル・アーノルドをはじめ、コルモゴロフには数多くの弟子がいる。.
新しい！!: ペール・マルティン＝レーフとアンドレイ・コルモゴロフ · 続きを見る »
カリー＝ハワード同型対応
リー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、Curry-Howard correspondence）とは、プログラミング言語理論と証明論において、計算機プログラムと証明との間の直接的な対応関係のことである。「プログラム＝証明」(proofs-as-programs)・「型＝命題」(formulae-as-types)などとしても知られる。これはアメリカの数学者ハスケル・カリーと論理学者ウィリアム・アルヴィン・ハワードにより最初に発見された形式論理の体系とある種の計算の体系との構文論的なアナロジーを一般化した概念である。通常はこの論理と計算の関連性はカリーとハワードに帰属される。しかしながら、このアイデアはブラウワー、ハイティング、コルモゴロフらが定式化した直観主義論理の操作的解釈の一種と関係している。 At the very beginning, the Curry–Howard correspondence is.
新しい！!: ペール・マルティン＝レーフとカリー＝ハワード同型対応 · 続きを見る »
シカゴ大学
大学（University of Chicago）は、アメリカ合衆国イリノイ州シカゴ市にある研究型私立大学。設立当初から研究に重点が置かれており、特に経済学の分野では、同校の卒業生や教員を中心とした「シカゴ学派」はしばしば政策立案や遂行に登用されている。大学のモットーは、"Crescat scientia; vita excolatur (知識を創出し人類の生活を啓発せよ)".
新しい！!: ペール・マルティン＝レーフとシカゴ大学 · 続きを見る »
ジャン＝イヴ・ジラール
ャン＝イヴ・ジラール（Jean-Yves Girard, 1947年–）は証明論の研究を行なっているフランスの論理学者。System Fの強正規化性の証明や、線形論理、相互作用の幾何、ludicsの発見などの功績がある。.
新しい！!: ペール・マルティン＝レーフとジャン＝イヴ・ジラール · 続きを見る »
ストックホルム大学
トックホルム大学（スウェーデン語:Stockholms universitet）は、スウェーデンの首都ストックホルムにある国立大学。1878年に設立され、現在39,000人あまりの学生が学び、4,600人の職員・博士号候補者がいる。 ノーベル賞受賞者や実業家、政治家を輩出している大学であり、スウェーデン、ヨーロッパで評判のいい大学のひとつである。 世界ランクにも登場するように、大規模な学校ながら比較的少人数のクラス編成で質の高い教育を行っている。学生・教職員ともに多様な国籍・人種で構成されており、男女比のバランスもよい。多様な分野の実業界出身、兼任の学生・教職員も多いため、講義・研究は実践的で、アカデミックと実務の両方に強い。修士課程以上では、英語で受講し学位を取得できるコースも複数あるが狭き門である。 また、ストックホルム市の郊外に植物園も所有しており、2007年5月には日本の天皇、皇后もスウェーデン国王夫妻と共に訪問した。 毎年12月にノーベル賞受賞者の記念講演もここで行われている。.
新しい！!: ペール・マルティン＝レーフとストックホルム大学 · 続きを見る »
スウェーデン
ウェーデン王国（スウェーデンおうこく、スウェーデン語: ）、通称スウェーデンは、北ヨーロッパのスカンディナヴィア半島に位置する立憲君主制国家。首都はストックホルム。西にノルウェー、北東にフィンランドと国境を接し、南西にカテガット海峡を挟んでデンマークと近接する。東から南にはバルト海が存在し、対岸のロシアやドイツとの関わりが深い。法定最低賃金は存在しておらず、スウェーデン国外の大企業や機関投資家に経済を左右されている。.
新しい！!: ペール・マルティン＝レーフとスウェーデン · 続きを見る »
証明論
証明論（proof theory）は、数理論理学の一分野であり、証明を数学的対象として形式的に表し、それに数学的解析を施す。.
新しい！!: ペール・マルティン＝レーフと証明論 · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: ペール・マルティン＝レーフと計算機科学 · 続きを見る »
論理学者
論理学者（ろんりがくしゃ）とは、論理学を専門に研究する人のことである。.
新しい！!: ペール・マルティン＝レーフと論理学者 · 続きを見る »
数学者
数学者（すうがくしゃ、mathematician）とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.
新しい！!: ペール・マルティン＝レーフと数学者 · 続きを見る »
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
新しい！!: ペール・マルティン＝レーフと数理論理学 · 続きを見る »
1942年
記載なし。
新しい！!: ペール・マルティン＝レーフと1942年 · 続きを見る »
1964年
記載なし。
新しい！!: ペール・マルティン＝レーフと1964年 · 続きを見る »
1965年
記載なし。
新しい！!: ペール・マルティン＝レーフと1965年 · 続きを見る »
1968年
記載なし。
新しい！!: ペール・マルティン＝レーフと1968年 · 続きを見る »
1969年
記載なし。
新しい！!: ペール・マルティン＝レーフと1969年 · 続きを見る »
1971年
記載なし。
新しい！!: ペール・マルティン＝レーフと1971年 · 続きを見る »
