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

アントニー・ホーア

索引 アントニー・ホーア

チャールズ・アントニー・リチャード・ホーア(Charles Antony Richard Hoare、1934年1月11日 - )はイギリスの計算機科学者。通称はトニー・ホーア(Tony Hoare)またはC・A・R・ホーア。 クイックソート(一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム)の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes(CSP)などがある。CSPはプログラミング言語Occamに示唆を与えた。.

56 関係: ALGOLAssociation for Computing Machinery参照 (情報工学)名誉教授並行性京都賞先端技術部門ナッシュビルナイトマイクロソフトマイクロソフトリサーチチャールズ・バベッジ研究所チューリング賞バース大学モニタ (同期)モスクワ大学ロシア語プログラミングの統一理論プログラミング言語テネシー州フォン・ノイマンメダルドナルド・クヌースホーア論理イギリスイギリス海軍エリオット・ブラザーズエドガー・ダイクストラオペレーティングシステムオーレ=ヨハン・ダールオックスフォード大学クリストファー・ストレイチークイーンズ大学ベルファストクイックソートケンブリッジコロンボコンピュータ歴史博物館スリランカスイス連邦工科大学ローザンヌ校ソビエト連邦タイムズ公理的意味論Communicating Sequential Processes王立協会西洋古典学計算機科学IEEE Computer SocietyLive Search AcademicNullOccam機械翻訳最適化 (情報工学)...1934年1956年1960年1968年1977年1月11日 インデックスを展開 (6 もっと) »

ALGOL

ALGOL(アルゴル)は、命令型プログラミング言語ファミリーの1つファミリー名は大文字/小文字をまじえて表記される場合 と、全て大文字で表記される場合 (ALGOL 68) がある。本項目では ALGOL で統一する。。名前「ALGOL」は「アルゴリズム言語」を意味する英語「algorithmic language」に由来する。1950年代中ごろに開発され、多くの言語に影響を及ぼし、ACMや教科書や学術論文などでアルゴリズム記述のデファクトスタンダードとして30年以上使われた。現代の多くの言語が「ALGOL系」あるいは「ALGOL風」(algol-like) とされているという意味で、ほぼ同世代の高水準言語である FORTRAN、LISP、COBOL に比べて最も成功したと言うこともできる。FORTRANで明らかとなった問題を防ぐよう設計され、BCPL、B、Pascal、Simula、Cといった様々なプログラミング言語に影響を与えた。ALGOLはLisp以外としては「begin と end で囲む」という構文によるブロック構造を導入し、制御構造を自在に入れ子(ネスト)にできる初の広まった言語となったFORTRANにはそのような構造は無い。COBOLではピリオドで全ての入れ子が終端するという仕様だったため(現在はend-ifなどを使う)、入れ子で書ける論理に制限があり、酷いバグの原因にもなりやすかった。。また構文の形式的定義を真剣に検討した最初のプログラミング言語でもあり、"Algol 60 Report" で導入されたバッカス・ナウア記法は、その後のコンピュータ言語等の構文の形式的定義を示す手法として(プログラミング言語だけに限られず)定番の記法となっている。.

新しい!!: アントニー・ホーアとALGOL · 続きを見る »

Association for Computing Machinery

Association for Computing Machinery (ACM) は、ニューヨークに本部のあるコンピュータ科学分野の国際学会。1947年設立。IEEEとともに、この分野で最も影響力の強い学会であり、IEEEがその名と由来や歴史からエレクトロニクスや通信分野の工学に強いのに対し、数学的な理論計算機科学のような分野もカバーする。日本語に訳して「計算機械学会」とされることもあるが、こんにちこの訳語が用いられることはほとんどなく、通常は単に"ACM"という略称で呼ばれるのがもっぱらである。ACMの「A」は Association (学会、団体) の頭文字であるが、アメリカ数学会 (AMS) と混同して「米国計算機学会」と誤訳されることがある。 数多くの国際会議を開催しており、人目を惹くデモ映像のSIGGRAPHやSIGMODなどはよく知られている。他の多くの学会と同様にすぐれた業績などへの表彰もおこなっているが、チューリング賞は、特にこの分野の最高の賞とみなされており、物理や化学といった分野におけるノーベル賞に匹敵するものと扱われることもある(他の賞についても時折「~のノーベル賞」といったような表現が使われることがあるが、この分野の全てを対象とした世界トップクラスの賞という位置づけにあるのはチューリング賞をおいて他にない)。.

新しい!!: アントニー・ホーアとAssociation for Computing Machinery · 続きを見る »

参照 (情報工学)

参照(さんしょう、reference、リファレンス)は、他の場所にあるデータを指している情報を含む小さなオブジェクトであり、それ自身の中に(指している)データ自体を含まない。参照の指す値を取り出すことをデリファレンス (dereference)と呼ぶ(間接参照も参照)。参照は様々なデータ構造を構成する基本要素であり、プログラム内の各部で情報をやり取りするための基本でもある。 なお、C++には、参照型というものがあるが、以下で説明するのはC++のそれではなく、一般概念である。C++の参照については、ポインタ (プログラミング)#参照を参照のこと。.

新しい!!: アントニー・ホーアと参照 (情報工学) · 続きを見る »

名誉教授

名誉教授(めいよきょうじゅ、professor emeritus / emeritus professor)とは、国内法では大学(短期大学を含む)、高等専門学校などの高等教育機関に教授などとして勤務した者であって、功績のあった者に対して授与される称号。法的・国際的に認められた栄誉称号であり学術称号の一つ。日本では学校教育法にその根拠規定があり、それぞれ大学または高等専門学校の規程・規則の定めるところにより授与される。.

新しい!!: アントニー・ホーアと名誉教授 · 続きを見る »

並行性

並行性(へいこうせい、concurrency)とは、計算機科学において、時間的にオーバーラップして実行される計算を伴うシステムの属性であり、そのような計算ではリソースを共有することがある。並行計算は、同一チップ上の複数のコア、単一プロセッサ上のプリエンプションを伴うマルチスレッド、物理的に分離した複数プロセッサ上などで行われる。並行計算のための数学的モデルとして、ペトリネット、プロセス計算、並列ランダムアクセス機械モデル、アクターモデル、 などが開発された。.

新しい!!: アントニー・ホーアと並行性 · 続きを見る »

京都賞先端技術部門

京都賞先端技術部門(きょうとしょうせんたんぎじゅつぶもん)は、京都賞の一部門であり、優れた業績を上げた科学者に贈られる賞である。受賞対象分野は、エレクトロニクス、バイオテクノロジーおよびメディカルテクノロジー、材料科学、情報科学である。.

新しい!!: アントニー・ホーアと京都賞先端技術部門 · 続きを見る »

ナッシュビル

ナッシュビル(Nashville)は、アメリカ合衆国テネシー州にある都市。同州の州都であり、デイヴィッドソン郡の郡庁所在地である。州内でメンフィスに続いて2番目に、アメリカ合衆国南東部で4番目に大きい都市である。州の中央部北に流れるカンバーランド川沿岸に位置する。音楽、医療、出版、銀行業、運輸業の中心地であり、多くの大学が存在している。テネシー州最高裁判所の本部であり、中部テネシーの裁判所がある。音楽業界の中心地として知られ、「ミュージック・シティ」というニックネームがつけられている。 1963年から、6つの小さな地方自治体を含み、郡と市の政府が合併している。議員40名のうち35名は各地区から選ばれ、5名が全体から選ばれている。2013年のアメリカ地域調査によると人口は658,602名、半独立都市を除くと634,464名である。全13郡からなる2013年のナッシュビル都市圏の人口は1,757,912名で、州最大の大都市統計地域である。2013年のナッシュビル・デイヴィッドソン郡・マーフリーズボロ・コロンビア広域都市圏の地域は1,876,933名である。.

新しい!!: アントニー・ホーアとナッシュビル · 続きを見る »

ナイト

ナイト(Knight)は、イギリス(連合王国)の叙勲制度において、叙勲者に与えられる、中世の騎士階級に由来した称号である。 日本語では勲功爵、勲爵士、騎士爵、士爵などの訳が見られるほか、ナイト爵と片仮名で表記されることも多い。ただし、ナイトは貴族の身分ではなく、あくまでも勲位である。本項では「ナイト」に統一し、「爵」ではなく「称号」と記述するが、伝統的な日本語訳である「勲爵士」を一部の括弧内に併記する。 .

新しい!!: アントニー・ホーアとナイト · 続きを見る »

マイクロソフト

マイクロソフト()は、アメリカ合衆国ワシントン州に本社を置く、ソフトウェアを開発・販売する会社である。1975年4月4日にビル・ゲイツとポール・アレンらによって設立された。.

新しい!!: アントニー・ホーアとマイクロソフト · 続きを見る »

マイクロソフトリサーチ

マイクロソフトリサーチ(Microsoft Research、MSR)は、計算機科学に関するさまざまな研究を行う機関。リチャード・ラシッド博士がマイクロソフトに入社する条件として、同研究所の設立と、その独立性を約束させ、1991年9月に設立された。 名称からもわかるようにマイクロソフトの関連機関ではあるが、完全に独立した研究機関であり、そこで行われる研究内容については、たとえマイクロソフト本社の首脳陣であっても一切の口出しは出来ないことになっている。 世界でも最も有力な研究機関の一つである。現在、チューリング賞受賞者のアントニー・ホーア、フィールズ賞受賞者のマイケル・フリードマン、ウルフ賞受賞者のLászló Lovász、MacArthur Fellowship受賞者のJim Blinn(ジム・ブリン)、Dijkstra Prize受賞者のレスリー・ランポートらをはじめ、著名な物理学・計算機科学・数学の専門家たちが数多く参加している。 研究は大きく分けて11の分野にカテゴライズされている。.

新しい!!: アントニー・ホーアとマイクロソフトリサーチ · 続きを見る »

チャールズ・バベッジ研究所

チャールズ・バベッジ研究所(、CBI)は、ミネソタ大学にある情報技術史に特化した研究センターであり、特に1935年以降のデジタルコンピュータ、プログラミング/ソフトウェア、コンピュータネットワークを専門としている。19世紀のイギリスでプログラム可能なコンピュータ(解析機関)を発明したチャールズ・バベッジの名を冠している。ミネソタ州ミネアポリスにあるミネソタ大学図書館にある。.

新しい!!: アントニー・ホーアとチャールズ・バベッジ研究所 · 続きを見る »

チューリング賞

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

新しい!!: アントニー・ホーアとチューリング賞 · 続きを見る »

バース大学

バース大学(バースだいがく、)は、バースに本部を置くイギリスの国立大学である。1966年に国王の勅許(Royal Charter)を得て創立された。 バース大学は、ACU(イギリス連邦大学協会)、AMBA(MBA協会)、EQUIS(欧州品質改善システム)、EUA(ヨーロッパ大学協会)、UUK(イギリス大学協会)、およびGW4(Great West Four:イングランド南西部地方とウェールズの研究集約的な4つの一流大学であるバース大学、ブリストル大学、カーディフ大学のグループ)のメンバーとなっている。2012年10月30日までは1994 Group(1994グループ)のメンバーでもあった。.

新しい!!: アントニー・ホーアとバース大学 · 続きを見る »

モニタ (同期)

モニタ(Monitor)は、リソース(何らかのハードウェア機器や変数群)を共有する複数のタスクの同期を実現する手法である。 Per Brinch Hansen が発明し、Concurrent Pascal 言語に最初に実装され、Solo Operating System でのプロセス間通信方式として使われた。.

新しい!!: アントニー・ホーアとモニタ (同期) · 続きを見る »

モスクワ大学

モスクワ大学(モスクワだいがく)は、ロシア・モスクワにある国立大学。正式名称は、M.

新しい!!: アントニー・ホーアとモスクワ大学 · 続きを見る »

ロシア語

ア語(ロシアご、русский язык )は、インド・ヨーロッパ語族のスラヴ語派東スラヴ語群に属する言語。露語とも略される。ロシア連邦の公用語。ロシア連邦の国語表記には、キリル文字を使用する。近縁の言語にウクライナ語とベラルーシ語がある。.

新しい!!: アントニー・ホーアとロシア語 · 続きを見る »

プログラミングの統一理論

プログラミングの統一理論 (Unifying Theories of Programming) は、プログラム意味論に関する概念である。これは、表示的意味論、操作的意味論および代数的意味論(公理的意味論の一種)がプログラムやコンピュータシステムの形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。 このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された。.

新しい!!: アントニー・ホーアとプログラミングの統一理論 · 続きを見る »

プログラミング言語

プログラミング言語(プログラミングげんご、programming language)とは、コンピュータプログラムを記述するための形式言語である。なお、コンピュータ以外にもプログラマブルなものがあることを考慮するならば、この記事で扱っている内容については、「コンピュータプログラミング言語」(computer programming language)に限定されている。.

新しい!!: アントニー・ホーアとプログラミング言語 · 続きを見る »

テネシー州

テネシー州(State of Tennessee 、ᏔᎾᏏ)は、アメリカ合衆国南部の州である。合衆国50州の中で、陸地面積では第36位、人口では第17位である。南北戦争では南部連合側に属し、シャイロー、ナッシュビル、マーフリーズボロなどが戦場となった。 テネシー州は州境で8つの州(西にアーカンソー州とミズーリ州、北にケンタッキー州とバージニア州、東にノースカロライナ州、南にジョージア州、アラバマ州、ミシシッピ州)と接している。合衆国の中でこのような州はミズーリ州とテネシー州だけである。州東部にはアパラチア山脈がある。西側州境はミシシッピ川である。 州都はナッシュビルで、同州最大の都市である。他の主要都市にメンフィス、チャタヌーガ、ノックスビルなどがある。.

新しい!!: アントニー・ホーアとテネシー州 · 続きを見る »

フォン・ノイマンメダル

フォン・ノイマンメダル、正確には「IEEEジョン・フォン・ノイマン・メダル」(IEEE John von Neumann Medal)は、コンピュータ関連の科学および工学への貢献に対して(ほぼ)毎年贈られる賞であり、IEEEが1990年に創設した。受賞対象には学術的なもの、技術的なもの、事業的なものが含まれ、必ずしも受賞年の業績である必要はない。 メダルの名称はジョン・フォン・ノイマンにちなんで名づけられた。.

新しい!!: アントニー・ホーアとフォン・ノイマンメダル · 続きを見る »

ドナルド・クヌース

ドナルド・エルビン・クヌース(Donald Ervin Knuth, 1938年1月10日 -)は数学者、計算機科学者。スタンフォード大学名誉教授。 クヌースによるアルゴリズムに関する著作 The Art of Computer Programming のシリーズはプログラミングに携わるものの間では有名である。アルゴリズム解析と呼ばれる分野を開拓し、計算理論の発展に多大な貢献をしている。その過程で漸近記法で計算量を表すことを一般化させた。 理論計算機科学への貢献とは別に、コンピュータによる組版システム TeX とフォント設計システム METAFONT の開発者でもあり、Computer Modern という書体ファミリも開発した。 作家であり学者であるクヌースは、文芸的プログラミングのコンセプトを生み出し、そのためのプログラミングシステム WEB / CWEB を開発。また、MIX / MMIX 命令セットアーキテクチャを設計。.

新しい!!: アントニー・ホーアとドナルド・クヌース · 続きを見る »

ホーア論理

ホーア論理(ホーアろんり、Hoare logic.)とは、公理的意味論の立場でプログラムの正当性について厳密に推論するために第一階述語論理を拡張した形式論理の言語を言う。 プログラムの正しさを証明するためのロバート・フロイドによる流れ図に関する方法を基に、計算機科学者のアントニー・ホーアによって提案された。.

新しい!!: アントニー・ホーアとホーア論理 · 続きを見る »

イギリス

レートブリテン及び北アイルランド連合王国(グレートブリテンおよびきたアイルランドれんごうおうこく、United Kingdom of Great Britain and Northern Ireland)、通称の一例としてイギリス、あるいは英国(えいこく)は、ヨーロッパ大陸の北西岸に位置するグレートブリテン島・アイルランド島北東部・その他多くの島々から成る同君連合型の主権国家である。イングランド、ウェールズ、スコットランド、北アイルランドの4つの国で構成されている。 また、イギリスの擬人化にジョン・ブル、ブリタニアがある。.

新しい!!: アントニー・ホーアとイギリス · 続きを見る »

イギリス海軍

王立海軍(おうりつかいぐん、Royal Navy)は、イギリスの海軍。イギリス海軍、英国海軍などとも表記される。.

新しい!!: アントニー・ホーアとイギリス海軍 · 続きを見る »

エリオット・ブラザーズ

リオット・ブラザーズ (Elliott Brothers (London) Ltd.) は、1950年代から1960年代にかけて活動したイギリスの初期のコンピュータ企業。研究所は1946年、Borehamwood に開設された。最初のコンピュータ Elliott 152 は1950年に登場。 著名な計算機科学者アントニー・ホーアは、1960年8月から8年間エリオット・ブラザーズに勤務し、Elliott 803 向けのALGOL 60コンパイラを開発した。また、Elliott 503 Mark II 向けオペレーティングシステムの開発にも従事したが、これは成功とは言えず、「30人年以上のソフトウェア開発工数をかけ」た後に中止された(参照)。 John Lansdown は、コンピュータを利用したプランニングの先駆者である。1963年、Elliott 803 コンピュータ上でCADアプリケーションを開発し、透視図によって建物の配管やエレベータの配置を検討したり、年間の日照状態をプロットしたりといった活用法を考案した。 後に Elliott Automation に改称し、イングリッシュ・エレクトリック社と合併した。また、データ処理コンピュータ部門は、International Computers and Tabulators (ICT)に1968年に買収され、International Computers Limited (ICL) の一部となった。.

新しい!!: アントニー・ホーアとエリオット・ブラザーズ · 続きを見る »

エドガー・ダイクストラ

ドガー・ダイクストラ(Edsger Wybe Dijkstra, 1930年5月11日 - 2002年8月6日)は、オランダ人の計算機科学者。1972年、プログラミング言語の基礎研究への貢献に対してチューリング賞を受賞。構造化プログラミングの提唱者。1984年から2002年に亡くなるまでテキサス大学オースティン校の計算機科学の Schlumberger Centennial Chair を務めた。 2002年の死の直前、プログラム計算のについての仕事に対して ACM PODC Influential Paper Award を授与された。この賞は翌年からダイクストラを称えてと呼ばれるようになった。 エズガー・ダイクストラと表記されることもある。オランダ語での発音は、IPA表記で で、エツハー・ウィベ・デイクストラに近い。.

新しい!!: アントニー・ホーアとエドガー・ダイクストラ · 続きを見る »

オペレーティングシステム

ペレーティングシステム(Operating System、OS、オーエス)とは、コンピュータのオペレーション(操作・運用・運転)のために、ソフトウェアの中でも基本的、中核的位置づけのシステムソフトウェアである。通常、OSメーカーが組み上げたコンピュータプログラムの集合として、作成され提供されている。 オペレーティングシステムは通常、ユーザーやアプリケーションプログラムとハードウェアの中間に位置し、ユーザーやアプリケーションプログラムに対して標準的なインターフェースを提供すると同時に、ハードウェアなどの各リソースに対して効率的な管理を行う。現代のオペレーティングシステムの主な機能は、ファイルシステムなどの補助記憶装置管理、仮想記憶などのメモリ管理、マルチタスクなどのプロセス管理、更にはGUIなどのユーザインタフェース、TCP/IPなどのネットワーク、などがある。オペレーティングシステムは、パーソナルコンピュータからスーパーコンピュータまでの各種のコンピュータや、更にはスマートフォンやゲーム機などを含む各種の組み込みシステムで、内部的に使用されている。 製品としてのOSには、デスクトップ環境やウィンドウシステムなど、あるいはデータベース管理システム (DBMS) などのミドルウェア、ファイル管理ソフトウェアやエディタや各種設定ツールなどのユーティリティ、基本的なアプリケーションソフトウェア(ウェブブラウザや時計などのアクセサリ)が、マーケティング上の理由などから一緒に含められていることもある。 OSの中で、タスク管理やメモリ管理など特に中核的な機能の部分をカーネル、カーネル以外の部分(シェルなど)をユーザランドと呼ぶ事もある。 現代の主なOSには、Microsoft Windows、Windows Phone、IBM z/OS、Android、macOS(OS X)、iOS、Linux、FreeBSD などがある。.

新しい!!: アントニー・ホーアとオペレーティングシステム · 続きを見る »

オーレ=ヨハン・ダール

ーレ=ヨハン・ダール(Ole-Johan Dahl, 1931年10月12日 - 2002年6月29日)は、ノルウェー人の計算機科学者。クリステン・ニゴールと共同で、オブジェクト指向の起源となるSimulaを開発したことで知られる。オルヨハン・ダールと表記されることもあるが、ノルウェー語の発音としては正しくない。.

新しい!!: アントニー・ホーアとオーレ=ヨハン・ダール · 続きを見る »

オックスフォード大学

ックスフォード大学 (University of Oxford) は、イギリスの大学都市、オックスフォードに所在する総合大学である。11世紀の末に大学の礎が築かれていることから、現存する大学としては世界で3番目に古く、英語圏では最古の大学である。また、ハーバード大学、ケンブリッジ大学、シカゴ大学等と並び、各種の世界大学ランキングで常にトップレベルの優秀な大学として評価される世界有数の名門大学である。2016年、2017年THE世界大学ランキングで世界1位の大学に2年連続で選ばれた。 イギリス伝統のカレッジ制を特徴とする大学である。貴族の大学としても有名である。 世界中の指導的政治家を輩出しており、テリーザ・メイ現首相、デーヴィッド・キャメロン前首相、トニー・ブレア元首相、マーガレット・サッチャー元首相など27人のイギリス首相、30人以上の各国元首らがオックスフォード大学出身である。さらに、50人以上のノーベル賞受賞者、6人のイギリス国王、150人以上のオリンピックメダリストなどを輩出している。また、皇太子徳仁親王、皇太子妃雅子、秋篠宮文仁親王ら、日本の皇族の留学先としても知られている。 ちなみに「オックスブリッジ」として並び称されるケンブリッジ大学の形成は、この大学に所属していた多くの教師と学生が1209年にケンブリッジに移住したことに端を発する。.

新しい!!: アントニー・ホーアとオックスフォード大学 · 続きを見る »

クリストファー・ストレイチー

リストファー・ストレイチー(、1916年11月16日 - 1975年5月18日)はイギリスの計算機科学者。なお、ストレイチー一族は政治家、芸術家、役人、学者を輩出した名家である。.

新しい!!: アントニー・ホーアとクリストファー・ストレイチー · 続きを見る »

クイーンズ大学ベルファスト

ィーンズ大学ベルファスト(The Queen's University Belfast、QUB)は、北アイルランドのベルファストにある大学である。プロテスタント系のトリニティ・カレッジに対して、カトリック系のアイルランド大学の一部であった。歯学、工学、人文学、法学、医学などの学部がある。 イギリスのトップレベル大学で構成されたラッセル・グループに所属する。.

新しい!!: アントニー・ホーアとクイーンズ大学ベルファスト · 続きを見る »

クイックソート

イックソート (quicksort) は、1960年にアントニー・ホーアが開発したソートのアルゴリズム。分割統治法の一種。 n個のデータをソートする際の最良計算量および平均計算量はO(n\log n)である。他のソート法と比べて、一般的に最も高速だといわれているが対象のデータの並びやデータの数によっては必ずしも速いわけではなく、最悪の計算量はO(n^2)である。また数々の変種がある。 安定ソートではない。.

新しい!!: アントニー・ホーアとクイックソート · 続きを見る »

ケンブリッジ

ンブリッジ(Cambridge )は、イギリスのイングランド東部にあるケンブリッジシャーの州都である。ケンブリッジ大学の所在地であることから、大学都市として有名。現在では、シリコン・フェン(Silicon Fen)と呼ばれるイギリスにおけるハイテク産業の中心地の一つとなっている。人口は12万3867人(2011年国勢調査)で、このうち2万4488人が学生である。英語での発音は(ケインブリヂ)で、漢字では剣橋と表記される。.

新しい!!: アントニー・ホーアとケンブリッジ · 続きを見る »

コロンボ

ンボ(කොළඹ、கொழும்பு、Colombo)はスリランカの最大都市である。同国の経済的な中心都市であり、かつては首都であった。.

新しい!!: アントニー・ホーアとコロンボ · 続きを見る »

コンピュータ歴史博物館

ンピュータ歴史博物館(Computer History Museum)は、カリフォルニア州マウンテンビューにある1996年設立の博物館である。.

新しい!!: アントニー・ホーアとコンピュータ歴史博物館 · 続きを見る »

スリランカ

リランカ民主社会主義共和国(スリランカみんしゅしゃかいしゅぎきょうわこく)、通称スリランカは、南アジアのインド亜大陸の南東にポーク海峡を隔てて位置する共和制国家。首都はスリジャヤワルダナプラコッテ。 1948年2月4日、イギリスから自治領(英連邦王国)のセイロンとして独立。1972年にはスリランカ共和国に改称し、英連邦内の共和国となり、1978年から現在の国名となった。人口は約2120万(2016年)である。島国で、現在もこの国が占める主たる島をセイロン島と呼ぶ。国名をスリランカに改称したシリマヴォ・バンダラナイケは世界初の女性首相である。また、国民の7割が仏教徒(上座部仏教)である。.

新しい!!: アントニー・ホーアとスリランカ · 続きを見る »

スイス連邦工科大学ローザンヌ校

ャンパス ラーニング・センター.

新しい!!: アントニー・ホーアとスイス連邦工科大学ローザンヌ校 · 続きを見る »

ソビエト連邦

ビエト社会主義共和国連邦(ソビエトしゃかいしゅぎきょうわこくれんぽう、Союз Советских Социалистических Республик)は、1922年から1991年までの間に存在したユーラシア大陸における共和制国家である。複数のソビエト共和国により構成された連邦国家であり、マルクス・レーニン主義を掲げたソビエト連邦共産党による一党制の社会主義国家でもある。首都はモスクワ。 多数ある地方のソビエト共和国の政治および経済の統合は、高度に中央集権化されていた。.

新しい!!: アントニー・ホーアとソビエト連邦 · 続きを見る »

タイムズ

タイムズ(The Times)は、英国で1785年創刊した世界最古の日刊新聞である。発行部数は2011年4月に44万9,809部(2011年4月4日 - 5月1日平均)、2017年11月に44万481部である。また、日本の読売新聞(発行部数は約1,000万部で世界一位)と朝日新聞(発行部数は約800万部で世界二位)と提携している。  ニューヨーク・タイムズなどの新聞との区別のためにロンドン・タイムズ、タイムズ・オブ・ロンドン(Times of London=ロンドンのタイムズ)と呼ばれることもある。.

新しい!!: アントニー・ホーアとタイムズ · 続きを見る »

公理的意味論

公理的意味論(こうりてきいみろん、Axiomatics Semantics)とは、数理論理学に基づいてプログラムの正当性を証明する手法。ホーア論理と密接に関連している。.

新しい!!: アントニー・ホーアと公理的意味論 · 続きを見る »

Communicating Sequential Processes

Communicating Sequential Processes(CSP)とは、並行性に関するプロセス計算の理論のひとつである.

新しい!!: アントニー・ホーアとCommunicating Sequential Processes · 続きを見る »

王立協会

イヤル・ソサイエティ(Royal Society)は、現存する最も古い科学学会。1660年に国王チャールズ2世の勅許を得て設立された。正式名称は"The President, Council, and Fellows of the Royal Society of London for Improving Natural Knowledge"(自然知識を促進するためのロンドン王立協会)。日本語訳ではロンドン王立協会(-おうりつきょうかい)、王立学会(おうりつがっかい)など。 この会は任意団体ではあるが、イギリスの事実上の学士院(アカデミー)としてイギリスにおける科学者の団体の頂点にあたる。また、科学審議会(Science Council)の一翼をになうことによって、イギリスの科学の運営および行政にも大いに影響をもっている。1782年創立の王立アイルランドアカデミーと密接な関係があり、1783年創立のエジンバラ王立協会とは関係が薄い。.

新しい!!: アントニー・ホーアと王立協会 · 続きを見る »

西洋古典学

西洋古典学(せいようこてんがく、英語:classics、classical philology)とは、古典ギリシア語、ラテン語で書かれた西洋の古典とされる文献を扱う学問の総称。その性質上、哲学、文学、歴史学、新約聖書学などの一部を含む。 主に、「古典古代」と呼ばれる時代にギリシア・ローマ地域で書かれた文献を研究対象とするが、古代ギリシア語、ラテン語は影響範囲が広く、またラテン語は近代まで使用されたため、研究対象となる文献の作られた地域は、それにとどまらない。.

新しい!!: アントニー・ホーアと西洋古典学 · 続きを見る »

計算機科学

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

新しい!!: アントニー・ホーアと計算機科学 · 続きを見る »

IEEE Computer Society

IEEE Computer Society(IEEEコンピュータソサエティ)とはアメリカに本部を持つ電気・電子技術の学会であるIEEE内に設置されているテクニカルソサイエティのうちのひとつである。 計算機科学分野に関する多くの学会活動を担っており,2007年現在の会員数は10万人近い..

新しい!!: アントニー・ホーアとIEEE Computer Society · 続きを見る »

Live Search Academic

Live Search Academic(ライブ サーチ アカデミック 和名:Windows Live 学術論文検索)は、2006年から2008年まで提供されていた、Windows Liveサービスの1つ、学術論文や、著者、雑誌、および会議の議事録を検索することができた。2008年5月に同サービスの終了が発表され、その短い歴史に幕を下ろした。.

新しい!!: アントニー・ホーアとLive Search Academic · 続きを見る »

Null

Null(ヌル、ナル)は、何もない、という意味で、プログラミング言語などコンピュータ関係では、「何も示さないもの」を表すのに使われる。同様のものに、nil が使われることもある。他の名前のこともある。 本来 はドイツ語において数値の0(ゼロ)を意味する単語であり、ドイツ語における発音は である。一方、英語においては と発音される。実際の発音はを参照のこと。 日本においては原語に近い「ヌル」という発音が定着しているが、英語読みに近い「ナル」という発音で呼ばれる場合もある(専門書、国家試験など)。 プログラミング言語などにおいて、nullやnilといった予約語や定数名のものなどの意味がどういったものかは言語により、場合によっては実装ごとに違う。ポインタや参照のある言語では、ヌルポインタなどと呼ばれる何も指さない特別なポインタであることもあるし、Pythonのようにオブジェクトのこともある。古典的なLISPのように真理値の偽(の代表)や空リスト「()」を兼ねたもの(それらと同じもの)だったりすることもある。.

新しい!!: アントニー・ホーアとNull · 続きを見る »

Occam

Occamは、並行プログラミング言語である。CSPに基づいており、多くの機能はCSPから由来している。Occamという名称はオッカムのウィリアムの「オッカムの剃刀」から来ている。OccamはCSPの実用的な実装と言うこともできる。 並行向け以外の部分は手続き的(ないし命令的)である。INMOS社が同社のトランスピュータのために開発したが、他のプラットフォームへの移植もされている。現在使われているものでは、XMOS(:en:XMOS)のXC(:en:XC (programming language))がOccamの影響を受けた言語である。.

新しい!!: アントニー・ホーアとOccam · 続きを見る »

機械翻訳

機械翻訳(きかいほんやく、)とは、ある自然言語を別の自然言語に翻訳する変換を、コンピュータを利用して全て(ないし、可能な限り全て)自動的に行おうとするものである。 近年のコンピュータの速度と容量の拡大にもとづく「力業による解決」が進んだことなどにより、急速に成長している分野である。.

新しい!!: アントニー・ホーアと機械翻訳 · 続きを見る »

最適化 (情報工学)

ンピュータ関連において最適化(Optimization)という語は、最適化問題のそれを指すことも多いが、ここでは、コンパイラ最適化などに似た話題について説明する(「情報工学」と記事名には付いているが、全く information engineering の話題ではない)。コンピュータシステムは、主としてコストパフォーマンス上の理由から、効率的に(efficiently)動作することが望ましいことが多い。例えば、コンパイラ最適化は、高速化のためだったり、メモリの使用量を削減するためだったり、電力消費を抑えるためだったりする。最適化の対象となるシステムは、1つのプログラムの場合もあるし、複数のコンピュータの場合もあるし、インターネットのようなネットワーク全体の場合もある。 "optimization" という単語の語源は "optimal"(最適な、最善な)と同じだが、最適化によって真に最適なシステムとなることは稀である。最適化されたシステムは一般にある面でのみ最適となる。プログラムの実行時間を削減するためにメモリ使用量を増やしてでも実行時間を最適化したり、逆にメモリが少ないシステムで実行時間が長くなることを覚悟してメモリ使用量が少ないアルゴリズムを選んだりする。あらゆる場合に最適な方法や設計は存在しないので、技術者は最も重要と思われる観点での最適化のために妥協点を探る。さらに、ソフトウェアを完全に最適にする(それ以上どうやっても最適化できない状態にする)のに要する労力は、その最適化されたシステムを利用することで得られる利益よりも大きい。従って、最適化の工程は完全な最適解に到達する以前に終了させられるのが普通である。幸いなことに、効果の大きい改善は最適化工程の初期に現れることが多い。 最適化は様々なレベルで行われる。最も高いレベルの最適化は設計段階に行われる。設計が最適化されていれば、実装でも効率的なアルゴリズムを利用でき、品質のよいコードになるという利点がある。コンパイラ最適化を使えば、実行ファイルがさらに最適化される。最も低いレベルでは、コンパイラを使わずに人間がアセンブリ言語で最適なコードを書く。コンパイラ最適化の技術の進歩と最近のCPUの複雑さのため、コンパイラよりも最適なコードを人間が書くには大変な技能を要する。そのため、このような最適化を行うプロジェクトは滅多にない。最適化は例外的なケースを考慮しつつ、複雑な妥協点を探ることが多い。従って最適化されたプログラムはプログラマが理解できないほど難解になることも多い。可能であれば等価であることが保証されながらプログラムを変形させるなどの手法でバグの可能性をゼロにすべきだが、できない場合、できてないコードではバグを多く含む危険性がある。.

新しい!!: アントニー・ホーアと最適化 (情報工学) · 続きを見る »

1934年

記載なし。

新しい!!: アントニー・ホーアと1934年 · 続きを見る »

1956年

記載なし。

新しい!!: アントニー・ホーアと1956年 · 続きを見る »

1960年

アフリカにおいて当時西欧諸国の植民地であった地域の多数が独立を達成した年であることに因み、アフリカの年と呼ばれる。.

新しい!!: アントニー・ホーアと1960年 · 続きを見る »

1968年

記載なし。

新しい!!: アントニー・ホーアと1968年 · 続きを見る »

1977年

記載なし。

新しい!!: アントニー・ホーアと1977年 · 続きを見る »

1月11日

1月11日(いちがつじゅういちにち)はグレゴリオ暦で年始から11日目に当たり、年末まであと354日(閏年では355日)ある。誕生花はミスミソウ、セリ。.

新しい!!: アントニー・ホーアと1月11日 · 続きを見る »

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

ホーア

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