ブラウザよりも高速アクセス！
28 関係: Association for Computing Machinery、博士研究員、並行性、チューリング賞、ハイファ、モデル検査、ワイツマン科学研究所、テルアビブ大学、ニューヨーク大学、ニューヨーク州、ニューヨーク・タイムズ、イギリス委任統治領パレスチナ、イスラエル、イスラエル工科大学、イスラエル賞、スタンフォード大学、全米技術アカデミー、Dr. Dobb's Journal、計算機科学、脳内出血、数学、時相論理、11月2日、1941年、1981年、1999年、2009年、4月22日。
Association for Computing Machinery
Association for Computing Machinery (ACM) は、ニューヨークに本部のあるコンピュータ科学分野の国際学会。1947年設立。IEEEとともに、この分野で最も影響力の強い学会であり、IEEEがその名と由来や歴史からエレクトロニクスや通信分野の工学に強いのに対し、数学的な理論計算機科学のような分野もカバーする。日本語に訳して「計算機械学会」とされることもあるが、こんにちこの訳語が用いられることはほとんどなく、通常は単に"ACM"という略称で呼ばれるのがもっぱらである。ACMの「A」は Association (学会、団体) の頭文字であるが、アメリカ数学会 (AMS) と混同して「米国計算機学会」と誤訳されることがある。 数多くの国際会議を開催しており、人目を惹くデモ映像のSIGGRAPHやSIGMODなどはよく知られている。他の多くの学会と同様にすぐれた業績などへの表彰もおこなっているが、チューリング賞は、特にこの分野の最高の賞とみなされており、物理や化学といった分野におけるノーベル賞に匹敵するものと扱われることもある（他の賞についても時折「～のノーベル賞」といったような表現が使われることがあるが、この分野の全てを対象とした世界トップクラスの賞という位置づけにあるのはチューリング賞をおいて他にない）。.
新しい！!: アミール・プヌーリとAssociation for Computing Machinery · 続きを見る »
博士研究員
博士研究員（はくしけんきゅういん、Postdoctoral Researcher）とは、博士号（ドクター）取得後に任期制の職に就いている研究者や、そのポスト自体を指す語である。英語圏での略称であるpostdocに倣ってポスドクと称されたり博士後研究員とも呼ばれる。.
新しい！!: アミール・プヌーリと博士研究員 · 続きを見る »
並行性
並行性(へいこうせい、concurrency)とは、計算機科学において、時間的にオーバーラップして実行される計算を伴うシステムの属性であり、そのような計算ではリソースを共有することがある。並行計算は、同一チップ上の複数のコア、単一プロセッサ上のプリエンプションを伴うマルチスレッド、物理的に分離した複数プロセッサ上などで行われる。並行計算のための数学的モデルとして、ペトリネット、プロセス計算、並列ランダムアクセス機械モデル、アクターモデル、 などが開発された。.
新しい！!: アミール・プヌーリと並行性 · 続きを見る »
チューリング賞
ACMチューリング賞(ACM A.M. Turing Award)は、計算機科学分野で革新的な功績を残した人物に年に1度、ACMから贈られる賞であり世界最高の権威を持つ賞とされている。その功績は長く影響が続くもので、コンピュータ業界で技術的にも重要なものとされている。計算機科学におけるノーベル賞と広く認識されており、事実、受賞者にはハーバート・サイモンなどノーベル賞受賞者が存在している。 「チューリング」の名は、現代計算機科学の父の1人とされるアラン・チューリングの名にちなむ。2014年11月3日、Googleの後援により受賞者には100万ドルが贈られると発表された。 1966年の最初の受賞者はカーネギーメロン大学のアラン・パリスだった。初の女性受賞者は、2006年のフランシス・E・アレン（IBM）である。2008年には再び女性であるバーバラ・リスコフが受賞している。.
新しい！!: アミール・プヌーリとチューリング賞 · 続きを見る »
ハイファ
ハイファ（、、Ḥefa、Haifa）は、イスラエルハイファ地区にある都市である。.
新しい！!: アミール・プヌーリとハイファ · 続きを見る »
モデル検査
モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足するかどうか検証する。仕様は時相論理の論理式の形式で記述することが多い。.
新しい！!: アミール・プヌーリとモデル検査 · 続きを見る »
ワイツマン科学研究所
ワイツマン科学研究所（מכון ויצמן למדע）は、イスラエルのレホヴォトにある研究および高等教育機関。自然科学系の大学院のみである点が他の一般の大学とは異なる（大学院大学）。ヴァイツマン科学研究所とも。 世界的にも有名な総合研究センターであり、約2,500名の科学者、博士号取得後のフェロー、大学院生、スタッフが働いている。.
新しい！!: アミール・プヌーリとワイツマン科学研究所 · 続きを見る »
テルアビブ大学
ャンパス テルアビブ大学（テルアビブだいがく、、جامعة تل أبيب）は、イスラエルのテルアビブにある大学。1954年に前身となるユダヤ研究機関が創立され、1956年に現在の大学に組織変更された。なお、同大学のキャンパスの内部にはディアスポラ博物館が設置されており、同大学の教職員や学生ではない一般の観光客でもディアスポラ博物館を訪問することは可能である。.
新しい！!: アミール・プヌーリとテルアビブ大学 · 続きを見る »
ニューヨーク大学
NYUの図書館（ボブスト図書館） ニューヨーク大学 （英:New York University, NYU）は、アメリカ合衆国、ニューヨーク市マンハッタン区にある全米有数の大規模な私立総合大学である。校訓は、Perstare et praestare "To persevere and to excel"。 大学ランキングにおいて世界的指標であるタイムズ・ハイアー・エデュケーションの世界大学ランキングでの総合30位（全米18位）である。 特に国際法学、税法学で全米ランク1位のニューヨーク大学・ロー・スクールや経営大学院（MBA）全米ランク10位のビジネススクールは全米屈指のトップ校として有名であり、その他「不動産」、「出版」、「スポーツビジネス」など専門分野の経営を学ぶ修士課程も知られている。 社会科学や人文科学、数学、公共政策学、看護学等の大学院ランキングでもトップ10に位置する有名な存在であり、これまでに24名以上のノーベル賞受賞者を輩出。芸術学部演劇学科及び映画学科は世界的に高い評価を受けており、30名以上のアカデミー賞受賞者等、数多くの映画監督や有名俳優を輩出している。卒業生が幅広い分野で活躍しているのが特徴。.
新しい！!: アミール・プヌーリとニューヨーク大学 · 続きを見る »
ニューヨーク州
ニューヨーク州（State of New York）は、アメリカ合衆国大西洋岸中部にあり、本土アメリカ合衆国では北東部地域に位置する州。面積では第27位の州である。かつては50州で最も人口が多かったが、2010年の国勢調査現在は、カリフォルニア州、テキサス州、フロリダ州に次ぐ4位である。 南州境はニュージャージー州とペンシルベニア州、東州境はコネチカット州、マサチューセッツ州およびバーモント州に接する。西はカナダとの国境に接し、名所のナイアガラの滝がある。東南端に、アメリカ最大の都市であるニューヨーク市があり、州南部は近郊の大都市圏となっている。一方で、州北部の五大湖湖畔には古くからの工業都市であるバッファローとロチェスターがある。州都は、人口10万人足らずのオールバニである。2011年以降、州知事は民主党のアンドリュー・クオモ。.
新しい！!: アミール・プヌーリとニューヨーク州 · 続きを見る »
ニューヨーク・タイムズ
ニューヨーク・タイムズ（The New York Times）は、アメリカ合衆国ニューヨーク州ニューヨーク市に本社を置く、新聞社並びに同社が発行している高級日刊新聞紙。アメリカ合衆国内での発行部数はUSAトゥデイ（211万部）、ウォール・ストリート・ジャーナル（208万部）に次いで第3位（103万部）部数は平日版、2008年10月 - 2009年3月平均。.
新しい！!: アミール・プヌーリとニューヨーク・タイムズ · 続きを見る »
イギリス委任統治領パレスチナ
イギリス委任統治領パレスチナ（イギリスいにんとうちりょうパレスチナ、British Mandate for Palestine、الانتداب البريطاني على فلسطين、המנדט הבריטי על פלשתינה א"י）は、国際連盟によりパレスチナに創設された、イギリスが統治を行う委任統治領である。パレスチナは、16世紀以来この地を治めていたオスマン帝国から、第一次世界大戦後にイギリス帝国の委任統治下に入った領土である。イギリスは1918年にこの地の占領統治を開始し、1920年から高等弁務官による民政を開始して実質的に植民統治を開始していた。 委任統治領パレスチナの決議案は1922年7月24日に国際連盟理事会で公式に承認され、1923年9月26日に発効した.
新しい！!: アミール・プヌーリとイギリス委任統治領パレスチナ · 続きを見る »
イスラエル
イスラエル国（イスラエルこく、מְדִינַת יִשְׂרָאֵל メディナット・イスラエル、دولة إسرائيل ダウラト・イスラーイール、State of Israel ）、通称イスラエルは、中東のパレスチナに位置する国家。北にレバノン、北東にシリア、東にヨルダン、南にエジプトと接する。ガザ地区とヨルダン川西岸地区を支配するパレスチナ自治政府（パレスチナ国）とは南西および東で接する。地中海および紅海にも面している。首都はエルサレムであると主張しているが、国際連合などはテルアビブをイスラエルの首都とみなしている（エルサレム#首都問題を参照）。 イスラエルは、シオニズム運動を経て1948年5月14日に建国された。建国の経緯に根ざす問題は多い。版図に関するものではパレスチナ問題がよく報道される。.
新しい！!: アミール・プヌーリとイスラエル · 続きを見る »
イスラエル工科大学
1901年、ドイツのベルリンにおいて、「ドイツ系ユダヤ人による慈善協会」(通称「エズラ」)が発足した。「エズラ」協会には、「東欧のユダヤ人を助けること」および「ドイツ外のユダヤ人に対するドイツ文化の促進」という2つの目的があった。 1907年の9月から12月、創始者であるパウル・ナタン博士はエズラ協会の設立した学校を調査するため、パレスチナを訪問した。パレスチナ滞在時に、彼の脳裏に「技術者学校のプランで高等教育機関を建設してみてはどうか、きっとそれがエズラ協会最大の活動になるのではないか」との案が湧いた。 彼の思索は、地域で起こり始めていた変革によるものである。当時パレスチナの地を支配していたオスマン帝国は、科学技術的にヨーロッパより遅れをとっていた。時を同じくしてトルコ政府は大規模な生産開発を計画し、多くの技術者を必要としていた。しかし当時、オスマン帝国全土に養成学校が皆無であったため、このような技術者は存在しなかった。その為、帝国外部から専門の技術者を呼び寄せる他はなかったのである。 ナタンは、この新しい技術者学校を卒業するユダヤ人が、新分野の研究に携わるには、以下の条件が必要だと望んだ。.
新しい！!: アミール・プヌーリとイスラエル工科大学 · 続きを見る »
イスラエル賞
イスラエル賞（פרס ישראל）は、イスラエル国が授与する賞であり、同国最高の栄誉ある賞とされている。 毎年、独立記念日（5月14日）にエルサレムで受賞式典が行われ、大統領、首相、クネセト（イスラエルの議会）議長、最高裁判所長官が出席する。1953年、当時の文部大臣 Ben-Zion Dinor の発案で創設され、彼自身も1958年と1973年に受賞している。.
新しい！!: アミール・プヌーリとイスラエル賞 · 続きを見る »
スタンフォード大学
タンフォード大学（Stanford University）とは、アメリカ合衆国カリフォルニア州スタンフォードに本部を置く私立大学。正式名称はリーランド・スタンフォード・ジュニア大学（）。 校訓は「Die Luft der Freiheit weht（独：自由の風が吹く）」。サンフランシスコから約60 km南東に位置し、地理上も、歴史的にもシリコンバレーの中心に位置している。.
新しい！!: アミール・プヌーリとスタンフォード大学 · 続きを見る »
全米技術アカデミー
全米技術アカデミー（United States National Academy of Engineering、NAE）は、1964年にアメリカ合衆国政府によって設立された非営利研究機関である。1863年、エイブラハム・リンカーンによって設立された全米科学アカデミーと同様の議会活動によって設立された。全米工学アカデミーとも。2013年現在の代表は博士。 NAEは会員選考などを自律的に行っており、他の国立アカデミーと共に連邦政府への諮問という役割を担っている。また、工学の教育と研究促進のためのプログラムを実施し、優れた工学者・技術者の表彰を行っている。NAE会員に選ばれることは工学関連では最高の栄誉とされており、生涯にわたる業績が評価された結果といえる。 NAEは全米アカデミーズの一部であり、他には米国科学アカデミー (NAS)、米国医学研究所 (IOM)、全米研究評議会 (NRC)などの組織がある。 会員は、既存会員の推薦と当人の技術・工学分野での業績に鑑みて選出される。新会員選定は年に1回行われる。正式な会員はアメリカ市民でなければならない, NAE website.
新しい！!: アミール・プヌーリと全米技術アカデミー · 続きを見る »
Dr. Dobb's Journal
Dr.
新しい！!: アミール・プヌーリとDr. Dobb's Journal · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: アミール・プヌーリと計算機科学 · 続きを見る »
脳内出血
脳内出血（のうないしゅっけつ）とは、脳内に出血する疾患である。大きくは高血圧性脳内出血と、非高血圧性脳内出血に分類される。.
新しい！!: アミール・プヌーリと脳内出血 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
新しい！!: アミール・プヌーリと数学 · 続きを見る »
時相論理
時相論理（Temporal Logic）とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるまで腹ペコだろう」といった文を表現できる。1950年代末にが提唱した様相論理に基づいた時相論理を特に時制論理（Tense Logic）と呼ぶことがある。が重要な業績を残した。その後、そこから発展し、アミール・プヌーリら計算機科学者や論理学者が研究を進めた。 時相論理はシステムのハードウェアやソフトウェアの要求仕様を記述する方法として形式的検証で利用される。例えば、「要求が発生したら常にリソースへのアクセスがそのうちに承認される。ただし、決して2つの要求を同時に承認してはならない」といった文章は時相論理で表せる。.
新しい！!: アミール・プヌーリと時相論理 · 続きを見る »
11月2日
11月2日（じゅういちがつふつか）はグレゴリオ暦で年始から306日目（閏年では307日目）にあたり、年末まであと59日ある。.
新しい！!: アミール・プヌーリと11月2日 · 続きを見る »
1941年
記載なし。
新しい！!: アミール・プヌーリと1941年 · 続きを見る »
1981年
この項目では、国際的な視点に基づいた1981年について記載する。.
新しい！!: アミール・プヌーリと1981年 · 続きを見る »
1999年
1990年代最後の年であり、1000の位が1になる最後の年でもある。 この項目では、国際的な視点に基づいた1999年について記載する。.
新しい！!: アミール・プヌーリと1999年 · 続きを見る »
2009年
この項目では、国際的な視点に基づいた2009年について記載する。.
新しい！!: アミール・プヌーリと2009年 · 続きを見る »
4月22日
4月22日（しがつにじゅうににち）はグレゴリオ暦で年始から112日目（閏年では113日目）にあたり、年末まではあと253日ある。誕生花はヤマツツジ、ホシクジャク。.
新しい！!: アミール・プヌーリと4月22日 · 続きを見る »
