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

シャフィ・ゴールドワッサー

索引 シャフィ・ゴールドワッサー

ャフリラ・ゴールドワッサー(Shafrira Goldwasser、、1958年 - )は、マサチューセッツ工科大学の電気工学と計算機科学の教授で、イスラエルのワイツマン科学研究所の数学の教授。通称はシャフィ (Shafi)。.

33 関係: マヌエル・ブラムマサチューセッツ工科大学チューリング賞ワイツマン科学研究所ニューヨークニューヨーク州ベンジャミン・フランクリン・メダル (フランクリン協会)アメリカ芸術科学アカデミーインターネットアーカイブイスラエルカリフォルニア大学バークレー校カーネギーメロン大学グレース・ホッパー賞ゲーデル賞ゼロ知識証明全米技術アカデミー米国科学アカデミー計算理論計算複雑性理論計算機科学MITコンピュータ科学・人工知能研究所NPRSAセキュリティ暗号暗号理論1958年1993年1996年1998年2001年2010年2011年2012年

マヌエル・ブラム

マヌエル・ブラム(Manuel Blum、1938年4月26日 - )はベネズエラのカラカス出身の著名な計算機科学者。1995年、「計算複雑性理論の基礎的研究とその暗号およびプログラム検証への応用に関する貢献に対して」チューリング賞を授与された。.

新しい!!: シャフィ・ゴールドワッサーとマヌエル・ブラム · 続きを見る »

マサチューセッツ工科大学

マサチューセッツ工科大学(英語: Massachusetts Institute of Technology)は、アメリカ合衆国マサチューセッツ州ケンブリッジに本部を置く私立工科大学である。1865年に設置された。通称はMIT(エム・アイ・ティー。「ミット」は誤用で主に日本、欧州の極めて一部で用いられる)。 全米屈指のエリート名門校の1つとされ、ノーベル賞受賞者を多数(2014年までの間に1年以上在籍しMITが公式発表したノーベル賞受賞者は81名で、この数はハーバード大学の公式発表受賞者48名を上回る)輩出している。最も古く権威ある世界大学評価機関の英国Quacquarelli Symonds(QS)による世界大学ランキングでは、2012年以来2017年まで、ハーバード大学及びケンブリッジ大学を抑えて6年連続で世界第一位である。 同じくケンブリッジ市にあるハーバード大学とはライバル校であるが、学生達がそれぞれの学校の授業を卒業単位に組み込める単位互換制度(Cross-registration system)が確立されている。このため、ケンブリッジ市は「世界最高の学びのテーマパーク」とさえも称されている。物理学や生物学などの共同研究組織を立ち上げるなど、ハーバード大学との共同研究も盛んである。 MITはランドグラント大学でもある。1865年から1900年の間に約19万4千ドル(これは2008年時点の生活水準でいうところの380万ドルに相当)のグラントを得、また同時期にマサチューセッツ州から更なる約36万ドル(2008年時点の生活水準で換算して700万ドルに相当)の資金を獲得しているD.

新しい!!: シャフィ・ゴールドワッサーとマサチューセッツ工科大学 · 続きを見る »

チューリング賞

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

新しい!!: シャフィ・ゴールドワッサーとチューリング賞 · 続きを見る »

ワイツマン科学研究所

ワイツマン科学研究所(מכון ויצמן למדע)は、イスラエルのレホヴォトにある研究および高等教育機関。自然科学系の大学院のみである点が他の一般の大学とは異なる(大学院大学)。ヴァイツマン科学研究所とも。 世界的にも有名な総合研究センターであり、約2,500名の科学者、博士号取得後のフェロー、大学院生、スタッフが働いている。.

新しい!!: シャフィ・ゴールドワッサーとワイツマン科学研究所 · 続きを見る »

ニューヨーク

ニューヨーク市(New York City)は、アメリカ合衆国ニューヨーク州にある都市。 1790年以来、同国最大の都市であり、市域人口は800万人を超え、都市圏人口では定義にもよるが2000万人以上である.

新しい!!: シャフィ・ゴールドワッサーとニューヨーク · 続きを見る »

ニューヨーク州

ニューヨーク州(State of New York)は、アメリカ合衆国大西洋岸中部にあり、本土アメリカ合衆国では北東部地域に位置する州。面積では第27位の州である。かつては50州で最も人口が多かったが、2010年の国勢調査現在は、カリフォルニア州、テキサス州、フロリダ州に次ぐ4位である。 南州境はニュージャージー州とペンシルベニア州、東州境はコネチカット州、マサチューセッツ州およびバーモント州に接する。西はカナダとの国境に接し、名所のナイアガラの滝がある。東南端に、アメリカ最大の都市であるニューヨーク市があり、州南部は近郊の大都市圏となっている。一方で、州北部の五大湖湖畔には古くからの工業都市であるバッファローとロチェスターがある。州都は、人口10万人足らずのオールバニである。2011年以降、州知事は民主党のアンドリュー・クオモ。.

新しい!!: シャフィ・ゴールドワッサーとニューヨーク州 · 続きを見る »

ベンジャミン・フランクリン・メダル (フランクリン協会)

ベンジャミン・フランクリン・メダル ベンジャミン・フランクリン・メダル(Benjamin Franklin Medal)はフランクリン協会(en)から個人に贈られる科学技術賞。1997年まではフランクリン・メダルであった。.

新しい!!: シャフィ・ゴールドワッサーとベンジャミン・フランクリン・メダル (フランクリン協会) · 続きを見る »

アメリカ芸術科学アカデミー

アメリカ芸術科学アカデミー(アメリカげいじゅつかがくアカデミー、American Academy of Arts and Sciences, 略称: AAAS)は、アメリカ合衆国マサチューセッツ州ケンブリッジに本部を置く学術団体である。通称、アメリカン・アカデミー (American Academy) 。 1780年に学芸を奨励するために設立、ジョン・アダムズ、ジェイムズ・ボーディン、ジョン・ハンコックによって独立戦争中に創設される。政治家・思想家・科学者・発明家などのフェローと外国人名誉会員会員を選出、式典は毎年10月に行われる。 会員にはベンジャミン・フランクリン、ジョージ・ワシントン、トーマス・ジェファーソン、西脇順三郎、アレクサンダー・ハミルトンなどがいる。 外国人名誉会員の日本人には西脇順三郎、安部公房、大栗博司、村山斉、(1952年-、大阪府出身)有馬朗人、野依良治、林文夫、斎藤修がいる。.

新しい!!: シャフィ・ゴールドワッサーとアメリカ芸術科学アカデミー · 続きを見る »

インターネットアーカイブ

旧インターネットアーカイブ本部(1996年 - 2009年11月) インターネットアーカイブ (The Internet Archive) は、WWW・マルチメディア資料のアーカイブ閲覧サービスとして有名なウェイバックマシン (Wayback Machine)を運営している団体である。本部はカリフォルニア州サンフランシスコのリッチモンド地区に置かれている。 アーカイブにはプログラムが自動で、または利用者が手動で収集したウェブページのコピー(ウェブアーカイブ)が混在しており、これは「WWWのスナップショット」と呼ばれる。ほか、ソフトウェア・映画・本・録音データ(音楽バンドなどの許可によるライブ公演の録音も含む)などがある。アーカイブは、それらの資料を無償で提供している。.

新しい!!: シャフィ・ゴールドワッサーとインターネットアーカイブ · 続きを見る »

イスラエル

イスラエル国(イスラエルこく、מְדִינַת יִשְׂרָאֵל メディナット・イスラエル、دولة إسرائيل ダウラト・イスラーイール、State of Israel )、通称イスラエルは、中東のパレスチナに位置する国家。北にレバノン、北東にシリア、東にヨルダン、南にエジプトと接する。ガザ地区とヨルダン川西岸地区を支配するパレスチナ自治政府(パレスチナ国)とは南西および東で接する。地中海および紅海にも面している。首都はエルサレムであると主張しているが、国際連合などはテルアビブをイスラエルの首都とみなしている(エルサレム#首都問題を参照)。 イスラエルは、シオニズム運動を経て1948年5月14日に建国された。建国の経緯に根ざす問題は多い。版図に関するものではパレスチナ問題がよく報道される。.

新しい!!: シャフィ・ゴールドワッサーとイスラエル · 続きを見る »

カリフォルニア大学バークレー校

バークレー校はカリフォルニア大学 (University of California) の発祥地であり、10大学からなるカリフォルニア大学システム(UCシステム)の中で最も古い歴史を持つ。ハーバード大学など同国東部の名門私立大学群の集まりである「アイビーリーグ」に対し名門公立大学の集まりである「パブリック・アイビー」の一校である。アメリカの公立大学ランキングでは長期間にわたり1位を維持している。同じ米国西海岸サンフランシスコ近郊のベイエリアに位置するスタンフォード大学とはスポーツ分野を中心に長年ライバル関係にある。 シリコンバレーにも近く位置しておりIT系やコンピューター分野でも多数の大企業から出資を受け研究、開発を行っている。UNIXシステムの一つ、BSDもこの大学の研究室で開発された。元サン・マイクロシステムズ技術者のビル・ジョイは、UCバークレーの学生時代に、viエディタと Cシェル (csh) など様々な基本的なツール・ユーティリティを設計、実装している。 第二次世界大戦当時バークレー校の物理学部教授だったロバート・オッペンハイマーやノーベル化学賞受賞者のグレン・シーボーグを筆頭にバークレー校の多くの学者が原子爆弾開発計画であるマンハッタン計画に携わり、米国における原子力爆弾および水素爆弾の開発に大きく貢献した。現在(2014年)まで70人以上のノーベル賞受賞者を輩出している。化学に関する研究が世界的に有名で、周期表の元素のうち6つが本校で発見された。 現在、アメリカの公立大学においてランキング第1位である。.

新しい!!: シャフィ・ゴールドワッサーとカリフォルニア大学バークレー校 · 続きを見る »

カーネギーメロン大学

ーネギーメロン大学(英語: 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名、等々。.

新しい!!: シャフィ・ゴールドワッサーとカーネギーメロン大学 · 続きを見る »

グレース・ホッパー賞

レース・ホッパー賞(英: )は、Association for Computing Machinery (ACM) が1971年から授与している賞。コンピュータの先駆者であるグレース・ホッパーの名を冠している。35歳以下のコンピュータの専門家を対象とし、技術的または業務的な重要な貢献をした者を表彰する。.

新しい!!: シャフィ・ゴールドワッサーとグレース・ホッパー賞 · 続きを見る »

ゲーデル賞

ーデル賞 (Gödel Prize) は、理論計算機科学分野で優れた功績を残した人に、ACM(国際計算機学会)のアルゴリズムと計算量理論に関する部会とEATCS(ヨーロッパ理論コンピュータ学会)が贈る賞である。受賞者には賞金5,000ドルが贈られる。論理学者クルト・ゲーデルに由来する。計算機科学分野ではチューリング賞と並んで権威を持つ賞である。.

新しい!!: シャフィ・ゴールドワッサーとゲーデル賞 · 続きを見る »

ゼロ知識証明

暗号学において、ゼロ知識証明(ぜろちしきしょうめい、zero-knowledge proof)とは、ある人が他の人に、自分の持っている(通常、数学的な)命題が真であることを伝えるのに、真であること以外の何の知識も伝えることなく証明できるようなやりとりの手法である。ゼロ知識対話証明(ZKIP)とも呼ばれる。.

新しい!!: シャフィ・ゴールドワッサーとゼロ知識証明 · 続きを見る »

全米技術アカデミー

全米技術アカデミー(United States National Academy of Engineering、NAE)は、1964年にアメリカ合衆国政府によって設立された非営利研究機関である。1863年、エイブラハム・リンカーンによって設立された全米科学アカデミーと同様の議会活動によって設立された。全米工学アカデミーとも。2013年現在の代表は博士。 NAEは会員選考などを自律的に行っており、他の国立アカデミーと共に連邦政府への諮問という役割を担っている。また、工学の教育と研究促進のためのプログラムを実施し、優れた工学者・技術者の表彰を行っている。NAE会員に選ばれることは工学関連では最高の栄誉とされており、生涯にわたる業績が評価された結果といえる。 NAEは全米アカデミーズの一部であり、他には米国科学アカデミー (NAS)、米国医学研究所 (IOM)、全米研究評議会 (NRC)などの組織がある。 会員は、既存会員の推薦と当人の技術・工学分野での業績に鑑みて選出される。新会員選定は年に1回行われる。正式な会員はアメリカ市民でなければならない, NAE website.

新しい!!: シャフィ・ゴールドワッサーと全米技術アカデミー · 続きを見る »

米国科学アカデミー

米国科学アカデミー(べいこくかがくアカデミー、、)は、アメリカ合衆国の科学アカデミーであり、民間非営利団体に位置づけられる。全米アカデミーズの一員である。 アカデミー会員は、米国における科学、技術、医学におけるプロボノとしての活動を行っている。機関誌として『米国科学アカデミー紀要』を発行する。.

新しい!!: シャフィ・ゴールドワッサーと米国科学アカデミー · 続きを見る »

計算理論

計算理論(けいさんりろん、theory of computation)は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算 (computation) とは、数学的に表現できる、あらゆる種類の情報処理のこと。 計算を厳密に研究するため、計算機科学では計算模型と呼ばれるコンピュータの数学的抽象化を行う。その手法はいくつかあるが、最も有名なものはチューリングマシンである。チューリングマシンは、言ってみれば無限のメモリを持つコンピュータであるが、一度にアクセスできるメモリ範囲は非常に限られている。チューリングマシンは十分な計算能力を持つモデルでありながら、単純で定式化しやすく、様々な証明に使い易いため、計算機科学者がよく利用する。無限のメモリというのは非現実的な特徴と思われるかもしれないが、より適切な表現を使うならば「無制限」のメモリであって、読み書きしようとした時にそれができればよく、それに対応する「無限な実体」とでも言うべきものが必要なわけではない。「チューリングマシンで、ある問題が解ける」とは必ず有限のステップで計算が終了することを意味し、よってそれに必要なメモリの量は有限である。よって、チューリングマシンで解くことが出来る問題は、現実のコンピュータであっても必要なだけのメモリがあれば解くことが出来る。.

新しい!!: シャフィ・ゴールドワッサーと計算理論 · 続きを見る »

計算複雑性理論

計算複雑性理論(けいさんふくざつせいりろん、computational complexity theory)とは、計算機科学における計算理論の一分野であり、アルゴリズムのスケーラビリティや、特定の計算問題の解法の複雑性(計算問題の困難さ)などを数学的に扱う。計算量理論、計算の複雑さの理論、計算複雑度の理論ともいう。.

新しい!!: シャフィ・ゴールドワッサーと計算複雑性理論 · 続きを見る »

計算機科学

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

新しい!!: シャフィ・ゴールドワッサーと計算機科学 · 続きを見る »

MITコンピュータ科学・人工知能研究所

CSAILのある Stata Center MITコンピュータ科学・人工知能研究所(MIT Computer Science and Artificial Intelligence Laboratory、CSAIL)は、マサチューセッツ工科大学にある学際的研究所。2003年7月1日、MITコンピュータ科学研究所とMIT人工知能研究所の合併により創設された。CSAIL は研究領域においても研究員の人数においてもMIT最大の研究所である。所長は教授のロドニー・ブルックス。その建物はフランク・ゲーリーが設計した Stata Center である。.

新しい!!: シャフィ・ゴールドワッサーとMITコンピュータ科学・人工知能研究所 · 続きを見る »

NP

NPは、複雑性クラスのひとつで、Non-deterministic Polynomial time(非決定性多項式時間)の略である(「Non-P」ないしは「Not-P」ではない)。.

新しい!!: シャフィ・ゴールドワッサーとNP · 続きを見る »

RSAセキュリティ

RSAセキュリティ(RSA Security LLC)は、アメリカ合衆国のコンピュータセキュリティおよびネットワークセキュリティに関するソフトウェアの開発会社である。通常はRSAの商号を使用している。 RSAは、共同設立者であるロナルド・リベスト(Ron Rivest)、アディ・シャミア(Adi Shamir)、レオナルド・エーデルマン(Len Adleman)の頭文字をとって命名されたもので、彼らが開発したRSA暗号と同様である。 RSAの製品には、RSA BSAFE暗号化ライブラリやSecurID認証トークンなどがある。RSAは、アメリカ国家安全保障局(NSA)が開発したバックドアを製品に組み込んでいるとされている。情報セキュリティに関するカンファレンスであるRSA Conferenceを毎年開催している。 RSAセキュリティは、1982年に独立企業として設立された。2006年にEMCコーポレーションに21億ドルで買収され、EMC内で事業部として運営された。EMCは2016年にに買収され、RSAはDell EMCインフラストラクチャソリューショングループの子会社となった。 RSAはマサチューセッツ州を拠点とし、(イギリス)とシンガポールに地域本部を、他に多数の国際事務所を置いている。.

新しい!!: シャフィ・ゴールドワッサーとRSAセキュリティ · 続きを見る »

暗号

暗号とは、セキュア通信の手法の種類で、第三者が通信文を見ても特別な知識なしでは読めないように変換する、というような手法をおおまかには指す。いわゆる「通信」(telecommunications)に限らず、記録媒体への保存などにも適用できる。.

新しい!!: シャフィ・ゴールドワッサーと暗号 · 続きを見る »

暗号理論

暗号理論(あんごうりろん)の記事では暗号、特に暗号学に関係する理論について扱う。:Category:暗号技術も参照。.

新しい!!: シャフィ・ゴールドワッサーと暗号理論 · 続きを見る »

1958年

記載なし。

新しい!!: シャフィ・ゴールドワッサーと1958年 · 続きを見る »

1993年

この項目では、国際的な視点に基づいた1993年について記載する。.

新しい!!: シャフィ・ゴールドワッサーと1993年 · 続きを見る »

1996年

この項目では、国際的な視点に基づいた1996年について記載する。.

新しい!!: シャフィ・ゴールドワッサーと1996年 · 続きを見る »

1998年

この項目では、国際的な視点に基づいた1998年について記載する。.

新しい!!: シャフィ・ゴールドワッサーと1998年 · 続きを見る »

2001年

また、21世紀および3千年紀における最初の年でもある。この項目では、国際的な視点に基づいた2001年について記載する。.

新しい!!: シャフィ・ゴールドワッサーと2001年 · 続きを見る »

2010年

この項目では、国際的な視点に基づいた2010年について記載する。.

新しい!!: シャフィ・ゴールドワッサーと2010年 · 続きを見る »

2011年

この項目では、国際的な視点に基づいた2011年について記載する。.

新しい!!: シャフィ・ゴールドワッサーと2011年 · 続きを見る »

2012年

この項目では、国際的な視点に基づいた2012年について記載する。.

新しい!!: シャフィ・ゴールドワッサーと2012年 · 続きを見る »

ここにリダイレクトされます:

シャフリラ・ゴールドワッサー

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