ブラウザよりも高速アクセス！
31 関係: チューリング賞、ネヴァンリンナ賞、ハーバード大学、リーズ大学、アメリカ人工知能学会、インペリアル・カレッジ・ロンドン、ウォーリック大学、エディンバラ大学、オートマトン、カーネギーメロン大学、キングス・カレッジ (ケンブリッジ大学)、クヌース賞、ケンブリッジ大学、充足可能性問題、CYK法、王立協会、理論計算機科学、米国科学アカデミー、計算理論、計算複雑性理論、計算論的神経科学、計算機科学、NP、P (計算複雑性理論)、RP (計算複雑性理論)、Sharp-P、機械学習、文脈自由文法、数学、1949年、3月28日。
チューリング賞
ACMチューリング賞(ACM A.M. Turing Award)は、計算機科学分野で革新的な功績を残した人物に年に1度、ACMから贈られる賞であり世界最高の権威を持つ賞とされている。その功績は長く影響が続くもので、コンピュータ業界で技術的にも重要なものとされている。計算機科学におけるノーベル賞と広く認識されており、事実、受賞者にはハーバート・サイモンなどノーベル賞受賞者が存在している。 「チューリング」の名は、現代計算機科学の父の1人とされるアラン・チューリングの名にちなむ。2014年11月3日、Googleの後援により受賞者には100万ドルが贈られると発表された。 1966年の最初の受賞者はカーネギーメロン大学のアラン・パリスだった。初の女性受賞者は、2006年のフランシス・E・アレン（IBM）である。2008年には再び女性であるバーバラ・リスコフが受賞している。.
新しい！!: レスリー・ヴァリアントとチューリング賞 · 続きを見る »
ネヴァンリンナ賞
ルフ・ネヴァンリンナ賞（Rolf Nevanlinna Prize）は、計算機科学における優れた数学的貢献をなした研究者に贈られる賞。4年に一度の国際数学者会議において授与され、フィールズ賞と同じく40歳以下の研究者にのみ受賞資格がある。 1981年、国際数学連合が設けた賞で、前年に死去したフィンランドの数学者ロルフ・ネヴァンリンナにちなんで名付けられた。受賞者には金メダルと報奨金が授与される。.
新しい！!: レスリー・ヴァリアントとネヴァンリンナ賞 · 続きを見る »
ハーバード大学
ハーバード大学（英語: Harvard University）は、アメリカ合衆国の研究型私立大学であり、アイビー・リーグの一校。イギリス植民地時代の1636年に設置された、アメリカ合衆国内において、最も学術的起源の古い高等教育機関である。.
新しい！!: レスリー・ヴァリアントとハーバード大学 · 続きを見る »
リーズ大学
リーズ大学 (University of Leeds) は英国ウェスト・ヨークシャー州リーズ市にある国立大学。赤レンガ大学群。トールキン（作家・言語学者）が教鞭をとっていたことがある。33,000人を超す学生が在籍しており、英国でも有数の規模を誇る大学である。ラッセル・グループの一員。QS世界ランキングでは世界の大学トップ100位前後にランクし、ノーベル賞受賞者も２名輩出している。.
新しい！!: レスリー・ヴァリアントとリーズ大学 · 続きを見る »
アメリカ人工知能学会
アメリカ人工知能学会（Association for the Advancement of Artificial Intelligence、AAAI）は、人工知能 (AI)技術を主題とする国際的な非営利の学術団体。「思考と知性の根底にある機構を科学的に解明し、機械でそれを実現する」ことを使命とする。アクロニムであるAAAIに決まった読み方はないが、コミュニティでは「トリプルAI」という読まれる場合が多い。 「アメリカ人工知能学会」というのは旧称 American Association for Artificial Intelligence の訳であり、現在の定訳はない。 その活動は、国際学会の開催や論文・書籍の発行など(主に研究者のための活動)にはとどまらず、AI研究コミュニティの広報役として、一般社会への普及活動も行い、例えばのような一般向けのニュースブログを運営する。また、研究募金を集め資金を分配する機能も担っており、若い研究者へのtravel grantの発行や、賞の贈呈なども行う。.
新しい！!: レスリー・ヴァリアントとアメリカ人工知能学会 · 続きを見る »
インペリアル・カレッジ・ロンドン
インペリアル・カレッジ・ロンドン（英語: Imperial College London, ICL）は、ロンドンに本部を置くイギリスの公立研究大学である。1907年に設置され、主に理化学科目を中心とした大学である。元々はロンドン大学のカレッジの１つであったが、創立100周年にあたる2007年7月にロンドン大学から独立した。法的な正式名称はthe Imperial College of Science, Technology and Medicineであるが、2002年よりImperial College Londonという略称を対外的に使用している。一般的には"Imperial"として知られており、今日において英国を代表する理系に特化した大学である。 インペリアルカレッジは特に理系において世界トップレベルに位置付けられており、科目別では、材料工学が世界3位、医学が4位、情報工学が7位である。 総合では、Times Higher Education World University Rankings 2017で世界8位、QS World University Rankings 2017で世界8位に位置付けられている。さらに、15人のノーベル賞受賞者、2人のフィールズ賞受賞者、70人のRoyal Society のフェロー、82人のRoyal Academy of Engineeringのフェロー、78人のAcademy of Medical Sciencesのフェローを輩出している。 医学部、工学部、理学部からなる理系大学であり、学生数は学部生が約9000人、大学院生が約5300人である。この内約43%が留学生である。中国籍の留学生は13%にも及ぶ。.
新しい！!: レスリー・ヴァリアントとインペリアル・カレッジ・ロンドン · 続きを見る »
ウォーリック大学
ウォーリック大学（University of Warwick）はイングランドのウェスト・ミッドランズ州コヴェントリー市にある総合大学である。1965年設立。イギリスの研究型大規模大学連合「ラッセル・グループ」加盟校。 ウォーリック大学は400を超える企業との産学連携など、数々の先進的な施策に積極的に取り組んで卓越した成果を上げており、英国首相在任中のトニー・ブレアも「そのダイナミズム・質・企業家精神によって、イギリスの大学を先導している」と評した。 また、ビル・ゲイツは、2017年4月にスイス・ジュネーブで開催された Neglected Tropical Diseases Summit (NTD Summit) (顧みられない熱帯病サミット) において「英国のウォーリック大学のような世界有数の研究機関は、世界の最貧層の人々を顧みられない熱帯病から守り、より健康的で豊かな生活を送ることに大きな役割を果たしている」と称賛した。.
新しい！!: レスリー・ヴァリアントとウォーリック大学 · 続きを見る »
エディンバラ大学
ンバラ大学（University of Edinburgh）は、1583年に設立された、英国で6番目に長い歴史を有する大学である（「Ancient University」の1つ）。キャンパスはスコットランドの首都エジンバラにあり、ユネスコの世界遺産に登録されている旧市街の多くの建物がエジンバラ大学の所有物である。スコットランドで4番目に古い大学であり、スコットランドにある最高学府のうち最高峰とされている。QS世界大学ランキング2019では世界18位、英国5位、スコットランド1位であり、世界トップクラスの研究大学とされている。スコットランドの大学としてラッセルグループに所属しているのは当大学とグラスゴー大学のみであり、ヨーロッパの大学の提携組織であるコインブラ・グループ、ヨーロッパ研究大学連盟 (LERU) に加盟していることも特徴である。また、アイビーリーグやU15など米国やカナダの高等教育機関とも歴史的に深いつながりがあり、現在まで学術交流を盛んに行っている。 エジンバラ大学は啓蒙時代に優れた人材が輩出し、エジンバラは北のアテネと呼ばれるまでになった。主な卒業生として、物理学者ジェームズ・クラーク・マクスウェル、哲学者デイヴィッド・ヒューム、数学者トーマス・ベイズ、第74代英国首相ゴードン・ブラウン、医学者ジョゼフ・リスター、小説家アーサー・コナン・ドイル、小説家ウォルター・スコット、発明家アレクサンダー・グラハム・ベル、タンザニア初代首相ジュリウス・ニエレレなどがいる。また、中退ではあるが自然科学者チャールズ・ダーウィンも通っていた。エディンバラ大学はこれまで21名のノーベル賞受賞者とアーベル賞受賞者を1名を出している。英国王室とのつながりも深く、これまでにエディンバラ公爵フィリップや アン王女が総長についている。また、2003年にはスコットランドの大学として初めてフェアトレード賞を受賞した。.
新しい！!: レスリー・ヴァリアントとエディンバラ大学 · 続きを見る »
オートマトン
ートマトン (単数形: automaton, 複数形: オートマタ（automata ）) とは、自動人形などとも呼ばれる「オートマタ」と同じ語であるが、計算理論において、計算モデルに関して有限オートマトンなどの総称として使われる。また特に「オートマトン理論」と呼ばれる分野では、計算機械のうち計算可能性の点でチューリングマシンよりも制限されているものを特に指して言うこともある。.
新しい！!: レスリー・ヴァリアントとオートマトン · 続きを見る »
カーネギーメロン大学
ーネギーメロン大学（英語: Carnegie Mellon University）は、ペンシルベニア州ピッツバーグに本部を置くアメリカ合衆国屈指の名門私立研究大学である。1900年に設立され、略称はCMU。大学のモットーは、"My heart is in the work (私の心は仕事の中にある)"（創立者アンドリュー・カーネギー）。 美術・音楽・文学・科学の最終形は、この四つが一つに成っている形である。アンドリュー・カーネギーのこの考えに沿って、アートとテクノロジーのバランスと融合を重んじた高等教育をCMUは現在も精力的に実践していると言える。日本では理工系が強い大学で知られ、CMUの名はマサチューセッツ工科大学（MIT)、カリフォルニア工科大学（CalTech)とともにアメリカの名門工科大学の御三家の一つとしてあまりにも有名。 その一方で藝術、人文・社会科学、公共政策学・情報学、経営学(MBA)の分野においても、常に全米あるいは世界のトップクラスにランキングされているという事実を認識することで、MITやCalTechのように一概に工科大学とは言えない、総合大学としてのCMUの全体像を正しく掴むことができる。著名な賞を受賞したCMU関係者の数も、この全体像を反映した結果となっている。 ノーベル賞20名、チューリング賞12名、エミー賞52名、アカデミー賞10名、トニー賞44名、等々。.
新しい！!: レスリー・ヴァリアントとカーネギーメロン大学 · 続きを見る »
キングス・カレッジ (ケンブリッジ大学)
ングス・カレッジ (King's College) は、イングランドにあるケンブリッジ大学を構成するカレッジの一つ。正式名称はケンブリッジの聖母と聖ニコラスのキングス・カレッジ (The King's College of our Lady and Saint Nicholas in Cambridge) だが、学内では単にキングス (King's) と呼ばれる。.
新しい！!: レスリー・ヴァリアントとキングス・カレッジ (ケンブリッジ大学) · 続きを見る »
クヌース賞
label.
新しい！!: レスリー・ヴァリアントとクヌース賞 · 続きを見る »
ケンブリッジ大学
ンブリッジ大学（University of Cambridge）は、イギリスの大学都市ケンブリッジに所在する総合大学であり、イギリス伝統のカレッジ制を特徴とする世界屈指の名門大学である。中世に創設されて以来、英語圏ではオックスフォード大学に次ぐ古い歴史をもっており、アンシャン・ユニヴァシティーに属する。 ハーバード大学、シカゴ大学、オックスフォード大学等と並び、各種の世界大学ランキングで常にトップレベルの優秀な大学として評価されており、公式のノーベル賞受賞者は96人（2016年12月現在）と、世界の大学・研究機関で最多（内、卒業生の受賞者は65人）。総長はで、副総長は。 公式サイトでは国公立大学（Public University）と紹介している。法的根拠が国王の勅許状により設立された自治団体であること、大学財政審議会（UFC)を通じて国家から国庫補助金の配分を受けており、大学規模や文科・理科の配分比率がUFCにより決定されていること、法的性質が明らかに違うバッキンガム大学等の私立大学が近年新設されたことによる。ただし、自然発生的な創立の歴史や高度な大学自治、独自の財産と安定収入のあるカレッジの存在、日本でいう国公立大学とは解釈が異なる。 アメリカ、ヨーロッパ、アジア、アフリカ各国からの留学生も多い。2005年現在、EU外からの学生は3,000人を超え、日本からの留学生も毎年十数人～数十人規模となっている。研究者の交流も盛んで、日本からの在外訪問研究者も多い。.
新しい！!: レスリー・ヴァリアントとケンブリッジ大学 · 続きを見る »
充足可能性問題
充足可能性問題（じゅうそくかのうせいもんだい、satisfiability problem, SAT）は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。SATisfiabilityの頭3文字を取ってしばしば「SAT」と呼ばれる。.
新しい！!: レスリー・ヴァリアントと充足可能性問題 · 続きを見る »
CYK法
CYK法（CYK algorithm）は、ある文字列が与えられた文脈自由文法で生成できるかを決め、生成できる場合の生成方法を求めるアルゴリズムである。CYK は Cocke-Younger-Kasami の略（それぞれ、RISCの先駆と言われる801などでも知られるジョン・コック、Daniel Younger、嵩忠雄である）。文脈自由文法の構文解析手法と捉えることもできる。このアルゴリズムは一種の動的計画法である。 標準的なCYK法は、チョムスキー標準形で書かれた文脈自由文法で定義される言語を認識する。任意の文脈自由文法をチョムスキー標準形に書き換えるのはそれほど困難ではないので、CYK法は任意の文脈自由文法の認識に使うことができる。CYK法を拡張してチョムスキー標準形で書かれていない文脈自由文法を扱うようにすることも可能である。これにより性能は向上するが、アルゴリズムを理解することは難しくなる。 CYK法の最悪時間計算量は Θ(n3) であり、n は解析対象の文字列の長さである。従って、CYK法は任意の文脈自由言語を認識できる最も効率的なアルゴリズムの1つである。ただし、文脈自由言語の特定のサブセットについて、より効率の良いアルゴリズムが他に存在する。.
新しい！!: レスリー・ヴァリアントとCYK法 · 続きを見る »
王立協会
イヤル・ソサイエティ（Royal Society）は、現存する最も古い科学学会。1660年に国王チャールズ2世の勅許を得て設立された。正式名称は"The President, Council, and Fellows of the Royal Society of London for Improving Natural Knowledge"（自然知識を促進するためのロンドン王立協会）。日本語訳ではロンドン王立協会（-おうりつきょうかい）、王立学会（おうりつがっかい）など。 この会は任意団体ではあるが、イギリスの事実上の学士院（アカデミー）としてイギリスにおける科学者の団体の頂点にあたる。また、科学審議会（Science Council）の一翼をになうことによって、イギリスの科学の運営および行政にも大いに影響をもっている。1782年創立の王立アイルランドアカデミーと密接な関係があり、1783年創立のエジンバラ王立協会とは関係が薄い。.
新しい！!: レスリー・ヴァリアントと王立協会 · 続きを見る »
理論計算機科学
論計算機科学（りろんけいさんきかがく、英語：theoretical computer science）は計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、現実のコンピュータを扱うことも多いが、チューリングマシンなどの計算モデルを扱うことも多い。 理論計算機科学の代表的な分野として以下のものがある。.
新しい！!: レスリー・ヴァリアントと理論計算機科学 · 続きを見る »
米国科学アカデミー
米国科学アカデミー（べいこくかがくアカデミー、、）は、アメリカ合衆国の科学アカデミーであり、民間非営利団体に位置づけられる。全米アカデミーズの一員である。 アカデミー会員は、米国における科学、技術、医学におけるプロボノとしての活動を行っている。機関誌として『米国科学アカデミー紀要』を発行する。.
新しい！!: レスリー・ヴァリアントと米国科学アカデミー · 続きを見る »
計算理論
計算理論（けいさんりろん、theory of computation）は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算 (computation) とは、数学的に表現できる、あらゆる種類の情報処理のこと。 計算を厳密に研究するため、計算機科学では計算模型と呼ばれるコンピュータの数学的抽象化を行う。その手法はいくつかあるが、最も有名なものはチューリングマシンである。チューリングマシンは、言ってみれば無限のメモリを持つコンピュータであるが、一度にアクセスできるメモリ範囲は非常に限られている。チューリングマシンは十分な計算能力を持つモデルでありながら、単純で定式化しやすく、様々な証明に使い易いため、計算機科学者がよく利用する。無限のメモリというのは非現実的な特徴と思われるかもしれないが、より適切な表現を使うならば「無制限」のメモリであって、読み書きしようとした時にそれができればよく、それに対応する「無限な実体」とでも言うべきものが必要なわけではない。「チューリングマシンで、ある問題が解ける」とは必ず有限のステップで計算が終了することを意味し、よってそれに必要なメモリの量は有限である。よって、チューリングマシンで解くことが出来る問題は、現実のコンピュータであっても必要なだけのメモリがあれば解くことが出来る。.
新しい！!: レスリー・ヴァリアントと計算理論 · 続きを見る »
計算複雑性理論
計算複雑性理論（けいさんふくざつせいりろん、computational complexity theory）とは、計算機科学における計算理論の一分野であり、アルゴリズムのスケーラビリティや、特定の計算問題の解法の複雑性（計算問題の困難さ）などを数学的に扱う。計算量理論、計算の複雑さの理論、計算複雑度の理論ともいう。.
新しい！!: レスリー・ヴァリアントと計算複雑性理論 · 続きを見る »
計算論的神経科学
計算論的神経科学（けいさんろんてきしんけいかがく、英語：computational neuroscience）は、脳を情報処理機械に見立ててその機能を調べるという脳研究の一分野である。先駆的業績はマッカロクとピッツの形式ニューロンモデル、ホジキンとハクスレー（ノーベル賞受賞）などがあるが、当時は計算論的神経科学という言い方はなかった。他の先駆者にマイケル・アービブや甘利俊一などがいる。特に視覚の計算理論で知られるデビッド・マーの功績で現代的計算論的神経科学が確立した。 デビッド・マーは彼の著書"Vision"の中で、脳を理解するためには異なる3つのレベルでの理解が必要であると主張し、情報処理システムとしての脳を研究するための指針を与えた。3つのうち最上位のレベルは抽象的な計算理論である。そこでは、計算の目的は何か、何故それが適切なのか、そしてその実行可能な方略の論理は何なのかということが問われる。また、最下層のレベルはハードウェアのレベルであり、明らかとなった計算問題がどのような物理的な機構により解かれているかというものだ。具体的には神経細胞や神経回路などが対象となる。さらに、この上位の計算理論と下位のハードウェアのレベルをつなぐ概念としてアルゴリズムと表現というレベルがある。これは、脳に入出力される情報の表現および入力から出力に変換するのに用いられるアルゴリズムについてのレベルで、上位の計算理論がハードウェアの上でどのように実現されるのかを理解しようとする。マーによる以上のようなレベルを意識して、上位のレベルから研究を行うアプローチを計算論的神経科学という。.
新しい！!: レスリー・ヴァリアントと計算論的神経科学 · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: レスリー・ヴァリアントと計算機科学 · 続きを見る »
NP
NPは、複雑性クラスのひとつで、Non-deterministic Polynomial time（非決定性多項式時間）の略である（「Non-P」ないしは「Not-P」ではない）。.
新しい！!: レスリー・ヴァリアントとNP · 続きを見る »
P (計算複雑性理論)
計算量理論におけるPとは多項式時間（polynomial time）で解ける判定問題の集合である。.
新しい！!: レスリー・ヴァリアントとP (計算複雑性理論) · 続きを見る »
RP (計算複雑性理論)
計算複雑性理論におけるRP(randomized polynomial time)とは、以下の3つの属性を持つ確率的チューリング機械で解ける問題の複雑性クラスである。.
新しい！!: レスリー・ヴァリアントとRP (計算複雑性理論) · 続きを見る »
Sharp-P
計算複雑性理論において、複雑性クラス ♯P とは、NP に属する決定問題に対応した数え上げ問題の集合である。多くの複雑性クラスとは異なり、決定問題のクラスではなく、函数問題のクラスである。 NP 問題は多くの場合「ある制約を満足する解は存在するか?」という形式である。例えば、次のようなものがある。.
新しい！!: レスリー・ヴァリアントとSharp-P · 続きを見る »
機械学習
機械学習（きかいがくしゅう、machine learning）とは、人工知能における研究課題の一つで、人間が自然に行っている学習能力と同様の機能をコンピュータで実現しようとする技術・手法のことである。.
新しい！!: レスリー・ヴァリアントと機械学習 · 続きを見る »
文脈自由文法
文脈自由文法（ぶんみゃくじゆうぶんぽう、Context-free Grammar、CFG）は、形式言語の理論（特に、生成文法）において全生成規則が以下のようである形式文法である。 ここで V は非終端記号であり、w は終端記号と非終端記号の（0個を含む）任意個の並びである。「文脈自由」という用語は前後関係に依存せずに非終端記号 V を w に置換できる、という所から来ている（「文脈無用」という訳の提案もある）。文脈自由文法によって生成される形式言語を文脈自由言語という。.
新しい！!: レスリー・ヴァリアントと文脈自由文法 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
新しい！!: レスリー・ヴァリアントと数学 · 続きを見る »
1949年
記載なし。
新しい！!: レスリー・ヴァリアントと1949年 · 続きを見る »
3月28日
3月28日（さんがつにじゅうはちにち）はグレゴリオ暦で年始から87日目（閏年では88日目）にあたり、年末まであと278日ある。.
新しい！!: レスリー・ヴァリアントと3月28日 · 続きを見る »
