ブラウザよりも高速アクセス！
25 関係: ペンシルベニア州立大学、ミリス、マサチューセッツ州、ハーバード大学、ラムダ計算、プリンストン大学、ダフィット・ヒルベルト、アムステルダム大学、アメリカ合衆国、アロンゾ・チャーチ、カリーのパラドックス、カリー化、カリー＝ハワード同型対応、ゲオルク・アウグスト大学ゲッティンゲン、コンビネータ論理、直観論理、論理学者、関数型言語、Haskell、数学者、数理論理学、1900年、1982年、9月12日、9月1日。
ペンシルベニア州立大学
ペンシルベニア州立大学（英語：The Pennsylvania State University）は、ペンシルベニア州ステートカレッジに位置する州立総合大学。.
新しい！!: ハスケル・カリーとペンシルベニア州立大学 · 続きを見る »
ミリス
#イタリアサルデーニャ州オリスターノ県のコムーネは、ミーリスを参照。.
新しい！!: ハスケル・カリーとミリス · 続きを見る »
マサチューセッツ州
マサチューセッツ州（Commonwealth of Massachusetts、）は、アメリカ合衆国の州であり、北東部ニューイングランド6州の1つでもある。マサチューセッツ州は「州」(State) の代わりにコモンウェルスを使っているが、日本語では他州と同様に「州」と訳されている。2010年度の人口は 6,547,629 人。 南はロードアイランド州とコネチカット州、西はニューヨーク州、北はバーモント州とニューハンプシャー州に接している。東は大西洋である。アメリカ合衆国50州の中で、陸地面積では第44位、人口では第14位、人口密度が第3位である。東部のボストン大都市圏と、西部のスプリングフィールド大都市圏という2つの中心地がある。人口の約3分の2はボストン大都市圏に住んでいる。州都はボストン市であり、人口最大の都市でもある。ボストン大都市圏には、ハーバード大学、マサチューセッツ工科大学などがあるケンブリッジやサマービル、クインシーなどの市町が含まれている。 マサチューセッツ州はアメリカ史の中で各分野にわたって重要な役割を演じてきた。1620年、メイフラワー号の乗船客ピルグリムによって、プリマス植民地が設立された。1636年に設立されたハーバード大学は国内最古の高等教育機関である。1692年、セイラムとその周辺ではセイラム魔女裁判と呼ばれる忌まわしい事件が起こった。18世紀、大西洋圏を席捲したプロテスタントの第一次大覚醒運動は、ノーサンプトンの説教師ジョナサン・エドワーズに端を発していた。18世紀後半には、アメリカ独立戦争とイギリスからの独立に繋がる扇動によって、ボストンは「自由の揺籃」とも呼ばれた。1777年にヘンリー・ノックス将軍が設立したスプリングフィールド造兵廠は、産業革命の時代に交換部品など多くの重要な技術進歩を促進した。1786年、州西部の農夫によるポピュリスト革命、シェイズの反乱が直接アメリカ合衆国憲法制定会議の開催に繋がる要因になった。 南北戦争以前の時代には、禁酒運動、超越論的思想、奴隷制度廃止運動の中心になった。1837年、コネチカット川バレーのサウスハドリーの町に、国内初の女子カレッジであるマウント・ホリヨーク大学が開校した。19世紀、州西部の都市、スプリングフィールドとホリヨークでバスケットボールとバレーボールが発明された。2004年、州最高裁判所の判決により、国内で初めて同性結婚を法律で認める州になった。州内からはアダムズ家やケネディ家など多くの著名政治家を輩出してきた。 マサチューセッツ州は当初漁業、農業、貿易業に依存していたが、産業革命の間に工業の中心に変わった。20世紀にはその経済が工業からサービス業に転換された。21世紀には、高等教育、医療技術、ハイテクと金融業で指導的存在である。.
新しい！!: ハスケル・カリーとマサチューセッツ州 · 続きを見る »
ハーバード大学
ハーバード大学（英語: Harvard University）は、アメリカ合衆国の研究型私立大学であり、アイビー・リーグの一校。イギリス植民地時代の1636年に設置された、アメリカ合衆国内において、最も学術的起源の古い高等教育機関である。.
新しい！!: ハスケル・カリーとハーバード大学 · 続きを見る »
ラムダ計算
ラムダ計算（ラムダけいさん、lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（evaluation）と適用（application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。 ラムダ計算は1つの変換規則（変数置換）と1つの関数定義規則のみを持つ、最小の（ユニバーサルな）プログラミング言語であるということもできる。ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。これは、ラムダ計算がチューリングマシンと等価な数理モデルであることを意味している。チューリングマシンがハードウェア的なモデル化であるのに対し、ラムダ計算はよりソフトウェア的なアプローチをとっている。 この記事ではチャーチが提唱した元来のいわゆる「型無しラムダ計算」について述べている。その後これを元にして「型付きラムダ計算」という体系も提唱されている。.
新しい！!: ハスケル・カリーとラムダ計算 · 続きを見る »
プリンストン大学
プリンストン大学（英語: Princeton University）は、アメリカ合衆国ニュージャージー州プリンストンに本部を置くアメリカ合衆国の私立大学である。1746年に設置された。 学生数は学部生約4800名、大学院生約2000名である。アイビー・リーグ（Ivy League）の大学8校のうちの1校であることや、2名の大統領を輩出していること、アメリカ全土で8番目に古いことなどで有名な大学である。41人のノーベル賞受賞者、14人のフィールズ賞受賞者、5人のアーベル賞受賞者、10人のチューリング賞受賞者、209人のローズ奨学生、126人のを輩出している。2016年度の受験サイクルでは全受験者の6.5%が入学を許可された。.
新しい！!: ハスケル・カリーとプリンストン大学 · 続きを見る »
ダフィット・ヒルベルト
ーニヒスベルクにて私講師を務めていた頃（1886年） ヒルベルトの墓碑。「我々は知らねばならない、我々は知るだろう」と記されている。 ダフィット・ヒルベルト（David Hilbert,, 1862年1月23日 - 1943年2月14日）は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット，ダヴィド、ダーフィットなどとも表記される。.
新しい！!: ハスケル・カリーとダフィット・ヒルベルト · 続きを見る »
アムステルダム大学
アムステルダム大学(オランダ語:Universiteit van Amsterdam)はオランダのアムステルダムにある国立の総合大学。年間予算は約6億ユーロ。UvAと略される。 オランダの教育システム上、学部と大学院の区別はなく、人文科学、社会・行動科学、経済・経営学、法学、自然科学、医学、歯学の7つの学部で構成されている。近年では外国人学生の獲得にも力を入れ、2017年現在、100以上の修士レベルのプログラムが英語で提供されている。学士レベルのプログラムは、ほとんどがオランダ語のみ。30000名以上の学生が学んでいる。これまで総計9万人以上の卒業生を世に送り出した。 ヨーロッパ連合内の動きとして、1999年に合意されたボローニャ協定がアムステルダム大学では2003年に取り入れられ、大学内の構造に変化を与えた。その結果、オランダ古来の学位名は破棄され、イギリスをモデルとした学士・修士号が授与されることとなった。これにより、オランダの学位レベルの国際的比較が容易になった。.
新しい！!: ハスケル・カリーとアムステルダム大学 · 続きを見る »
アメリカ合衆国
アメリカ合衆国（アメリカがっしゅうこく、）、通称アメリカ、米国（べいこく）は、50の州および連邦区から成る連邦共和国である。アメリカ本土の48州およびワシントンD.C.は、カナダとメキシコの間の北アメリカ中央に位置する。アラスカ州は北アメリカ北西部の角に位置し、東ではカナダと、西ではベーリング海峡をはさんでロシアと国境を接している。ハワイ州は中部太平洋における島嶼群である。同国は、太平洋およびカリブに5つの有人の海外領土および9つの無人の海外領土を有する。985万平方キロメートル (km2) の総面積は世界第3位または第4位、3億1千7百万人の人口は世界第3位である。同国は世界で最も民族的に多様かつ多文化な国の1つであり、これは多くの国からの大規模な移住の産物とされているAdams, J.Q.;Strother-Adams, Pearlie (2001).
新しい！!: ハスケル・カリーとアメリカ合衆国 · 続きを見る »
アロンゾ・チャーチ
アロンゾ・チャーチ（Alonzo Church, 1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者。ラムダ計算の創案者、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。.
新しい！!: ハスケル・カリーとアロンゾ・チャーチ · 続きを見る »
カリーのパラドックス
リーのパラドックス（Curry's paradox）は、素朴集合論や素朴論理学で見られるパラドックスであり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生されることを示す。名称の由来は論理学者のハスケル・カリーから。 ドイツの数学者マルティン・フーゴー・レープ（Martin Hugo Löb）の名をとって レープのパラドックスとも呼ばれている。.
新しい！!: ハスケル・カリーとカリーのパラドックス · 続きを見る »
カリー化
リー化 (currying, カリー化された.
新しい！!: ハスケル・カリーとカリー化 · 続きを見る »
カリー＝ハワード同型対応
リー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、Curry-Howard correspondence）とは、プログラミング言語理論と証明論において、計算機プログラムと証明との間の直接的な対応関係のことである。「プログラム＝証明」(proofs-as-programs)・「型＝命題」(formulae-as-types)などとしても知られる。これはアメリカの数学者ハスケル・カリーと論理学者ウィリアム・アルヴィン・ハワードにより最初に発見された形式論理の体系とある種の計算の体系との構文論的なアナロジーを一般化した概念である。通常はこの論理と計算の関連性はカリーとハワードに帰属される。しかしながら、このアイデアはブラウワー、ハイティング、コルモゴロフらが定式化した直観主義論理の操作的解釈の一種と関係している。 At the very beginning, the Curry–Howard correspondence is.
新しい！!: ハスケル・カリーとカリー＝ハワード同型対応 · 続きを見る »
ゲオルク・アウグスト大学ゲッティンゲン
旧大講堂 大学内の風景 ゲオルク・アウグスト大学ゲッティンゲン（Georg-August-Universität Göttingen, 略称：GAU）は、ドイツのニーダーザクセン州ゲッティンゲンに位置する大学。ドイツに9つあるエクセレントセンターの一つ。ハノーファー選帝侯ゲオルク・アウグスト（英国王としてはジョージ2世）によって1737年に設立された。大学名はこの創設者にちなむものである。ゲッティンゲン大学とも通称する。.
新しい！!: ハスケル・カリーとゲオルク・アウグスト大学ゲッティンゲン · 続きを見る »
コンビネータ論理
ンビネータ論理(Combinatory Logic、組み合わせ論理)は、（Моисей Эльевич Шейнфинкель、Moses Ilyich Schönfinkel）とハスケル・カリー（Haskell Brooks Curry）によって、記号論理での変数を消去するために導入された記法である。最近では、計算機科学において計算の理論的モデルで利用されてきている。また、関数型プログラミング言語の理論（意味論など）や実装にも応用がある。 コンビネータ論理は、コンビネータまたは引数のみからなる関数適用によって結果が定義されている高階関数、コンビネータに基づいている。.
新しい！!: ハスケル・カリーとコンビネータ論理 · 続きを見る »
直観論理
観主義論理（intuitionistic logic）、直観論理あるいは構成的論理（constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 (\) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。 Instead they remain of unknown truth value, until they are either proved or disproved.
新しい！!: ハスケル・カリーと直観論理 · 続きを見る »
論理学者
論理学者（ろんりがくしゃ）とは、論理学を専門に研究する人のことである。.
新しい！!: ハスケル・カリーと論理学者 · 続きを見る »
関数型言語
関数型言語（かんすうがたげんご、functional language）は、以下に述べる関数型プログラミングを基本スタイルとして推奨する機能を持つプログラミング言語、関数型プログラミング言語の略称である。.
新しい！!: ハスケル・カリーと関数型言語 · 続きを見る »
Haskell
Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。.
新しい！!: ハスケル・カリーとHaskell · 続きを見る »
数学者
数学者（すうがくしゃ、mathematician）とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.
新しい！!: ハスケル・カリーと数学者 · 続きを見る »
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
新しい！!: ハスケル・カリーと数理論理学 · 続きを見る »
1900年
19世紀最後の年である。100で割り切れるが400では割り切れない年であるため、閏年ではなく、4で割り切れる平年となる。.
新しい！!: ハスケル・カリーと1900年 · 続きを見る »
1982年
この項目では、国際的な視点に基づいた1982年について記載する。.
新しい！!: ハスケル・カリーと1982年 · 続きを見る »
9月12日
9月12日（くがつじゅうににち）はグレゴリオ暦で年始から255日目（閏年では256日目）にあたり、年末まであと110日ある。.
新しい！!: ハスケル・カリーと9月12日 · 続きを見る »
9月1日
9月1日（くがつついたち）は、グレゴリオ暦で年始から244日目（閏年では245日目）にあたり、年末まではあと121日ある。.
新しい！!: ハスケル・カリーと9月1日 · 続きを見る »
