ブラウザよりも高速アクセス！
35 関係: ALGOL、Association for Computing Machinery、形式手法、北ホラント州、ノルウェー、マンダール、チューリング賞、プログラミング言語、フォン・ノイマンメダル、ニューヨーク州、アントニー・ホーア、エドガー・ダイクストラ、オブジェクト指向、オスロ大学、カプセル化、クラス (コンピュータ)、クリステン・ニゴール、シミュレーション、シュプリンガー・サイエンス・アンド・ビジネス・メディア、タイムズ・ハイアー・エデュケーション、C++、継承 (プログラミング)、聖オーラヴ勲章、計算機科学、IEEE、Java、Simula、10月12日、1931年、1960年代、1968年、1972年、2001年、2002年、6月29日。
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 · 続きを見る »
形式手法
Z言語を使った形式仕様記述の例 形式手法（けいしきしゅほう、formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている。 形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う。.
新しい！!: オーレ＝ヨハン・ダールと形式手法 · 続きを見る »
北ホラント州
北ホラント州（Noord-Holland）は、オランダ西部の州。州都はハールレム。北と西は北海に面し、南西は南ホラント州と境界を接し、南東はユトレヒト州、東はアイセル湖を挟んでフリースラント州、フレヴォラント州と向かい合う。.
新しい！!: オーレ＝ヨハン・ダールと北ホラント州 · 続きを見る »
ノルウェー
ノルウェー王国（ノルウェーおうこく、Kongeriket Norge/Noreg）、通称ノルウェーは、北ヨーロッパのスカンディナビア半島西岸に位置する立憲君主制国家である。首都は半島南端部に存在するオスロフィヨルドの奥に形成された港湾都市のオスロで、東にスウェーデン、ロシア、フィンランドと国境を接している。 国土は南北に細長く、海岸線は北大西洋の複数の海域、すなわちスカゲラック海峡、北海、ノルウェー海およびバレンツ海に面している。海岸線には、多くのフィヨルドが発達する。この他、ノルウェー本土から約1,000キロメートル (km) 離れた北大西洋上のヤン・マイエン島は固有の領土の一部として領有され、スヴァールバル条約によりバレンツ海のスヴァールバル諸島を領有している。南大西洋にブーベ島を属領として持つ。 による高負担高福祉の福祉国家として知られ、OECDの人生満足度（Life Satisfaction）ではスイスに次いで第2位となった（2014年）。.
新しい！!: オーレ＝ヨハン・ダールとノルウェー · 続きを見る »
マンダール
（Mandal）は、ノルウェーのヴェスト・アグデル県にある町、ないしはそれを中心とする基礎自治体（以下、本稿では便宜上「市」と記述する）。1838年1月1日に前者が市として新設され、1964年1月1日にハルセ・オ・ハルクマルクとホルムの各市を合併し後者が誕生した。マーンダルとも表記される。 西でリンデスネスと、北でマルナルダールと、東でセネとそれぞれ接する。国内最南端の町で、沖合いのピーセン島がノルウェー最南端である。 ビシェルネン (Bykjernen) 、シェブスター (Skjebstad) 、ソヌム＝ルンデヴィク (Sånum-Lundevik) 、ショイスフィヨール＝ヘスラン (Skogsfjord-Hesland) 、ホルム (Holum) 、ハルクマルク (Harkmark) 、シンスネース＝イメ (Skinsnes-Ime) 、トライデ＝シェールネイ (Tregde-Skjernøy) の各村から成る。.
新しい！!: オーレ＝ヨハン・ダールとマンダール · 続きを見る »
チューリング賞
ACMチューリング賞(ACM A.M. Turing Award)は、計算機科学分野で革新的な功績を残した人物に年に1度、ACMから贈られる賞であり世界最高の権威を持つ賞とされている。その功績は長く影響が続くもので、コンピュータ業界で技術的にも重要なものとされている。計算機科学におけるノーベル賞と広く認識されており、事実、受賞者にはハーバート・サイモンなどノーベル賞受賞者が存在している。 「チューリング」の名は、現代計算機科学の父の1人とされるアラン・チューリングの名にちなむ。2014年11月3日、Googleの後援により受賞者には100万ドルが贈られると発表された。 1966年の最初の受賞者はカーネギーメロン大学のアラン・パリスだった。初の女性受賞者は、2006年のフランシス・E・アレン（IBM）である。2008年には再び女性であるバーバラ・リスコフが受賞している。.
新しい！!: オーレ＝ヨハン・ダールとチューリング賞 · 続きを見る »
プログラミング言語
プログラミング言語（プログラミングげんご、programming language）とは、コンピュータプログラムを記述するための形式言語である。なお、コンピュータ以外にもプログラマブルなものがあることを考慮するならば、この記事で扱っている内容については、「コンピュータプログラミング言語」（computer programming language）に限定されている。.
新しい！!: オーレ＝ヨハン・ダールとプログラミング言語 · 続きを見る »
フォン・ノイマンメダル
フォン・ノイマンメダル、正確には「IEEEジョン・フォン・ノイマン・メダル」（IEEE John von Neumann Medal）は、コンピュータ関連の科学および工学への貢献に対して（ほぼ）毎年贈られる賞であり、IEEEが1990年に創設した。受賞対象には学術的なもの、技術的なもの、事業的なものが含まれ、必ずしも受賞年の業績である必要はない。 メダルの名称はジョン・フォン・ノイマンにちなんで名づけられた。.
新しい！!: オーレ＝ヨハン・ダールとフォン・ノイマンメダル · 続きを見る »
ニューヨーク州
ニューヨーク州（State of New York）は、アメリカ合衆国大西洋岸中部にあり、本土アメリカ合衆国では北東部地域に位置する州。面積では第27位の州である。かつては50州で最も人口が多かったが、2010年の国勢調査現在は、カリフォルニア州、テキサス州、フロリダ州に次ぐ4位である。 南州境はニュージャージー州とペンシルベニア州、東州境はコネチカット州、マサチューセッツ州およびバーモント州に接する。西はカナダとの国境に接し、名所のナイアガラの滝がある。東南端に、アメリカ最大の都市であるニューヨーク市があり、州南部は近郊の大都市圏となっている。一方で、州北部の五大湖湖畔には古くからの工業都市であるバッファローとロチェスターがある。州都は、人口10万人足らずのオールバニである。2011年以降、州知事は民主党のアンドリュー・クオモ。.
新しい！!: オーレ＝ヨハン・ダールとニューヨーク州 · 続きを見る »
アントニー・ホーア
チャールズ・アントニー・リチャード・ホーア（Charles Antony Richard Hoare、1934年1月11日 - ）はイギリスの計算機科学者。通称はトニー・ホーア（Tony Hoare）またはC・A・R・ホーア。 クイックソート（一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム）の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes（CSP）などがある。CSPはプログラミング言語Occamに示唆を与えた。.
新しい！!: オーレ＝ヨハン・ダールとアントニー・ホーア · 続きを見る »
エドガー・ダイクストラ
ドガー・ダイクストラ（Edsger Wybe Dijkstra, 1930年5月11日 - 2002年8月6日）は、オランダ人の計算機科学者。1972年、プログラミング言語の基礎研究への貢献に対してチューリング賞を受賞。構造化プログラミングの提唱者。1984年から2002年に亡くなるまでテキサス大学オースティン校の計算機科学の Schlumberger Centennial Chair を務めた。 2002年の死の直前、プログラム計算のについての仕事に対して ACM PODC Influential Paper Award を授与された。この賞は翌年からダイクストラを称えてと呼ばれるようになった。 エズガー・ダイクストラと表記されることもある。オランダ語での発音は、IPA表記で で、エツハー・ウィベ・デイクストラに近い。.
新しい！!: オーレ＝ヨハン・ダールとエドガー・ダイクストラ · 続きを見る »
オブジェクト指向
ブジェクト指向（オブジェクトしこう）とは、オブジェクト同士の相互作用として、システムの振る舞いをとらえる考え方である。英語の object-oriented (直訳は、「対象物志向の」「目的重視の」という意味の形容詞) の日本語訳である。 オブジェクト指向の枠組みが持つ道具立ては、一般的で強力な記述能力を持つ。複雑なシステム記述、巨大なライブラリ（特に部品間で緊密で複雑な相互関係を持つもの）の記述においては、オブジェクト指向の考え方は必須である。.
新しい！!: オーレ＝ヨハン・ダールとオブジェクト指向 · 続きを見る »
オスロ大学
大学（Universitetet i Oslo）は、ノルウェーのオスロにある大学。 1811年、フレデリク6世の名前を取ってフレデリク王立大学（Det Kongelige Frederiks Universitet）として設立された。1939年に現在の校名に改名された。現在、3万人の学生をかかえる、ノルウェーでも最大規模の大学となっている。 大学のアウラ講堂（Aula）にはムンクの壁画があり、1989年まではノーベル平和賞の授与式が行われていた（現在はアウラ講堂が手狭であり老朽化していることから、授与式は市庁舎で行われている）。 2008年春から2010年秋にかけてウガンダのマケレレ大学やノルウェー国内にあるベルゲン大学と東アフリカ司書・情報科学学校（EASLIS）とともに、南スーダンにあるジュバ大学の蔵書検索の電子化などを推進する「ジュバ大学図書館自動化プロジェクト」に協力した。.
新しい！!: オーレ＝ヨハン・ダールとオスロ大学 · 続きを見る »
カプセル化
プセル化（カプセルか、）とは、オブジェクト指向を構成する概念の一つ。オブジェクト内部のデータを隠蔽したり(データ隠蔽)、オブジェクトの振る舞いを隠蔽したり、オブジェクトの実際の型を隠蔽したりすることをいう。データ隠蔽と勘違いされやすいが、データ隠蔽はカプセル化の具体例の1つにすぎず、同一のものではない。.
新しい！!: オーレ＝ヨハン・ダールとカプセル化 · 続きを見る »
クラス (コンピュータ)
ラス（）は、クラスベースのオブジェクト指向においてオブジェクトの設計図にあたるもの。抽象データ型の一つ。クラスから生成したオブジェクトのことをインスタンスという。 クラスには、インスタンスの保持するデータ（メンバ変数、フィールド（UMLでは「属性」ともいう））と操作（メソッド、メンバ関数）が記述される。 クラスは、継承・ポリモーフィズム・カプセル化などの、オブジェクト指向プログラミングにおける重要な概念を実現する強力な手段である。.
新しい！!: オーレ＝ヨハン・ダールとクラス (コンピュータ) · 続きを見る »
クリステン・ニゴール
リステン・ニゴール （Kristen Nygaard, 1926年8月27日 - 2002年8月10日）は、ノルウェー人の数学者、計算機科学者にして政治家。オスロ生まれ。2002年、心筋梗塞により死去。クリステン・ニガードと表記されることもある。ノルウェー語での発音により近い表記は、ニィゴール。.
新しい！!: オーレ＝ヨハン・ダールとクリステン・ニゴール · 続きを見る »
シミュレーション
ミュレーション（）は、何らかのシステムの挙動を、それとほぼ同じ法則に支配される他のシステムやコンピュータなどによって模擬すること広辞苑第6版。simulationには「模擬実験」や「模擬訓練」という意味もある。なお「シミュレイション」と表記することもまれにある。.
新しい！!: オーレ＝ヨハン・ダールとシミュレーション · 続きを見る »
シュプリンガー・サイエンス・アンド・ビジネス・メディア
ュプリンガー・サイエンス・アンド・ビジネス・メディア（Springer Science+Business Media, Springer）は、科学（Science）、技術（Technology、工学など）、医学（Medicine）、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"（「シュプリンガー・リンク」） 、"SpringerProtocols"（「」） 、"SpringerImages"（「シュプリンガー・イメージ」） 、"SpringerMaterials"（「シュプリンガー・マテリアル」） などいくつかの科学データベース・サービスのホスティングも行っている。 出版物には、参考図書（Reference works、レ（リ）ファレンス・ワークス）、教科書、モノグラフ（Monograph）、（Proceedings）、叢書など多数が含まれる。また、シュプリンガー・リンクには45,000以上のタイトルが自然科学など13の主題・テーマで集められており、それらは電子書籍として利用可能である。シュプリンガーはSTM分野の書籍に関しては世界最大の出版規模を持ち、ジャーナルでは世界第2位である（第1位はエルゼビア）。 多数のインプリントや、20ヶ国に約55の発行所（パブリッシング・ハウス）、5,000人以上の従業員を抱え、毎年約2,000のジャーナル、7,000以上の新書（これにはSTM分野だけではなく、B2B分野のものも含まれる）を発刊している。シュプリンガーはベルリン、ハイデルベルク、ドルトレヒト、ニューヨークに主要オフィスを構える。近年成長著しいアジア市場のために、アジア地域本部を香港に置いており、2005年8月からは北京に代表部を設置している 。 2015年5月、シュプリンガー・サイエンス+ビジネスメディアとマクミラン・サイエンス・アンド・エデュケーションの大半の事業の合併が、欧州連合や米国司法省などの主要な公正競争監視機関により承認された。新会社の名称は「シュプリンガー・ネイチャー（Springer Nature）」。.
新しい！!: オーレ＝ヨハン・ダールとシュプリンガー・サイエンス・アンド・ビジネス・メディア · 続きを見る »
タイムズ・ハイアー・エデュケーション
・タイムズ・ハイアー・エデュケーション（The Times Higher Education）とは、イギリスのタイムズが新聞の付録冊子として毎年秋に発行している高等教育情報誌である。旧称ザ・タイムズ・ハイアー・エデュケーション・サプリメント。略称はタイムズ・ハイアーまたは THES。2004年からはワールド・ユニバーシティ・ランキングス（世界大学ランキング）を公表している。 数ある『世界大学ランキング』の中で日本のマスコミが最もよく取り上げる。文部科学省の山中伸一は、このランキングの上位200校に入る大学を2020年までに10校ぐらいまで増やすことが目標であるとしている。.
新しい！!: オーレ＝ヨハン・ダールとタイムズ・ハイアー・エデュケーション · 続きを見る »
C++
C++（シープラスプラス）は、汎用プログラミング言語の一つである。日本語では略してシープラプラ、シープラなどとも呼ばれる。.
新しい！!: オーレ＝ヨハン・ダールとC++ · 続きを見る »
継承 (プログラミング)
継承（けいしょう、inheritance:インヘリタンス）とはオブジェクト指向を構成する概念の一つである。あるオブジェクトが他のオブジェクトの特性を引き継ぐ場合、両者の間に「継承関係」があると言われる。 主にクラスベースのオブジェクト指向言語で、既存クラスの機能、構造を共有する新たなクラスを派生することができ（サブクラス化）、そのようなクラスは「親クラス（スーパークラス）を継承した」という。具体的には変数定義や操作（メソッド）などが引き継がれる。またJavaのインタフェース継承のように機能セットの仕様のみを引き継ぐ場合もある。 一般的に、BがAを継承する場合、B is a A. （BはAの一種である）という意味的な関係（Is-a関係）が成り立つ。従って、同じふるまいを持つからと言って、意味的に無関係なクラス間に継承関係を持たせるのは適切でない場合が多い。 プロトタイプベースのオブジェクト指向言語（Self、NewtonScript等）のように「クラス」という概念を持たない場合でも、クローン元となるオブジェクトを指して「継承」と呼ぶ。 継承と類似の概念に「委譲」があるが、継承では一度定まった継承関係は通常変更されないのに対して、委譲対象は必要に応じて変更されうるものである。 Is-a関係を持つ継承とは階層が異なる概念として集約 (aggregation) とコンポジション集約 (composition) があるが、これはクラス間の関係がHas-aである包含関係であり、クラス間の関係は継承よりも疎である。.
新しい！!: オーレ＝ヨハン・ダールと継承 (プログラミング) · 続きを見る »
聖オーラヴ勲章
聖オーラヴ勲章（せいオーラヴくんしょう、）は、ノルウェーの勲章。.
新しい！!: オーレ＝ヨハン・ダールと聖オーラヴ勲章 · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: オーレ＝ヨハン・ダールと計算機科学 · 続きを見る »
IEEE
IEEE（アイ・トリプル・イー、The Institute of Electrical and Electronics Engineers, Inc.）は、アメリカ合衆国に本部を持つ電気工学・電子工学技術の学会である。.
新しい！!: オーレ＝ヨハン・ダールとIEEE · 続きを見る »
Java
Java（ジャバ）は、狭義ではプログラミング言語Javaを指す。広義では言語仕様以外にも、仕様が与えられているJavaクラスライブラリやJava仮想マシン、さらにはJDKやJREなどの公式のものをはじめとする、場合によってはサードパーティのものなどを含め曖昧にJavaプラットフォームと総称されるようなものなどのエコシステムなどを指すこともある。構文についてはJavaの文法の記事を参照。.
新しい！!: オーレ＝ヨハン・ダールとJava · 続きを見る »
Simula
SIMULA（シミュラ; SIMUlation LAnguage）は、オルヨハン・ダールとクリステン・ニガードによってALGOL60を拡張する形で1960年代に開発が始められたシミュレーション用途のプログラミング言語である。 ALGOLのbegin...
新しい！!: オーレ＝ヨハン・ダールとSimula · 続きを見る »
10月12日
10月12日（じゅうがつじゅうににち）はグレゴリオ暦で年始から285日目（閏年では286日目）にあたり、年末まであと80日ある。.
新しい！!: オーレ＝ヨハン・ダールと10月12日 · 続きを見る »
1931年
記載なし。
新しい！!: オーレ＝ヨハン・ダールと1931年 · 続きを見る »
1960年代
1960年代（せんきゅうひゃくろくじゅうねんだい）は、西暦（グレゴリオ暦）1960年から1969年までの10年間を指す十年紀。この項目では、国際的な視点に基づいた1960年代について記載する。.
新しい！!: オーレ＝ヨハン・ダールと1960年代 · 続きを見る »
1968年
記載なし。
新しい！!: オーレ＝ヨハン・ダールと1968年 · 続きを見る »
1972年
協定世界時による計測では、この年は（閏年で）閏秒による秒の追加が年内に2度あり、過去最も長かった年である。.
新しい！!: オーレ＝ヨハン・ダールと1972年 · 続きを見る »
2001年
また、21世紀および3千年紀における最初の年でもある。この項目では、国際的な視点に基づいた2001年について記載する。.
新しい！!: オーレ＝ヨハン・ダールと2001年 · 続きを見る »
2002年
この項目では、国際的な視点に基づいた2002年について記載する。.
新しい！!: オーレ＝ヨハン・ダールと2002年 · 続きを見る »
6月29日
6月29日（ろくがつにじゅうくにち）はグレゴリオ暦で年始から180日目（閏年では181日目）にあたり、年末まであと185日ある。誕生花はアガパンサス、ペラルゴニウム。.
新しい！!: オーレ＝ヨハン・ダールと6月29日 · 続きを見る »
