ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
ダウンロード
ブラウザよりも高速アクセス!
 

アレン・エマーソン

索引 アレン・エマーソン

アーネスト・アレン・エマーソン(Ernest Allen Emerson、1954年6月2日 - )は、アメリカ合衆国の計算機科学者であり、テキサス大学オースティン校の教授。 エドムンド・クラーク、ジョセフ・シファキスと共にモデル検査の先駆的研究で2007年のチューリング賞を受賞した。1998年には、記号的モデル検査 (Symbolic Model Cheking) の研究に対してACMのパリス・カネラキス実践的理論賞を受賞した。 1976年、テキサス大学オースティン校で数学の学士号を取得し、1981年、ハーバード大学で応用数学の博士号を取得した。 1980年代にエドムンド・クラークと共同研究し、計算木論理を考案した。 ACMの会員である。.

13 関係: Association for Computing Machinery博士チューリング賞ハーバード大学モデル検査テキサス大学オースティン校アメリカ合衆国エドムンド・クラークジョセフ・シファキス計算機科学計算木論理1954年6月2日

Association for Computing Machinery

Association for Computing Machinery (ACM) は、ニューヨークに本部のあるコンピュータ科学分野の国際学会。1947年設立。IEEEとともに、この分野で最も影響力の強い学会であり、IEEEがその名と由来や歴史からエレクトロニクスや通信分野の工学に強いのに対し、数学的な理論計算機科学のような分野もカバーする。日本語に訳して「計算機械学会」とされることもあるが、こんにちこの訳語が用いられることはほとんどなく、通常は単に"ACM"という略称で呼ばれるのがもっぱらである。ACMの「A」は Association (学会、団体) の頭文字であるが、アメリカ数学会 (AMS) と混同して「米国計算機学会」と誤訳されることがある。 数多くの国際会議を開催しており、人目を惹くデモ映像のSIGGRAPHやSIGMODなどはよく知られている。他の多くの学会と同様にすぐれた業績などへの表彰もおこなっているが、チューリング賞は、特にこの分野の最高の賞とみなされており、物理や化学といった分野におけるノーベル賞に匹敵するものと扱われることもある(他の賞についても時折「~のノーベル賞」といったような表現が使われることがあるが、この分野の全てを対象とした世界トップクラスの賞という位置づけにあるのはチューリング賞をおいて他にない)。.

新しい!!: アレン・エマーソンとAssociation for Computing Machinery · 続きを見る »

博士

博士(はくし、はかせ)は、人類が保有する教育機関・体系の中で与えられる学位のうち最高位のものである(博士の学位参照)。英語からドクターともいい、世界の教育レベルを分類しているISCEDでは最高位のレベル8、欧州資格フレームワーク (EQF) でも最高位のレベル8と定義されている。戦前の日本においては原則として博士号授与機関は帝国大学に限られ、その希少性から「末は博士か大臣か」と詠われるほど市井において高く評価され、学位の保持者に対しては敬意が表されていた。現在でも旧帝国大学(北大・東北大・東大・名大・京大・阪大・九大)にて博士号を取得し大学・研究機関・大企業・公共団体などで活躍する割合は人口割合で10,000人に2.7人であり希少性が高く非常に大きな敬意が払われている。後述するように法学、経済学、文学などの文系や、理学、工学、医学、薬学などの理系などの各学問分野に渡っている。 博士 (en:Doctor) の学位は、国によって多少の差異はあるものの国際的に最高位の学位として位置づけられているが、日本では学校教育法第104条により大学など高等教育機関や学位授与機関(日本においては独立行政法人大学評価・学位授与機構)における修士およびそれと同等の学力があると認められた者が、大学院の博士課程あるいは博士後期課程において主軸となる研究テーマについて研究を行い、その内容を学位論文として執筆し、最高学位に相応しいと授与機関から認められることで取得できる(甲博士、通称は課程博士もしくはコースドクター)。また、論文審査により高度な研究能力があると認定された者にも授与されることがある(乙博士、通称は論文博士と称する)。 博士の取得方法としては、上記の甲博士に相当するように博士課程に在籍して学位審査に合格、修了した者に授与される課程博士と、乙博士に相当するように在学しないまま学位審査に合格した者に授与される論文博士がある。また、学位ではないが、名誉称号としての名誉博士なども存在する。外交儀礼上、各国政府要人等が博士号取得者である場合、官名の後に博士閣下と敬称する事例が見受けられる。.

新しい!!: アレン・エマーソンと博士 · 続きを見る »

チューリング賞

ACMチューリング賞(ACM A.M. Turing Award)は、計算機科学分野で革新的な功績を残した人物に年に1度、ACMから贈られる賞であり世界最高の権威を持つ賞とされている。その功績は長く影響が続くもので、コンピュータ業界で技術的にも重要なものとされている。計算機科学におけるノーベル賞と広く認識されており、事実、受賞者にはハーバート・サイモンなどノーベル賞受賞者が存在している。 「チューリング」の名は、現代計算機科学の父の1人とされるアラン・チューリングの名にちなむ。2014年11月3日、Googleの後援により受賞者には100万ドルが贈られると発表された。 1966年の最初の受賞者はカーネギーメロン大学のアラン・パリスだった。初の女性受賞者は、2006年のフランシス・E・アレン(IBM)である。2008年には再び女性であるバーバラ・リスコフが受賞している。.

新しい!!: アレン・エマーソンとチューリング賞 · 続きを見る »

ハーバード大学

ハーバード大学(英語: Harvard University)は、アメリカ合衆国の研究型私立大学であり、アイビー・リーグの一校。イギリス植民地時代の1636年に設置された、アメリカ合衆国内において、最も学術的起源の古い高等教育機関である。.

新しい!!: アレン・エマーソンとハーバード大学 · 続きを見る »

モデル検査

モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足するかどうか検証する。仕様は時相論理の論理式の形式で記述することが多い。.

新しい!!: アレン・エマーソンとモデル検査 · 続きを見る »

テキサス大学オースティン校

公立の学費でアイビーリーグと同等の教育を受けられる(ただし、留学生と州外の生徒は公立料金の扱いは除外される)大学を指すパブリック・アイビーの一つである。一般的には「UT Austin」もしくは「UT」などと呼称される。5万人の学部生と大学院生、1万6千人の教授、関係者を抱え、270以上の学部、大学院教育プログラムを提供し、幅広い研究、教育を行っている。学生間には強烈な仲間意識があり、独特な校風を有している。卒業生、関係者は各分野で活躍しており、数々の分野において高く評価されている。Newsweek世界大学ランキングでは世界第27位。.

新しい!!: アレン・エマーソンとテキサス大学オースティン校 · 続きを見る »

アメリカ合衆国

アメリカ合衆国(アメリカがっしゅうこく、)、通称アメリカ、米国(べいこく)は、50の州および連邦区から成る連邦共和国である。アメリカ本土の48州およびワシントンD.C.は、カナダとメキシコの間の北アメリカ中央に位置する。アラスカ州は北アメリカ北西部の角に位置し、東ではカナダと、西ではベーリング海峡をはさんでロシアと国境を接している。ハワイ州は中部太平洋における島嶼群である。同国は、太平洋およびカリブに5つの有人の海外領土および9つの無人の海外領土を有する。985万平方キロメートル (km2) の総面積は世界第3位または第4位、3億1千7百万人の人口は世界第3位である。同国は世界で最も民族的に多様かつ多文化な国の1つであり、これは多くの国からの大規模な移住の産物とされているAdams, J.Q.;Strother-Adams, Pearlie (2001).

新しい!!: アレン・エマーソンとアメリカ合衆国 · 続きを見る »

エドムンド・クラーク

ドムンド・クラーク エドムンド・メルソン・クラーク・ジュニア(Edmund Melson Clarke, Jr.、1945年7月27日 - )は、ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。カーネギーメロン大学計算機科学科の教授。アレン・エマーソン、ジョセフ・シファキスと共に、2007年のACMチューリング賞を受賞。.

新しい!!: アレン・エマーソンとエドムンド・クラーク · 続きを見る »

ジョセフ・シファキス

ョセフ・シファキス(Joseph Sifakis、Ιωσήφ Σηφάκης、1946年12月26日 - )は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。 1946年、クレタ島イラクリオンに生まれた(Eleftherotypia - 05 Feb 2008) 。国立アテネ工科大学で電気工学を学び、フランスから奨学金を得てグルノーブル大学で計算機科学を学んだ(Kathimerini - 04 Feb 2008) 。1974年、グルノーブル大学で博士号を取得し、1979年には state doctorate を取得したグルノーブル大学には理系の大学が2つある。Université scientifique et médicale de Grenoble (USMG, Grenoble-1) は後に Joseph Fourier University と改称。Grenoble Institute of Technology (INPG) は後に Grenoble-INP と改称した。VERIMAG は両者の共同研究施設である。。 シファキスは1976年にフランス市民権を得て以来ずっとフランスに住み、グルノーブル近郊のVERIMAGにあるフランス国立科学研究センター (CNRS) で働いており、実際CNRSの創設者の1人であるCNRS website - 。 また、Artist2(European Network of Excellence for research on Embedded Systems)のコーディネーターも務めている。 また、フランスの国家功労勲章の役員も務めている。.

新しい!!: アレン・エマーソンとジョセフ・シファキス · 続きを見る »

計算機科学

計算機科学(けいさんきかがく、computer science、コンピュータ科学)とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.

新しい!!: アレン・エマーソンと計算機科学 · 続きを見る »

計算木論理

計算木論理(けいさんきろんり、Computational Tree Logic、CTL)は、分岐時相論理の一種である。その時間モデルでは未来は決定されておらず木構造のように分岐している。未来の複数の経路のうちの1つが実際に現実の経路となる。.

新しい!!: アレン・エマーソンと計算木論理 · 続きを見る »

1954年

記載なし。

新しい!!: アレン・エマーソンと1954年 · 続きを見る »

6月2日

6月2日(ろくがつふつか)は、グレゴリオ暦で年始から153日目(閏年では154日目)にあたり、年末まであと212日ある。誕生花はタイム、シャクナゲ。.

新しい!!: アレン・エマーソンと6月2日 · 続きを見る »

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »