ブラウザよりも高速アクセス！
13 関係: Association for Computing Machinery、ナンシー・リンチ、ラースロー・ロヴァース、レスリー・ヴァリアント、フォルカー・シュトラッセン、ドナルド・クヌース、アンドリュー・チーチー・ヤオ、クリストス・パパディミトリウ、ゲーデル賞、ジェフリー・ウルマン、理論計算機科学、計算機科学、IEEE Computer Society。
Association for Computing Machinery
Association for Computing Machinery (ACM) は、ニューヨークに本部のあるコンピュータ科学分野の国際学会。1947年設立。IEEEとともに、この分野で最も影響力の強い学会であり、IEEEがその名と由来や歴史からエレクトロニクスや通信分野の工学に強いのに対し、数学的な理論計算機科学のような分野もカバーする。日本語に訳して「計算機械学会」とされることもあるが、こんにちこの訳語が用いられることはほとんどなく、通常は単に"ACM"という略称で呼ばれるのがもっぱらである。ACMの「A」は Association (学会、団体) の頭文字であるが、アメリカ数学会 (AMS) と混同して「米国計算機学会」と誤訳されることがある。 数多くの国際会議を開催しており、人目を惹くデモ映像のSIGGRAPHやSIGMODなどはよく知られている。他の多くの学会と同様にすぐれた業績などへの表彰もおこなっているが、チューリング賞は、特にこの分野の最高の賞とみなされており、物理や化学といった分野におけるノーベル賞に匹敵するものと扱われることもある（他の賞についても時折「～のノーベル賞」といったような表現が使われることがあるが、この分野の全てを対象とした世界トップクラスの賞という位置づけにあるのはチューリング賞をおいて他にない）。.
新しい！!: クヌース賞とAssociation for Computing Machinery · 続きを見る »
ナンシー・リンチ
ナンシー・アン・リンチ （英語:Nancy Ann Lynch, 1948年1月19日-）はMIT教授。科のソフトウェア科学・工学NEC冠教授でありMITの計算機科学と人工知能研究所（CSAIL）の分散システム理論研究グループ長を務める。 分散アルゴリズムとその不可能性（impossibility result）について、また形式的モデル化（formal modeling）と分散システムの妥当性確認（validation）について（例えば参照）の多数の研究論文を著している。大学院レベルの教科書Distributed Algorithmsの著者でもある。米国科学アカデミー、米国工学アカデミーに所属し、ACMフェローに選出されている。 ブルックリン出身。ニューヨーク市立大学ブルックリン校とMITで数学を専攻し、Ph.D.をの指導の下1972年に取得する。タフツ大学、 南カリフォルニア大学、ジョージア工科大学などで数学とコンピュータ科学のファカルティ職を歴任した後、1982年にMITに着任する。以後複雑分散システムの理解と構築に向けた応用数学を研究している。.
新しい！!: クヌース賞とナンシー・リンチ · 続きを見る »
ラースロー・ロヴァース
ラースロー・ロヴァース（, 、1948年3月9日 - ）は、ハンガリー生まれの数学者である。 組合せ論に貢献した。2007年から2010年まで国際数学連合の総裁を務めた。.
新しい！!: クヌース賞とラースロー・ロヴァース · 続きを見る »
レスリー・ヴァリアント
レスリー・ガブリエル・ヴァリアント（、1949年3月28日 - ）は、イギリスの計算機科学者で計算理論の専門家である。 理論計算機科学での業績でよく知られている。計算複雑性理論において様々な貢献をしており、#P完全性の記法を導入して、なぜ数え上げ問題が難しいのかを説明した。また、機械学習の「確率的で近似的に正しい」（、"probably approximately correct"）モデルを提唱して機械学習の理論的発展に貢献し、の概念も提唱した。初期にはオートマタ理論を研究し、CYK法を発展させたヴァリアントのアルゴリズムを考案。これは2010年現在も、文脈自由文法を判定する漸近的に最速なアルゴリズムである。計算論的神経科学の分野でも記憶と学習についての研究を行っている。 特に有名な論文として Vijay Vazirani と共同執筆した論文があり、UNIQUE-SAT ∈ P ⇒ NP.
新しい！!: クヌース賞とレスリー・ヴァリアント · 続きを見る »
フォルカー・シュトラッセン
フォルカー・シュトラッセン（Volker Strassen、1936年4月29日 - ）は、ドイツの 数学者、コンスタンツ大学数学および統計学科の名誉教授である。 アルゴリズム解析 に重要な貢献をし、数々の賞を受賞している。 カントール・メダル 、:en:Konrad Zuse Medal 、乱数を用いた確率的素数判定法に対する:en:Paris Kanellakis Award 、「アルゴリズムの設計及び解析についての独創性に富み将来性と影響力のある貢献」に対するクヌース賞などである。.
新しい！!: クヌース賞とフォルカー・シュトラッセン · 続きを見る »
ドナルド・クヌース
ドナルド・エルビン・クヌース（Donald Ervin Knuth, 1938年1月10日 -）は数学者、計算機科学者。スタンフォード大学名誉教授。 クヌースによるアルゴリズムに関する著作 The Art of Computer Programming のシリーズはプログラミングに携わるものの間では有名である。アルゴリズム解析と呼ばれる分野を開拓し、計算理論の発展に多大な貢献をしている。その過程で漸近記法で計算量を表すことを一般化させた。 理論計算機科学への貢献とは別に、コンピュータによる組版システム TeX とフォント設計システム METAFONT の開発者でもあり、Computer Modern という書体ファミリも開発した。 作家であり学者であるクヌースは、文芸的プログラミングのコンセプトを生み出し、そのためのプログラミングシステム WEB / CWEB を開発。また、MIX / MMIX 命令セットアーキテクチャを設計。.
新しい！!: クヌース賞とドナルド・クヌース · 続きを見る »
アンドリュー・チーチー・ヤオ
アンドリュー・チーチー・ヤオ（Andrew Chi-Chih Yao、、1946年12月24日 - ）は、著名な計算機科学者にして計算理論家。ミニマックス法を用い今日「」として知られる理論を証明した。 中国上海に生まれた。国立台湾大学で物理学を学び、1972年にハーバード大学で物理学の博士号を取得した。1975年にはイリノイ大学アーバナ・シャンペーン校で計算機科学の博士号を取得している。 1996年、クヌース賞を受賞。2000年、「計算複雑性理論に基づく擬似乱数、暗号理論、通信複雑性などの計算理論への基本的貢献に対して」チューリング賞を授与された。 1982年から1986年までスタンフォード大学で正教授を務めた。1996年から2004年までプリンストン大学で工学と応用科学の教授を務め、アルゴリズムと複雑性の研究を続けた。2004年、中国北京の清華大学高等研究センター (CATSU) の教授となり、同大学理論計算機科学研究センター (ITCS) のセンター長となった。香港中文大学でも教授を務めている。現在は中華人民共和国籍を取得している。 米国科学アカデミーの会員、アメリカ芸術科学アカデミーのフェロー、アメリカ科学振興協会のフェローなども務めている。中国科学院の院士。妻のも理論計算機科学の研究者として知られている。.
新しい！!: クヌース賞とアンドリュー・チーチー・ヤオ · 続きを見る »
クリストス・パパディミトリウ
リストス・ハリラオス・パパディミトリウ (英語:Christos Harilaos Papadimitriou、 ギリシア語: Χρήστος Χαρίλαος Παπαδημητρίου、1949年8月16日生れ)は、ギリシャ出身の理論計算機科学者、カリフォルニア大学バークレー校の計算機科学科教授である。 Category:Pages containing links to subscription-only content.
新しい！!: クヌース賞とクリストス・パパディミトリウ · 続きを見る »
ゲーデル賞
ーデル賞 (Gödel Prize) は、理論計算機科学分野で優れた功績を残した人に、ACM（国際計算機学会）のアルゴリズムと計算量理論に関する部会とEATCS（ヨーロッパ理論コンピュータ学会）が贈る賞である。受賞者には賞金5,000ドルが贈られる。論理学者クルト・ゲーデルに由来する。計算機科学分野ではチューリング賞と並んで権威を持つ賞である。.
新しい！!: クヌース賞とゲーデル賞 · 続きを見る »
ジェフリー・ウルマン
ェフリー・デイヴィッド・ウルマン（、1942年11月22日 - ）は、計算機科学者で、スタンフォード大学の教授。コンパイラ、計算理論、データ構造、データベースについての教科書を書いており、各分野の標準とみなされている。.
新しい！!: クヌース賞とジェフリー・ウルマン · 続きを見る »
理論計算機科学
論計算機科学（りろんけいさんきかがく、英語：theoretical computer science）は計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、現実のコンピュータを扱うことも多いが、チューリングマシンなどの計算モデルを扱うことも多い。 理論計算機科学の代表的な分野として以下のものがある。.
新しい！!: クヌース賞と理論計算機科学 · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: クヌース賞と計算機科学 · 続きを見る »
IEEE Computer Society
IEEE Computer Society（IEEEコンピュータソサエティ）とはアメリカに本部を持つ電気・電子技術の学会であるIEEE内に設置されているテクニカルソサイエティのうちのひとつである。 計算機科学分野に関する多くの学会活動を担っており，2007年現在の会員数は10万人近い．.
新しい！!: クヌース賞とIEEE Computer Society · 続きを見る »
