ブラウザよりも高速アクセス！
40 関係: ALGOL、かかし、名前空間、予約語 (Ada)、例外処理、ミニコンピュータ、マルチパラダイムプログラミング言語、チューリング賞、ワークステーション、ボーイング777、プログラミング言語、プログラマ、テンプレート (プログラミング)、分散コンピューティング、アメリカ国防総省、アントニー・ホーア、エイダ・ラブレス、オブジェクト指向、オブジェクト指向プログラミング、オズの魔法使い、兵器、国際標準化機構、C++、C言語、COBOL、米国国家規格協会、組み込みシステム、静的型付け、F-22 (戦闘機)、F-35 (戦闘機)、FORTRAN、GNAT、GNUコンパイラコレクション、Java、Make、MIL規格、Pascal、PL/SQL、VHDL、97式魚雷。
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" で導入されたバッカス・ナウア記法は、その後のコンピュータ言語等の構文の形式的定義を示す手法として（プログラミング言語だけに限られず）定番の記法となっている。.
かかし
日本の水田にあるかかし かかし（案山子、鹿驚）は田や畑などの中に設置して鳥などの害獣を追い払うための人形やそれに類するなんらかの仕掛け。「鳥威し」の一種。人型、目玉型のほか様々な形のものがある。.
名前空間
名前空間（なまえくうかん）はNamespaceの訳語で、名前の集合を分割することで衝突の可能性を低減しつつ参照を容易にする概念である。 この集合は、全事象の元の全ての組み合わせ可能なものからなる集合全体および物理的な名称を指すことが可能である。つまり英字・数字・記号などを組みあわせて作られる名前全てを含む集合である。名前に結び付けられる実体（型や変数）は、名前がそれぞれどの集合（空間）に属するか指定されることで一意に定まる。名前空間が異なれば同じ名前でも別の実体に対応付けられる。.
予約語 (Ada)
この項目ではプログラミング言語Adaにおける予約語（よやくご）に関して説明する。 この項目ではプログラミング言語の詳細には立ち入らないが、Adaの特徴も踏まえつつ，C言語など，他言語の予約語との比較・対照ができるような説明を目的としている。.
新しい！!: Adaと予約語 (Ada) · 続きを見る »
例外処理
例外処理（れいがいしょり）とは、プログラムの上位の処理から呼び出されている下位の処理で継続不能、または継続すれば支障をきたす異常事態に陥ったとき、制御を呼び出し元の上位の処理に返し安全な状態になるよう回復処理をすること。その際に発生した異常のことを例外と呼ぶ。 継続不能や継続すると問題になる様な状態としては、次のようなものが挙げられる。.
ミニコンピュータ
ミニコンピュータ (mini computer) は、コンピュータの種類の一つ。略称として「ミニコン」とも呼ばれた。.
新しい！!: Adaとミニコンピュータ · 続きを見る »
マルチパラダイムプログラミング言語
マルチパラダイムプログラミング言語 (マルチパラダイムプログラミングげんご、multiparadigm programming language)は、複数のプログラミングパラダイムに対応するプログラミング言語の総称である。「1つのプログラムは複数のプログラミングパラダイムを使う」とビャーネ・ストロヴストルップは述べている。マルチパラダイムプログラミング言語の設計目標は、問題解決に当たって最良の道具になることである。たとえばOzでは、論理型、関数型、オブジェクト指向、データフローコンカレントなど、多数のパラダイムを内包している。Ozは10年かけて従来のプログラミングパラダイムが調和するよう設計されたのである。.
新しい！!: Adaとマルチパラダイムプログラミング言語 · 続きを見る »
チューリング賞
ACMチューリング賞(ACM A.M. Turing Award)は、計算機科学分野で革新的な功績を残した人物に年に1度、ACMから贈られる賞であり世界最高の権威を持つ賞とされている。その功績は長く影響が続くもので、コンピュータ業界で技術的にも重要なものとされている。計算機科学におけるノーベル賞と広く認識されており、事実、受賞者にはハーバート・サイモンなどノーベル賞受賞者が存在している。 「チューリング」の名は、現代計算機科学の父の1人とされるアラン・チューリングの名にちなむ。2014年11月3日、Googleの後援により受賞者には100万ドルが贈られると発表された。 1966年の最初の受賞者はカーネギーメロン大学のアラン・パリスだった。初の女性受賞者は、2006年のフランシス・E・アレン（IBM）である。2008年には再び女性であるバーバラ・リスコフが受賞している。.
新しい！!: Adaとチューリング賞 · 続きを見る »
ワークステーション
リコングラフィックス (SGI) のワークステーション、Octane ワークステーション（workstation, 頭字語: WS）は、組版、科学技術計算、CAD、グラフィックデザイン、事務処理などに特化した業務用の高性能なコンピュータである。 その筐体のサイズは、通常、パーソナルコンピュータ (PC) と同程度か若干大きく、デスクトップに設置して使用されることが多い。 ムーアの法則に従って指数関数的に処理速度が向上する中央演算装置(CPU)やGraphics Processing Unit(GPU)を備えるPCとは異なり、モデルチェンジの周期が長く、性能向上が遅く、専門特化したハードウェア,ソフトウェアを使用するため、規模の経済の恩恵を享受できず、市場原理が働きにくく、費用対効果がPCよりも劣るため、近年では徐々にPCに置き換えられつつある。2000年代以降、各社のラインナップにおいてワークステーションと銘打たれている製品は、単なる高性能PCと化している場合が殆どになっている。.
新しい！!: Adaとワークステーション · 続きを見る »
ボーイング777
ボーイング777（Boeing 777）は、アメリカのボーイング社が開発したワイドボディ双発ジェット機。 通称「トリプルセブン」 本項では以下、ボーイング製の旅客機については、「ボーイング」という表記を省略し、数字のみで表記する。たとえば「ボーイング767」であれば、単に「767」とする。.
新しい！!: Adaとボーイング777 · 続きを見る »
プログラミング言語
プログラミング言語（プログラミングげんご、programming language）とは、コンピュータプログラムを記述するための形式言語である。なお、コンピュータ以外にもプログラマブルなものがあることを考慮するならば、この記事で扱っている内容については、「コンピュータプログラミング言語」（computer programming language）に限定されている。.
新しい！!: Adaとプログラミング言語 · 続きを見る »
プログラマ
プログラマ（Programmer）とは、コンピューターのプログラムを作成する人全般を指す。プログラマーとも表記される（#プログラマに対する呼称参照）。.
テンプレート (プログラミング)
プログラミングにおけるテンプレートは、静的型付けのC++でデータ型にとらわれずにコードを書くことを可能にする機能であり、C++においてはジェネリックプログラミングに用いられる。 C++においてテンプレートは多重継承や演算子多重定義と並ぶ重要な機能となった。STL (Standard Template Library)はテンプレートによって構築されたフレームワークとなっている。.
新しい！!: Adaとテンプレート (プログラミング) · 続きを見る »
分散コンピューティング
分散コンピューティング（ぶんさんコンピューティング、英: Distributed computing）とは、プログラムの個々の部分が同時並行的に複数のコンピュータ上で実行され、各々がネットワークを介して互いに通信を行いながら全体として処理が進行する計算手法のことである。複雑な計算などをネットワークを介して複数のコンピュータを利用して行うことで、一台のコンピュータで計算するよりスループットを上げようとする取り組み、またはそれを実現する為の仕組みである。分散処理（ぶんさんしょり）ともいう。並列コンピューティングの一形態に分類されるが、一般に並列コンピューティングと言えば、同時並行に実行する主体は同じコンピュータシステム内のCPU群である。ただし、どちらもプログラムの分割（同時に実行できる部分にプログラムを分けること）が必須である。分散コンピューティングではさらに、それぞれの部分が異なる環境でも動作できるようにしなければならない。例えば、2台の異なるハードウェアを使ったコンピュータで、それぞれ異なるファイルシステム構成であっても動作するよう配慮する必要がある。 問題を複数の部分問題に分けて各コンピュータに実行させるのが基本であり、素数探索や数多く試してみる以外に解決できない問題の対処として用いられているものが多い。分散コンピューティングの例としてBOINCがある。これは、大きな問題を多数の小さな問題に分割し、多数のコンピュータに分配するフレームワークである。その後、それぞれの結果を集めて大きな解を得る。一般的に処理を分散すると一台のコンピュータで計算する場合と比べ、問題データの分配、収集、集計するためのネットワークの負荷が増加し、問題解決の為のボトルネックとなるため、部分問題間の依存関係を減らすことが重要な課題となる。 分散コンピューティングは、コンピュータ同士をネットワーク接続し、効率的に通信できるよう努力した結果として自然に生まれた。しかし、分散コンピューティングはコンピュータネットワークと同義ではない。単にコンピュータネットワークと言った場合、複数のコンピュータが互いにやり取りするが、単一のプログラムの処理を共有することはない。World Wide Web はコンピュータネットワークの例であるが、分散コンピューティングの例ではない。 分散処理を構築するための様々な技術や標準が存在し、一部はその目的に特化して設計されている。例えば、遠隔手続き呼出し (RPC)、Java Remote Method Invocation (Java RMI)、.NET Remoting などがある。.
新しい！!: Adaと分散コンピューティング · 続きを見る »
アメリカ国防総省
アメリカ合衆国国防総省（アメリカがっしゅうこくこくぼうそうしょう、、略称：DoD）は、アメリカ合衆国の国防省である。アメリカ軍の七武官組織のうち、沿岸警備隊、アメリカ公衆衛生局士官部隊、合衆国海洋大気局士官部隊を除く陸軍、海軍、空軍、海兵隊の４つの軍を傘下に収める。陸海空軍の各省の統括組織であるため、日本では「国防総省」と訳されることが多いが、単に「国防省」とされることもある。2015年現在、同国の官庁の中で最大規模の組織となっている。 本庁舎は、五角形の形をしていることからペンタゴンと呼ばれている。アメリカ合衆国大統領の官邸組織がホワイトハウスと呼ばれるように、ペンタゴンという名称自体が国防総省を指す呼称となっている。.
新しい！!: Adaとアメリカ国防総省 · 続きを見る »
アントニー・ホーア
チャールズ・アントニー・リチャード・ホーア（Charles Antony Richard Hoare、1934年1月11日 - ）はイギリスの計算機科学者。通称はトニー・ホーア（Tony Hoare）またはC・A・R・ホーア。 クイックソート（一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム）の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes（CSP）などがある。CSPはプログラミング言語Occamに示唆を与えた。.
新しい！!: Adaとアントニー・ホーア · 続きを見る »
エイダ・ラブレス
イダ・ラブレス エイダ・ラブレス ラブレース伯爵夫人オーガスタ・エイダ・キング（Augusta Ada King, Countess of Lovelace, 1815年12月10日 - 1852年11月27日）は、19世紀のイギリスの貴族の女性。ミドルネームのエイダで知られる。結婚前の姓はバイロン。詩人第6代バイロン男爵ジョージ・ゴードン・バイロンの一人娘であり、数学を愛好した。主にチャールズ・バベッジの考案した初期の汎用計算機である解析機関についての著作で知られている。.
新しい！!: Adaとエイダ・ラブレス · 続きを見る »
オブジェクト指向
ブジェクト指向（オブジェクトしこう）とは、オブジェクト同士の相互作用として、システムの振る舞いをとらえる考え方である。英語の object-oriented (直訳は、「対象物志向の」「目的重視の」という意味の形容詞) の日本語訳である。 オブジェクト指向の枠組みが持つ道具立ては、一般的で強力な記述能力を持つ。複雑なシステム記述、巨大なライブラリ（特に部品間で緊密で複雑な相互関係を持つもの）の記述においては、オブジェクト指向の考え方は必須である。.
新しい！!: Adaとオブジェクト指向 · 続きを見る »
オブジェクト指向プログラミング
ブジェクト指向プログラミング（オブジェクトしこうプログラミング、）は、コンピュータ・プログラミングのパラダイムのひとつで、オブジェクト指向の概念や手法を取り入れたものである。プログラムを、データとその振舞が結び付けられたオブジェクトの集まりとして構成する、などといった特徴がある。このパラダイムを指向しているプログラミング言語がオブジェクト指向プログラミング言語である。.
新しい！!: Adaとオブジェクト指向プログラミング · 続きを見る »
オズの魔法使い
『オズの魔法使い』（オズのまほうつかい、The Wonderful Wizard of Oz）は、ライマン・フランク・ボームが著し、W. W.デンスロウが挿絵を担当した児童文学作品。1900年5月17日、アメリカ合衆国イリノイ州シカゴのジョージ・M・ヒル・カンパニーから初版が出版され、以降何度も再版された。 1902年のミュージカル『オズの魔法使い』(The Wizard of Oz)、1939年の映画『オズの魔法使』(The Wizard of Oz)から『The Wizard of Oz 』という題名が定着した。.
新しい！!: Adaとオズの魔法使い · 続きを見る »
兵器
兵器（へいき）は、戦争において使用する全ての車両、航空機、船舶、設備などの事を指し、敵となった目標を殺傷、破壊するためや、敵の攻撃から防御するための機械装置である。兵器は用途別に細かく分類され、その種類は膨大な数に上る。.
国際標準化機構
国際標準化機構（こくさいひょうじゅんかきこう、International Organization for Standardization）、略称 ISO（アイエスオー、イソ、アイソ）は、各国の国家標準化団体で構成される非政府組織である。 スイス・ジュネーヴに本部を置く、スイス民法による非営利法人である。1947年2月23日に設立された。国際的な標準である国際規格(IS: international standard)を策定している。 国際連合経済社会理事会に総合協議資格(general consultative status)を有する機関に認定された最初の組織の1つである。.
新しい！!: Adaと国際標準化機構 · 続きを見る »
C++
C++（シープラスプラス）は、汎用プログラミング言語の一つである。日本語では略してシープラプラ、シープラなどとも呼ばれる。.
C言語
C言語（シーげんご）は、1972年にAT&Tベル研究所のデニス・リッチーが主体となって開発したプログラミング言語である。英語圏では単に C と呼んでおり、日本でも文書や文脈によっては同様に C と呼ぶことがある。.
COBOL
COBOL（コボル）は、1959年に事務処理用に開発されたプログラミング言語である。名前は「Common Business Oriented Language」（共通事務処理用言語）に由来する。.
米国国家規格協会
米国国家規格協会（べいこくこっかきかくきょうかい、）は、アメリカ合衆国の国内における工業分野の標準化組織であり、公の合意形成のためにさまざまな規格開発を担っている。 略称はANSI（アンシ、アンジ、アンシー）。訳は米国国家標準協会とも。また、元は旧称 (ASA) の訳だった米国規格協会・米国標準協会とも呼ばれる。本部はワシントンD.C.にあるが、事務局はニューヨークにある。 電子工業会 (EIA)、電気通信工業会 (TIA) などの国内規格作成団体による仕様を承認し、ANSI規格とする。 ANSI規格は、日本の日本工業規格 (JIS) に相当するとされる。ただし、政府（大臣）が制定する規格であるJISと違い、ANSI規格を制定するのは政府から独立した私的な非営利組織のANSIである。 国際標準化機構 (ISO) 設立メンバーであり、ISO、国際電気標準会議 (IEC)、国際認定フォーラム (IAF) にアメリカ代表として参加している。アメリカの国内規格機関ではあるが、ISO等の規格に先だって決まることも多く、ANSI規格がISO規格になることも多い。また、製造業における国際標準化団体としてIPC (エレクトロニクス)があるが、ANSIの標準開発組織として正式に認可されている。ASCIIの文字コード規格 (X.34) が、ISO646になるなどの例がある。.
新しい！!: Adaと米国国家規格協会 · 続きを見る »
組み込みシステム
組み込みシステム（くみこみシステム、英: Embedded system）とは、特定の機能を実現するために家電製品や機械等に組み込まれるコンピュータシステムのこと。.
新しい！!: Adaと組み込みシステム · 続きを見る »
静的型付け
静的型付け（せいてきかたづけ、static typing）とは、プログラミング言語で書かれたプログラムにおいて、変数や、サブルーチンの引数や返り値などの値について、その型が、コンパイル時など、そのプログラムの実行よりも前にあらかじめ決められている、という型システムの性質のことである。 また、そのような性質の言語を、静的型付き言語（せいてきかたつきげんご、statically typed language）という。これに対し、型は実行時の実際の値による、というのが動的型付けである。型推論を利用していて、構文上は型の記述が省略可能な言語もあるが、そういった言語も静的型付けである（MLなど）。 一口に静的型と言ってもその実体は言語により様々である。手続き型のオブジェクト指向言語の多くでは、静的に型が付いていても、キャストなどによりインスタンスの妥当性は保証されない。より制限の強い言語であっても、ミュータブルな値により不正参照などのリスクが残されている。また静的型でもリフレクションを多用する設計を行なうと、実質的に動的型とほとんど変わらないスタイルになることから、静的と動的の境目は必ずしも明確でない場合があるといえる。 一般的な傾向として、大規模プログラミングやシステム記述用の言語は静的な型付けを行なうものが多い。.
F-22 (戦闘機)
F-22は、ロッキード・マーティン社とボーイング社が共同開発した、レーダーや赤外線探知装置などからの隠密性が極めて高いステルス戦闘機。愛称は猛禽類の意味のラプター（Raptor）。複数の用途での運用が可能なマルチロール機であり、開発元のロッキード・マーティン社はAir Dominance（航空支配）というキャッチフレーズを用いている。.
新しい！!: AdaとF-22 (戦闘機) · 続きを見る »
F-35 (戦闘機)
F-35 ライトニング II（F-35 Lightning II）は、アメリカ合衆国の航空機メーカー、ロッキード・マーティンが中心となって開発している単発単座の多用途性を備えたステルス戦闘機である。 開発計画時の名称である統合打撃戦闘機（Joint Strike Fighter）の略称JSFで呼ばれる事も多い。 コンピュータによる情報統合を推し進めており、HMDによる360°視界まで実現している。電子装備の充実度はF-22を超えている。.
新しい！!: AdaとF-35 (戦闘機) · 続きを見る »
FORTRAN
FORTRAN（フォートラン）は、1954年にIBMのジョン・バッカスによって考案された、コンピューターにおいて広く使われた世界最初の高級言語である。.
新しい！!: AdaとFORTRAN · 続きを見る »
GNAT
GNAT（グナット）は、GCCの一部であるAdaコンパイラ をいう。フロントエンドやランタイム自体もAdaで実装されている。GNATという名称の由来は、当初GNATがAdaからCへのトランスレータとして開発されたため、GNU NYU Ada Translatorと呼称されたためである。 GNATプロジェクトは、Ada 9Xの標準化過程を助成するため、米空軍がニューヨーク大学 (NYU) に対して、1992年よりオープン・ソースのAdaのコンパイラ開発を委託したことに端を発している。同契約では、開発のすべてがGNU GPLであることを要求していた。 1994年には、GNATの開発を継続し商用サポートを行うため、Ada Core Technologies社が設立された。この頃よりフロントエンドがAdaで再実装され、GCCの中間形式を生成するコンパイラとなった。なお、GNATの最初の公式コンパイラ検証は、1995年に通過した.
GNUコンパイラコレクション
GNU Compiler Collection（グニューコンパイラコレクション）は、GNUのコンパイラ群である。略称は「GCC（ジーシーシー）」。GNUツールチェーンの中核コンポーネント。.
新しい！!: AdaとGNUコンパイラコレクション · 続きを見る »
Java
Java（ジャバ）は、狭義ではプログラミング言語Javaを指す。広義では言語仕様以外にも、仕様が与えられているJavaクラスライブラリやJava仮想マシン、さらにはJDKやJREなどの公式のものをはじめとする、場合によってはサードパーティのものなどを含め曖昧にJavaプラットフォームと総称されるようなものなどのエコシステムなどを指すこともある。構文についてはJavaの文法の記事を参照。.
Make
は、プログラムのビルド作業を自動化するツール。コンパイル、リンク、インストール等のルールを記述したテキストファイル (makefile) に従って、これらの作業を自動的に行う。.
MIL規格
MIL規格 （みるきかく、Military Standard） とは、一般的にアメリカ軍が必要とする様々な物資の調達に使われる規格を総称した表現である。.
Pascal
Pascal（パスカル）は、ニクラウス・ヴィルトの設計（デザイン）によるコンピュータ・プログラミング言語である。ALGOL（直接的にはその一派生である、ヴィルトが関与したALGOL W）などの影響があるが、個人の設計であることに由来する簡素だがよく整った言語仕様（構文と意味）を持つ。用途の中に教育を意識しており、構造化された制御構造など、その当時「良きプログラミングの慣習」と考えられていたことの影響もある。一方で批判者からは、あくまでも教育用に過ぎない言語だ、といったような評もあることにはあったが、PascalコンパイラをPascalで書ける（いわゆる言語処理系のブートストラップ）ことをはじめ、Pascalで書かれた#実用プログラム例は多くある。名前は、哲学者・数学者・科学者で、機械式計算機を製作するなど技術者でもあったブレーズ・パスカルにあやかったものである。.
新しい！!: AdaとPascal · 続きを見る »
PL/SQL
PL/SQL（ピーエル・エスキューエル）は、Oracle社が、Oracle Databaseのためにコンピュータのデータベース言語SQLを独自に拡張したプログラミング言語である。 もともと非手続き型言語であるSQLを手続き型言語 (Procedural Language) に拡張するところから「PL/SQL」と命名された経緯を持つ。PL/SQLを使用すると、手続き型言語で埋め込みSQLによる処理と同様に、変数の利用やif、for、loopなどの制御構造を記述して業務ロジックをデータベース内に実装することができ、問い合わせ結果の行を一件ずつ処理する場合には、カーソルによるFETCHループでの処理を行うことが出来る。.
新しい！!: AdaとPL/SQL · 続きを見る »
VHDL
VHDLは、デジタル回路設計用の、ハードウェア記述言語(HDL: Hardware Description Language)の一種である。標準化は（現在は）IEEE/IECによる。主として論理回路の設計に、特にFPGAやASICなどの設計で使う。IEEEとIECで同一規格IEEE 1076-2008 VHDL Language Reference Manual/IEC 61691-1-1:2011 Behavioural languages - Part 1-1: VHDL Language Reference Manual を発行している。名前の由来は英語のVHSIC HDLの略で、VHSICは、very high speed integrated circuits(超高速集積回路)である。.
97式魚雷
97式魚雷（きゅうななしきぎょらい）は、技術研究本部が開発した短魚雷。開発時名称はG-RX4。海上自衛隊のみが装備している。製造は三菱重工業。.
ここにリダイレクトされます：
Ada95、ISO 8652、ISO/IEC 8652、JIS X 3009、MIL-STD-1815、プログラミング言語Ada。
