ブラウザよりも高速アクセス！
29 関係: Association for Computing Machinery、平面グラフ、形式言語、マッチング (グラフ理論)、チューリング賞、ロバート・タージャン、ワシントン州、プリンストン大学、データ構造、フェロー、フォン・ノイマンメダル、アルフレッド・エイホ、アルゴリズム、コーネル大学、シアトル、シアトル大学、ジェフリー・ウルマン、スタンフォード大学、C&C賞、計算理論、計算機科学、IEEE、IEEE Computer Society、10月7日、1939年、1961年、1962年、1964年、2部グラフ。
Association for Computing Machinery
Association for Computing Machinery (ACM) は、ニューヨークに本部のあるコンピュータ科学分野の国際学会。1947年設立。IEEEとともに、この分野で最も影響力の強い学会であり、IEEEがその名と由来や歴史からエレクトロニクスや通信分野の工学に強いのに対し、数学的な理論計算機科学のような分野もカバーする。日本語に訳して「計算機械学会」とされることもあるが、こんにちこの訳語が用いられることはほとんどなく、通常は単に"ACM"という略称で呼ばれるのがもっぱらである。ACMの「A」は Association (学会、団体) の頭文字であるが、アメリカ数学会 (AMS) と混同して「米国計算機学会」と誤訳されることがある。 数多くの国際会議を開催しており、人目を惹くデモ映像のSIGGRAPHやSIGMODなどはよく知られている。他の多くの学会と同様にすぐれた業績などへの表彰もおこなっているが、チューリング賞は、特にこの分野の最高の賞とみなされており、物理や化学といった分野におけるノーベル賞に匹敵するものと扱われることもある（他の賞についても時折「～のノーベル賞」といったような表現が使われることがあるが、この分野の全てを対象とした世界トップクラスの賞という位置づけにあるのはチューリング賞をおいて他にない）。.
新しい！!: ジョン・ホップクロフトとAssociation for Computing Machinery · 続きを見る »
平面グラフ
平面グラフ (plane graph) は、平面上の頂点集合とそれを交差なく結ぶ辺集合からなるグラフのことである。平面グラフと同型なグラフのことを平面的グラフ (planar graph) という。 平面的グラフは、球面などの種数0の曲面に描けるグラフと同値である。 極小な非平面的グラフは、K3,3とK5。.
新しい！!: ジョン・ホップクロフトと平面グラフ · 続きを見る »
形式言語
形式言語（けいしきげんご、formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。形式的でないために、しばしば曖昧さが曖昧なまま残されたり、話者集団という不特定多数によってうつろいゆくような自然言語のそれに対して、一部の人工言語や、いわゆる機械可読な（機械可読目録を参照）ドキュメント類などは形式言語である。この記事では形式的な統語論すなわち構文の形式的な定義と形式文法について述べる。形式的な意味論については形式意味論の記事を参照。.
新しい！!: ジョン・ホップクロフトと形式言語 · 続きを見る »
マッチング (グラフ理論)
ラフ理論においてマッチングとは、グラフ中の枝集合で、互いに端点を共有しないもののこと。特に、これ以上枝を追加できないもののことを極大マッチング、枝数が最大のものを最大マッチングという。また、グラフ上の全ての頂点が、マッチング中のいずれかの枝の端点になっているとき、そのマッチングを完全マッチングという。 極大マッチング、最大マッチングは必ず存在するが、完全マッチングは存在するとは限らない。（例: 奇数個頂点のグラフ）.
新しい！!: ジョン・ホップクロフトとマッチング (グラフ理論) · 続きを見る »
チューリング賞
ACMチューリング賞(ACM A.M. Turing Award)は、計算機科学分野で革新的な功績を残した人物に年に1度、ACMから贈られる賞であり世界最高の権威を持つ賞とされている。その功績は長く影響が続くもので、コンピュータ業界で技術的にも重要なものとされている。計算機科学におけるノーベル賞と広く認識されており、事実、受賞者にはハーバート・サイモンなどノーベル賞受賞者が存在している。 「チューリング」の名は、現代計算機科学の父の1人とされるアラン・チューリングの名にちなむ。2014年11月3日、Googleの後援により受賞者には100万ドルが贈られると発表された。 1966年の最初の受賞者はカーネギーメロン大学のアラン・パリスだった。初の女性受賞者は、2006年のフランシス・E・アレン（IBM）である。2008年には再び女性であるバーバラ・リスコフが受賞している。.
新しい！!: ジョン・ホップクロフトとチューリング賞 · 続きを見る »
ロバート・タージャン
バート・タージャン（Robert Endre Tarjan, 1948年4月30日 - ）は、アメリカ合衆国の計算機科学者。などのグラフアルゴリズムを発見し、スプレー木とフィボナッチヒープというデータ構造を共同で発明した。2012年現在はプリンストン大学で計算機科学の教授を務めており、ヒューレット・パッカードのシニアフェローでもある。.
新しい！!: ジョン・ホップクロフトとロバート・タージャン · 続きを見る »
ワシントン州
ワシントン州（State of Washington）は、アメリカ合衆国西海岸最北部の州。州都はオリンピアであるが、規模・経済の面での中心都市はシアトルである。北はカナダのブリティッシュコロンビア州、南はオレゴン州、東はアイダホ州と接している。1846年にオレゴン境界紛争を解決するためのオレゴン条約が結ばれた結果、イギリスから割譲されたワシントン準州の西側が現在のワシントン州になった。1889年にアメリカ合衆国42番目の州として認められた。 カリフォルニア州、オレゴン州と共にリベラルな気風で、保守的な中西部に対して「レッドウッド・カーテンの向こう側」と称される。 近年ではマイクロソフトの本拠地であり、スターバックスの発祥の地などとして知られる。日本では、州の中心都市シアトルがMLBシアトル・マリナーズの本拠地である点、任天堂のアメリカ本社がある点でも知られている。 2010年国勢調査によると、州の人口は6,724,540人となっている。そのおよそ60%はセイリッシュ海のピュージェット湾に沿った交通、事業、産業の中心であるシアトル都市圏に集中している。ピュージェット湾は太平洋からの入江であり、氷河が侵食した多くの島、深いフィヨルドおよび湾がある。州の西部は深い温帯雨林があり、西部、中部、北東部および最南東部には山脈がある。東部の亜乾燥盆地は徹底した農業が行われている。アメリカ合衆国の西海岸や西部ではカリフォルニア州に次いで2番目に人口の多い州である。 州の名はアメリカ建国の父で初代アメリカ合衆国大統領ジョージ・ワシントンに由来しており、大統領の名前が付けられたことでは合衆国の中で唯一の州である。首都ワシントンD.C.と区別するためにワシントン州と呼ばれるが、州民、近在の州およびカナダのブリティッシュコロンビア州南部の住人は単に「ワシントン」と呼び、首都の方は「ワシントンD.C.」あるいは単純に「D.C.」のみで呼んでいる。元々ワシントン州のある地域はコロンビア川にちなんで「コロンビア」と呼ばれており、ワシントンD.C.がコロンビア特別区と呼ばれることから、混乱を避けるためにワシントン州とされた。.
新しい！!: ジョン・ホップクロフトとワシントン州 · 続きを見る »
プリンストン大学
プリンストン大学（英語: Princeton University）は、アメリカ合衆国ニュージャージー州プリンストンに本部を置くアメリカ合衆国の私立大学である。1746年に設置された。 学生数は学部生約4800名、大学院生約2000名である。アイビー・リーグ（Ivy League）の大学8校のうちの1校であることや、2名の大統領を輩出していること、アメリカ全土で8番目に古いことなどで有名な大学である。41人のノーベル賞受賞者、14人のフィールズ賞受賞者、5人のアーベル賞受賞者、10人のチューリング賞受賞者、209人のローズ奨学生、126人のを輩出している。2016年度の受験サイクルでは全受験者の6.5%が入学を許可された。.
新しい！!: ジョン・ホップクロフトとプリンストン大学 · 続きを見る »
データ構造
データ構造（データこうぞう、data structure）は、計算機科学において、データの集まりをコンピュータの中で効果的に扱うため、一定の形式に系統立てて格納するときの形式のことである。 ソフトウェア開発において、データ構造についてどのような設計を行うかは、プログラム（アルゴリズム）の効率に大きく影響する。そのため、さまざまなデータ構造が考え出されている。 多くのプログラムの設計において、データ構造の選択は主要な問題である。これは大規模システムの構築において、実装の困難さや質、最終的なパフォーマンスはベストのデータ構造を選択したかどうかに大きく依存してきたという経験の結果である。多くの場合、データ構造が決まれば、利用するアルゴリズムは比較的自明に決まる。しかし場合によっては、順番が逆になる。つまり、与えられた仕事をこなす最適なアルゴリズムを使うために、そのアルゴリズムが前提としている特定のデータ構造が選択される。いずれにしても適切なデータ構造の選択は極めて重要である。 この洞察は、多くの定式化された設計手法やプログラミング言語において、データ構造がアルゴリズムよりもキーとなる構成要素となっていることに現れている。大半の言語は異なるアプリケーションにおいてデータ構造を安全に再利用できるよう、実装の詳細をインターフェイスの背後に隠蔽するような、モジュール化のしくみを備えている。C++やJavaといったオブジェクト指向プログラミング言語はクラスをこの目的に用いている。 データ構造は専門的なプログラミングにとって非常に重要なので、C++におけるSTLや、Java API、および.NET Frameworkのようなプログラミング言語の標準ライブラリや環境において多くのデータ構造がサポートされている。 データ構造が実装を表すのかインターフェースを表すのかについてはいくらか議論がある。どのように見えるかは相対的な問題なのかもしれない。データ構造は2つの関数の間にあるインターフェイスとして見ることもできるし、データ型に基づいて構成されたストレージにアクセスする方法を実装したものとして見ることもできる。.
新しい！!: ジョン・ホップクロフトとデータ構造 · 続きを見る »
フェロー
フェロー（fellow）とは、大学教員、研究所の研究員など研究職に従事する者にあたえられる職名または称号である。企業、大学、研究所、シンクタンクなどにみられる。学会がその分野に著しい貢献があった者に授与する称号でもある。特に、学会等が授与・贈呈するフェローの称号をフェロー称号と通称することがある。.
新しい！!: ジョン・ホップクロフトとフェロー · 続きを見る »
フォン・ノイマンメダル
フォン・ノイマンメダル、正確には「IEEEジョン・フォン・ノイマン・メダル」（IEEE John von Neumann Medal）は、コンピュータ関連の科学および工学への貢献に対して（ほぼ）毎年贈られる賞であり、IEEEが1990年に創設した。受賞対象には学術的なもの、技術的なもの、事業的なものが含まれ、必ずしも受賞年の業績である必要はない。 メダルの名称はジョン・フォン・ノイマンにちなんで名づけられた。.
新しい！!: ジョン・ホップクロフトとフォン・ノイマンメダル · 続きを見る »
アルフレッド・エイホ
アルフレッド・V・エイホ（Alfred Vaino Aho、1941年8月9日 - ）は、カナダ出身の計算機科学者。1995年からニューヨークのコロンビア大学で教授を務めており、2003年には同大学同窓会から Great Teacher Award を授与された。.
新しい！!: ジョン・ホップクロフトとアルフレッド・エイホ · 続きを見る »
アルゴリズム
フローチャートはアルゴリズムの視覚的表現としてよく使われる。これはランプがつかない時のフローチャート。 アルゴリズム（algorithm ）とは、数学、コンピューティング、言語学、あるいは関連する分野において、問題を解くための手順を定式化した形で表現したものを言う。算法と訳されることもある。 「問題」はその「解」を持っているが、アルゴリズムは正しくその解を得るための具体的手順および根拠を与える。さらに多くの場合において効率性が重要となる。 コンピュータにアルゴリズムをソフトウェア的に実装するものがコンピュータプログラムである。人間より速く大量に計算ができるのがコンピュータの強みであるが、その計算が正しく効率的であるためには、正しく効率的なアルゴリズムに基づいたものでなければならない。.
新しい！!: ジョン・ホップクロフトとアルゴリズム · 続きを見る »
コーネル大学
ーネル大学（Cornell University）は、米国の私立大学でありアイビー・リーグを構成する一校である。特に機械工学、生命科学、物理学、建築学、造園学、コンピュータ工学、経営学、医学、農学分野は著名である。世界における大学ランキングでは、Webometrics Ranking of World Universitiesで2015年度は5位にランクされ:en、またノーベル賞の全部門で受賞者を輩出する等、研究・教育の両面において世界最高水準を保持している。 大自然に恵まれたキャンパス内には湖や滝があり、全米一美しいと言われている。またバラエティに富んだ高い品質の学食を提供することでも知られ、Princeton Reviewで2016年には全米３位にランクインされた。.
新しい！!: ジョン・ホップクロフトとコーネル大学 · 続きを見る »
シアトル
アトル（Seattle、スィアロゥ）は、アメリカ合衆国ワシントン州北西部キング郡にある都市。同州最大の都市かつ同郡の郡庁所在地である。また、太平洋岸北西部最大の都市かつアメリカ西海岸有数の世界都市でもある。.
新しい！!: ジョン・ホップクロフトとシアトル · 続きを見る »
シアトル大学
記載なし。
新しい！!: ジョン・ホップクロフトとシアトル大学 · 続きを見る »
ジェフリー・ウルマン
ェフリー・デイヴィッド・ウルマン（、1942年11月22日 - ）は、計算機科学者で、スタンフォード大学の教授。コンパイラ、計算理論、データ構造、データベースについての教科書を書いており、各分野の標準とみなされている。.
新しい！!: ジョン・ホップクロフトとジェフリー・ウルマン · 続きを見る »
スタンフォード大学
タンフォード大学（Stanford University）とは、アメリカ合衆国カリフォルニア州スタンフォードに本部を置く私立大学。正式名称はリーランド・スタンフォード・ジュニア大学（）。 校訓は「Die Luft der Freiheit weht（独：自由の風が吹く）」。サンフランシスコから約60 km南東に位置し、地理上も、歴史的にもシリコンバレーの中心に位置している。.
新しい！!: ジョン・ホップクロフトとスタンフォード大学 · 続きを見る »
C&C賞
C&C賞は、日本電気が設立した公益財団法人 NEC C&C 財団が授与する賞。1985年創設。半導体、情報処理、電気通信などに関わる事業、工学、科学分野への貢献を顕彰し、原則として毎年2件贈られる。副賞は 1件につき1000万円。.
新しい！!: ジョン・ホップクロフトとC&C賞 · 続きを見る »
計算理論
計算理論（けいさんりろん、theory of computation）は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算 (computation) とは、数学的に表現できる、あらゆる種類の情報処理のこと。 計算を厳密に研究するため、計算機科学では計算模型と呼ばれるコンピュータの数学的抽象化を行う。その手法はいくつかあるが、最も有名なものはチューリングマシンである。チューリングマシンは、言ってみれば無限のメモリを持つコンピュータであるが、一度にアクセスできるメモリ範囲は非常に限られている。チューリングマシンは十分な計算能力を持つモデルでありながら、単純で定式化しやすく、様々な証明に使い易いため、計算機科学者がよく利用する。無限のメモリというのは非現実的な特徴と思われるかもしれないが、より適切な表現を使うならば「無制限」のメモリであって、読み書きしようとした時にそれができればよく、それに対応する「無限な実体」とでも言うべきものが必要なわけではない。「チューリングマシンで、ある問題が解ける」とは必ず有限のステップで計算が終了することを意味し、よってそれに必要なメモリの量は有限である。よって、チューリングマシンで解くことが出来る問題は、現実のコンピュータであっても必要なだけのメモリがあれば解くことが出来る。.
新しい！!: ジョン・ホップクロフトと計算理論 · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: ジョン・ホップクロフトと計算機科学 · 続きを見る »
IEEE
IEEE（アイ・トリプル・イー、The Institute of Electrical and Electronics Engineers, Inc.）は、アメリカ合衆国に本部を持つ電気工学・電子工学技術の学会である。.
新しい！!: ジョン・ホップクロフトとIEEE · 続きを見る »
IEEE Computer Society
IEEE Computer Society（IEEEコンピュータソサエティ）とはアメリカに本部を持つ電気・電子技術の学会であるIEEE内に設置されているテクニカルソサイエティのうちのひとつである。 計算機科学分野に関する多くの学会活動を担っており，2007年現在の会員数は10万人近い．.
新しい！!: ジョン・ホップクロフトとIEEE Computer Society · 続きを見る »
10月7日
10月7日（じゅうがつなのか）はグレゴリオ暦で年始から280日目（閏年では281日目）にあたり、年末まであと85日ある。.
新しい！!: ジョン・ホップクロフトと10月7日 · 続きを見る »
1939年
記載なし。
新しい！!: ジョン・ホップクロフトと1939年 · 続きを見る »
1961年
記載なし。
新しい！!: ジョン・ホップクロフトと1961年 · 続きを見る »
1962年
記載なし。
新しい！!: ジョン・ホップクロフトと1962年 · 続きを見る »
1964年
記載なし。
新しい！!: ジョン・ホップクロフトと1964年 · 続きを見る »
2部グラフ
循環の無い2部グラフの例 完全2部グラフ 数学、とくにグラフ理論における2部グラフ（にぶぐらふ、bipartite graph）は、頂点集合を二つの部分集合に分割して各集合内の頂点同士の間には辺が無いようにできるグラフのことである。このような頂点の集合を独立集合といい、より一般にn個の独立頂点集合に分割可能なグラフのことをn部グラフ (n-partite graph) という。 完全2部グラフは、二つの頂点集合V1, V2に分割したとき、V1同士・V2同士の頂点間には辺が存在しないが、V1とV2間の任意の2点間に辺が存在するグラフのことである。m頂点の頂点集合とn頂点の頂点集合に分割されるような完全2部グラフのことをKm, nとかく。 隣り合った頂点同士を異なる色で塗ることを（頂点）彩色という。よって、n部グラフはn点彩色可能なグラフである。同様に、隣り合った辺同士を異なる色で塗ることを辺彩色という。 二部グラフの辺集合Mがマッチングであるとは、Mに属するどの2辺も隣接していないと言うことである。グラフGの最大マッチングとは、GのマッチングMのうち、辺の数が最大のものである。また、全ての頂点を含むマッチングのことを完全マッチングという。.
新しい！!: ジョン・ホップクロフトと2部グラフ · 続きを見る »
