ブラウザよりも高速アクセス！
25 関係: Association for Computing Machinery、多項式時間、ミズーリ大学群、チューリング賞、ラトビア、リチャード・スターンズ、リガ、フィリップ大学マールブルク、ドイツ、アメリカ合衆国、オハイオ州立大学、カリフォルニア工科大学、コーネル大学、ゼネラル・エレクトリック、全米技術アカデミー、第二次世界大戦、DTIME、複雑性クラス、計算理論、計算複雑性理論、計算機科学、1928年、1965年、1993年、7月7日。
Association for Computing Machinery
Association for Computing Machinery (ACM) は、ニューヨークに本部のあるコンピュータ科学分野の国際学会。1947年設立。IEEEとともに、この分野で最も影響力の強い学会であり、IEEEがその名と由来や歴史からエレクトロニクスや通信分野の工学に強いのに対し、数学的な理論計算機科学のような分野もカバーする。日本語に訳して「計算機械学会」とされることもあるが、こんにちこの訳語が用いられることはほとんどなく、通常は単に"ACM"という略称で呼ばれるのがもっぱらである。ACMの「A」は Association (学会、団体) の頭文字であるが、アメリカ数学会 (AMS) と混同して「米国計算機学会」と誤訳されることがある。 数多くの国際会議を開催しており、人目を惹くデモ映像のSIGGRAPHやSIGMODなどはよく知られている。他の多くの学会と同様にすぐれた業績などへの表彰もおこなっているが、チューリング賞は、特にこの分野の最高の賞とみなされており、物理や化学といった分野におけるノーベル賞に匹敵するものと扱われることもある（他の賞についても時折「～のノーベル賞」といったような表現が使われることがあるが、この分野の全てを対象とした世界トップクラスの賞という位置づけにあるのはチューリング賞をおいて他にない）。.
新しい！!: ユリス・ハルトマニスとAssociation for Computing Machinery · 続きを見る »
多項式時間
多項式時間（たこうしきじかん）とは計算理論において多項式で表される計算時間。 多項式時間のアルゴリズムとは、解くべき問題の入力サイズnに対して、処理時間の上界としてnの多項式で表現できるものが存在するアルゴリズムを指す。問題入力サイズの増大に対する、処理時間の増大を表すものであることに注意されたい。 たとえばバブルソートの処理時間は要素数nに対して要素の比較・交換を行う回数は高々 \frac n(n-1) である。したがって、この場合の最悪計算量のオーダーは''O''記法を用いてO()と表される。 またクイックソートの期待計算量のオーダーはO(n \log n)、最悪計算量のオーダーはO()である。.
新しい！!: ユリス・ハルトマニスと多項式時間 · 続きを見る »
ミズーリ大学群
ミズーリ大学群（ミズーリだいがくぐん、University of Missouri System）は、ミズーリ州立の公的研究型大学群。同じミズーリ州にあるミズーリ州立大学群とは別の組織である。.
新しい！!: ユリス・ハルトマニスとミズーリ大学群 · 続きを見る »
チューリング賞
ACMチューリング賞(ACM A.M. Turing Award)は、計算機科学分野で革新的な功績を残した人物に年に1度、ACMから贈られる賞であり世界最高の権威を持つ賞とされている。その功績は長く影響が続くもので、コンピュータ業界で技術的にも重要なものとされている。計算機科学におけるノーベル賞と広く認識されており、事実、受賞者にはハーバート・サイモンなどノーベル賞受賞者が存在している。 「チューリング」の名は、現代計算機科学の父の1人とされるアラン・チューリングの名にちなむ。2014年11月3日、Googleの後援により受賞者には100万ドルが贈られると発表された。 1966年の最初の受賞者はカーネギーメロン大学のアラン・パリスだった。初の女性受賞者は、2006年のフランシス・E・アレン（IBM）である。2008年には再び女性であるバーバラ・リスコフが受賞している。.
新しい！!: ユリス・ハルトマニスとチューリング賞 · 続きを見る »
ラトビア
ラトビア共和国（ラトビアきょうわこく、Latvijas Republika）、通称ラトビアは、北ヨーロッパの共和制国家。EUそしてNATOの加盟国、OECDの加盟国。通貨はユーロ、人口は201.5万人、首都はリガである。.
新しい！!: ユリス・ハルトマニスとラトビア · 続きを見る »
リチャード・スターンズ
リチャード・エドウィン・スターンズ（Richard Edwin Stearns, 1936年7月5日 - ）は、アメリカ合衆国の計算機科学者。1993年、ユリス・ハルトマニスと共に「計算複雑性理論の分野を確立した独創的な論文に対して」チューリング賞を受賞した。1994年、Association for Computing Machinery (ACM) のフェローに選ばれた。 1961年、プリンストン大学にての指導で博士号を得た。2006年現在、ニューヨーク州立大学オールバニ校計算機科学科の名誉教授を務めている。.
新しい！!: ユリス・ハルトマニスとリチャード・スターンズ · 続きを見る »
リガ
リガ、またはリーガ（ 、、、Ryga、英語、）は、ラトビア共和国の首都で、同国最大の人口を擁する都市。人口は69万9,203人（2012年時点）。「バルト海の真珠」と讃えられる美しい港町で、その旧市街はユネスコの世界遺産（文化遺産）に登録されている。.
新しい！!: ユリス・ハルトマニスとリガ · 続きを見る »
フィリップ大学マールブルク
マールブルク大学 フィリップ大学マールブルク（Philipps-Universität Marburg）は、ドイツのマールブルクにある大学。通称、マールブルク大学。.
新しい！!: ユリス・ハルトマニスとフィリップ大学マールブルク · 続きを見る »
ドイツ
ドイツ連邦共和国（ドイツれんぽうきょうわこく、Bundesrepublik Deutschland）、通称ドイツ（Deutschland）は、ヨーロッパ中西部に位置する連邦制共和国である。もともと「ドイツ連邦共和国」という国は西欧に分類されているが、東ドイツ（ドイツ民主共和国）の民主化と東西ドイツの統一により、「中欧」または「中西欧」として再び分類されるようになっている。.
新しい！!: ユリス・ハルトマニスとドイツ · 続きを見る »
アメリカ合衆国
アメリカ合衆国（アメリカがっしゅうこく、）、通称アメリカ、米国（べいこく）は、50の州および連邦区から成る連邦共和国である。アメリカ本土の48州およびワシントンD.C.は、カナダとメキシコの間の北アメリカ中央に位置する。アラスカ州は北アメリカ北西部の角に位置し、東ではカナダと、西ではベーリング海峡をはさんでロシアと国境を接している。ハワイ州は中部太平洋における島嶼群である。同国は、太平洋およびカリブに5つの有人の海外領土および9つの無人の海外領土を有する。985万平方キロメートル (km2) の総面積は世界第3位または第4位、3億1千7百万人の人口は世界第3位である。同国は世界で最も民族的に多様かつ多文化な国の1つであり、これは多くの国からの大規模な移住の産物とされているAdams, J.Q.;Strother-Adams, Pearlie (2001).
新しい！!: ユリス・ハルトマニスとアメリカ合衆国 · 続きを見る »
オハイオ州立大学
ハイオ州立大学（オハイオしゅうりつだいがく、Ohio State University、OSU）は、オハイオ州コロンバスのダウンタウンの北約4kmに位置する州立総合大学。学生数は学部生・大学院生合わせて50,000人を超え、全米最大の規模である。「OSU」と呼ばれる大学はオクラホマ州立大学、オレゴン州立大学など数多くあるが、米国では同校のことを指すのが最も一般的。また同大学は、公立の名門校群であるパブリック・アイビーの一つに数えられる。.
新しい！!: ユリス・ハルトマニスとオハイオ州立大学 · 続きを見る »
カリフォルニア工科大学
リフォルニア工科大学（英語: California Institute of Technology）は、米国カリフォルニア州に本部を置く私立工科大学である。1891年に設置された。Caltech（カルテック、カルテク、キャルテク）の略称でも親しまれる。 カリフォルニア大学、カリフォルニア州立大学、南カリフォルニア大学とは別組織である。 全米屈指のエリート名門校の1つとされ, アメリカではマサチューセッツ工科大学（MIT）と並び称される工学及び科学研究の専門大学である。2011年10月の英国高等教育専門誌「Times Higher Education」においてはハーバード大学を抜き、世界第1位の高等教育機関として位置付けられた。以後、2015年まで、5年連続で同誌のランキングで第１位に選ばれている。 QS World University Rankingsの2018年度向け世界ランキングでは4位、前後には3位にハーバード大学が、5位にケンブリッジ大学が名を連ねる。 学部生896人、大学院生1275人。(ノーベル賞受賞者は37名) 校訓は"The truth shall make you free"。量子電磁力学の発展に寄与し、初等物理学の教科書やエッセイでも有名なリチャード・P・ファインマンや、クォーク仮説のマレー・ゲルマン、トランジスタの発明者の一人であるウィリアム・ショックレー等が教壇に立っていたこともある。NASAの技術開発に携わるジェット推進研究所 (JPL) があることでも有名。.
新しい！!: ユリス・ハルトマニスとカリフォルニア工科大学 · 続きを見る »
コーネル大学
ーネル大学（Cornell University）は、米国の私立大学でありアイビー・リーグを構成する一校である。特に機械工学、生命科学、物理学、建築学、造園学、コンピュータ工学、経営学、医学、農学分野は著名である。世界における大学ランキングでは、Webometrics Ranking of World Universitiesで2015年度は5位にランクされ:en、またノーベル賞の全部門で受賞者を輩出する等、研究・教育の両面において世界最高水準を保持している。 大自然に恵まれたキャンパス内には湖や滝があり、全米一美しいと言われている。またバラエティに富んだ高い品質の学食を提供することでも知られ、Princeton Reviewで2016年には全米３位にランクインされた。.
新しい！!: ユリス・ハルトマニスとコーネル大学 · 続きを見る »
ゼネラル・エレクトリック
ネラル・エレクトリック（General Electric Company、略称: GE）は、アメリカ合衆国コネチカット州に本社を置く、多国籍コングロマリット企業である。.
新しい！!: ユリス・ハルトマニスとゼネラル・エレクトリック · 続きを見る »
全米技術アカデミー
全米技術アカデミー（United States National Academy of Engineering、NAE）は、1964年にアメリカ合衆国政府によって設立された非営利研究機関である。1863年、エイブラハム・リンカーンによって設立された全米科学アカデミーと同様の議会活動によって設立された。全米工学アカデミーとも。2013年現在の代表は博士。 NAEは会員選考などを自律的に行っており、他の国立アカデミーと共に連邦政府への諮問という役割を担っている。また、工学の教育と研究促進のためのプログラムを実施し、優れた工学者・技術者の表彰を行っている。NAE会員に選ばれることは工学関連では最高の栄誉とされており、生涯にわたる業績が評価された結果といえる。 NAEは全米アカデミーズの一部であり、他には米国科学アカデミー (NAS)、米国医学研究所 (IOM)、全米研究評議会 (NRC)などの組織がある。 会員は、既存会員の推薦と当人の技術・工学分野での業績に鑑みて選出される。新会員選定は年に1回行われる。正式な会員はアメリカ市民でなければならない, NAE website.
新しい！!: ユリス・ハルトマニスと全米技術アカデミー · 続きを見る »
第二次世界大戦
二次世界大戦（だいにじせかいたいせん、Zweiter Weltkrieg、World War II）は、1939年から1945年までの6年間、ドイツ、日本、イタリアの日独伊三国同盟を中心とする枢軸国陣営と、イギリス、ソビエト連邦、アメリカ 、などの連合国陣営との間で戦われた全世界的規模の巨大戦争。1939年9月のドイツ軍によるポーランド侵攻と続くソ連軍による侵攻、そして英仏からドイツへの宣戦布告はいずれもヨーロッパを戦場とした。その後1941年12月の日本とイギリス、アメリカ、オランダとの開戦によって、戦火は文字通り全世界に拡大し、人類史上最大の大戦争となった。.
新しい！!: ユリス・ハルトマニスと第二次世界大戦 · 続きを見る »
DTIME
DTIME（またはTIME）は、計算複雑性理論における決定性チューリング機械での計算時間という計算資源を表す。実在の一般的コンピュータが、ある問題を特定のアルゴリズムで解くのに要する時間の量（ステップ数）を表す。実際のリソース（プログラムの実行にかかる時間）と直接対応することから、最もよく研究されている計算資源の1つである。 DTIMEという資源は複雑性クラスの定義に使われる。複雑性クラスとは、ある特定の計算時間量で解ける全ての決定問題の集合である。入力長 n の問題を解くのに O(f(n)) の計算時間がかかる場合、その複雑性クラスは \text(f(n))（または \text(f(n))）となる。このとき使用するメモリ空間量に制限はないが、他の複雑性尺度は制限されることもある。.
新しい！!: ユリス・ハルトマニスとDTIME · 続きを見る »
複雑性クラス
複雑性クラス（ふくざつせいクラス、Complexity class）は、計算複雑性理論において関連する複雑性の問題の集合を指す。典型的な複雑性クラスは以下のように定義される。 例えば、クラスNPは非決定性チューリングマシンで多項式時間で解く事が出来る決定問題の集合である。また、クラスPSPACEはチューリングマシンで多項式領域で解く事が出来る決定問題の集合である。一部の複雑性クラスは函数問題の集合である（例えば'''FP'''）。 数理論理学では表現の必要に応じて多数の複雑性クラスが定義される（記述計算量）。 ブラムの公理を使うと、完全な計算模型を参照しなくとも複雑性クラスを定義できる。.
新しい！!: ユリス・ハルトマニスと複雑性クラス · 続きを見る »
計算理論
計算理論（けいさんりろん、theory of computation）は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算 (computation) とは、数学的に表現できる、あらゆる種類の情報処理のこと。 計算を厳密に研究するため、計算機科学では計算模型と呼ばれるコンピュータの数学的抽象化を行う。その手法はいくつかあるが、最も有名なものはチューリングマシンである。チューリングマシンは、言ってみれば無限のメモリを持つコンピュータであるが、一度にアクセスできるメモリ範囲は非常に限られている。チューリングマシンは十分な計算能力を持つモデルでありながら、単純で定式化しやすく、様々な証明に使い易いため、計算機科学者がよく利用する。無限のメモリというのは非現実的な特徴と思われるかもしれないが、より適切な表現を使うならば「無制限」のメモリであって、読み書きしようとした時にそれができればよく、それに対応する「無限な実体」とでも言うべきものが必要なわけではない。「チューリングマシンで、ある問題が解ける」とは必ず有限のステップで計算が終了することを意味し、よってそれに必要なメモリの量は有限である。よって、チューリングマシンで解くことが出来る問題は、現実のコンピュータであっても必要なだけのメモリがあれば解くことが出来る。.
新しい！!: ユリス・ハルトマニスと計算理論 · 続きを見る »
計算複雑性理論
計算複雑性理論（けいさんふくざつせいりろん、computational complexity theory）とは、計算機科学における計算理論の一分野であり、アルゴリズムのスケーラビリティや、特定の計算問題の解法の複雑性（計算問題の困難さ）などを数学的に扱う。計算量理論、計算の複雑さの理論、計算複雑度の理論ともいう。.
新しい！!: ユリス・ハルトマニスと計算複雑性理論 · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: ユリス・ハルトマニスと計算機科学 · 続きを見る »
1928年
記載なし。
新しい！!: ユリス・ハルトマニスと1928年 · 続きを見る »
1965年
記載なし。
新しい！!: ユリス・ハルトマニスと1965年 · 続きを見る »
1993年
この項目では、国際的な視点に基づいた1993年について記載する。.
新しい！!: ユリス・ハルトマニスと1993年 · 続きを見る »
7月7日
7月7日（しちがつなのか）はグレゴリオ暦で年始から188日目（閏年では189日目）にあたり、年末まであと177日ある。誕生花はスイレン、ヒオウギ。.
新しい！!: ユリス・ハルトマニスと7月7日 · 続きを見る »
