ブラウザよりも高速アクセス！
146 関係: Ada、ALGOL、APL、Association for Computing Machinery、型システム、型理論、型推論、字句、字句解析、実行ファイル、実行時コンパイラ、中間表現、人間、二進法、低水準言語、形式言語、マルチパラダイムプログラミング言語、マークアップ言語、マイクロコントローラ、マクロ (コンピュータ用語)、チャールズ・バベッジ、チューリング完全、チューリングマシン、チョムスキー階層、ハードウェア、バッカス・ナウア記法、バイナリ、メインフレーム、モジュール、ラムダ計算、ライブラリ、リファレンス実装、ロボット、ロジバン、ヌルポインタ、プリンター、プレーンテキスト、プログラミングパラダイム、プログラミング言語一覧、プログラム (コンピュータ)、プログラム意味論、プロセッサ、パンチカード、ビジュアルプログラミング言語、テキストファイル、デバッグ、データ、データ型、データ構造、ドナルド・クヌース、...、ドメイン固有言語、制御構造、アラン・チューリング、アラン・パリス、アルゴリズム、アロンゾ・チャーチ、アセンブリ言語、インターネット、インタプリタ、ウェブサイト、エドガー・ダイクストラ、オライリーメディア、オーストラリア、オブジェクト指向プログラミング、コンパイラ、コンピュータ、コンピュータ言語、システムソフトウェア、ジェネリックプログラミング、スレッド (コンピュータ)、スーパーコンピュータ、スクリプト言語、セグメンテーション違反、ソースコード、タビュレーティングマシン、入出力、先行評価、動的型付け、動的コンパイル、BCPL、C Sharp、C++、C言語、COBOL、Colorless green ideas sleep furiously、短絡評価、第五世代コンピュータ、米国国家規格協会、織機、統語論、病的な (数学)、階差機関、遅延評価、静的型付け、解析機関、計算理論、言語、言語学、評価戦略、高水準言語、論理プログラミング、部分評価、関数型言語、自動ピアノ、自然言語、自然言語処理、英語、難解プログラミング言語、Forth、FORTRAN、Haskell、Hello world、HyperText Markup Language、IBM 701、Java、JavaScript、LISP、LOC、ML (プログラミング言語)、Modula-2、Perl、PL/I、PostScript、Prolog、Python、REXX、Ruby、Scheme、Simula、Smalltalk、SQL、Standard Generalized Markup Language、Standard ML、UNIVAC I、抽象化 (計算機科学)、構造化プログラミング、構文解析、機械語、正規表現、文字列、文脈自由文法、文法、日本語、意味論、手続き型プログラミング、4GL。 インデックスを展開 (96 もっと) »
Ada
Ada（エイダ）は、強力な言語機能を豊富に持ち、高度な型の体系をもつ、プログラミング言語の一つである。構文はAlgol系である。 史上初のプログラマとされるエイダ・ラブレスの名前にちなんでAdaと命名されているため、ADAと表記するのは誤り。 フリーのコンパイラとしては、GNATなどがある。.
新しい！!: プログラミング言語とAda · 続きを見る »
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 · 続きを見る »
APL
APL（エーピーエル）は、プログラミング言語のひとつで、1957年のケネス・アイバーソンによる創案に基づいた独特の表記法を用いる。処理系の実装は、ほとんどが対話型インタプリタである。とくに多次元配列の柔軟な処理が特徴である。「APL」は「プログラミング言語」(a programming language) の略であるが、言語の特性から、ときに「配列処理言語」(array processing language) などとされる。.
新しい！!: プログラミング言語とAPL · 続きを見る »
Association for Computing Machinery
Association for Computing Machinery (ACM) は、ニューヨークに本部のあるコンピュータ科学分野の国際学会。1947年設立。IEEEとともに、この分野で最も影響力の強い学会であり、IEEEがその名と由来や歴史からエレクトロニクスや通信分野の工学に強いのに対し、数学的な理論計算機科学のような分野もカバーする。日本語に訳して「計算機械学会」とされることもあるが、こんにちこの訳語が用いられることはほとんどなく、通常は単に"ACM"という略称で呼ばれるのがもっぱらである。ACMの「A」は Association (学会、団体) の頭文字であるが、アメリカ数学会 (AMS) と混同して「米国計算機学会」と誤訳されることがある。 数多くの国際会議を開催しており、人目を惹くデモ映像のSIGGRAPHやSIGMODなどはよく知られている。他の多くの学会と同様にすぐれた業績などへの表彰もおこなっているが、チューリング賞は、特にこの分野の最高の賞とみなされており、物理や化学といった分野におけるノーベル賞に匹敵するものと扱われることもある（他の賞についても時折「～のノーベル賞」といったような表現が使われることがあるが、この分野の全てを対象とした世界トップクラスの賞という位置づけにあるのはチューリング賞をおいて他にない）。.
新しい！!: プログラミング言語とAssociation for Computing Machinery · 続きを見る »
型システム
型システム（type system）とは、プログラミング言語において、その式などの部分が持つ値を、その種類（型(type)、データ型も参照）に沿って分類し、プログラムが正しく振る舞うこと、といった性質について保証する手法である。型システムは、型理論に基づいており、プログラミング言語の理論において最も確立された軽量形式手法である。.
新しい！!: プログラミング言語と型システム · 続きを見る »
型理論
型理論（かたりろん、Type theory）は、数理論理学の一分野であり、「型」の階層を構築し、それぞれの型に数学的（あるいはそれ以外の）実体を割り当てるものである。階型理論（かいけいりろん、Theory of Types）とも。ある型のオブジェクトはその前提となる型のオブジェクトから構築される。この場合の「型」とは形而上的な意味での「型」である。バートランド・ラッセルは、彼が発見したラッセルのパラドックスにより素朴集合論の問題が明らかにされたことを受けて、型理論を構築した。型理論の詳細はホワイトヘッドとラッセルの 『プリンキピア・マテマティカ』にある。 型理論は、プログラミング言語の理論における型システムのベースにもなっている。「型システム」と「型理論」の語はほぼ同義として扱われることもあるが、ここでは、この記事では数理論理学の範囲を説明し、プログラミング言語の理論については型システムの記事で説明する。.
新しい！!: プログラミング言語と型理論 · 続きを見る »
型推論
型推論（かたすいろん）とはプログラミング言語の機能の1つで、静的な型付けを持つ言語において、変数や関数の型を宣言しなくてもそれを導くのに使われた関数の型シグネチャなどから自動的に型を決定する機構のこと。 推論に失敗するとその時点でエラーを報告できるため、少なくとも誤った型を用いる事によるバグは回避できる。また、記述をアルゴリズムに集中できるのでプログラムの抽象度が上がるというメリットもある。 代表的な型推論アルゴリズムとして、Hindley/Milner 型推論アルゴリズムがある。各々著名なコンピュータ科学者の名前からつけられた名前であるが、Hindley は論理学者として型推論システムを先に開発した。 型推論を持つ言語としてはHaskell、ML、Vala、F#、C#、Java、Scala、OCaml、D言語、Concurrent Clean、C++11、Swiftなどがある。静的型付け関数型言語のほとんどがなんらかの型推論の機能を持っている。.
新しい！!: プログラミング言語と型推論 · 続きを見る »
字句
字句（じく）とは、プログラミング言語などにおいてソースコードに出現する文字列の中で意味を持つ最小単位で、トークンとも言う。 言語によって違うが、一般的な所としては、if などのキーワード、main や argc などといった関数名や変数名などの識別子、 などの括弧（の片方ずつ）、+ -.
新しい！!: プログラミング言語と字句 · 続きを見る »
字句解析
字句解析 (じくかいせき、Lexical Analysis) とは、広義の構文解析の前半の処理で、自然言語の文やプログラミング言語のソースコードなどの文字列を解析して、後半の狭義の構文解析で最小単位（終端記号）となっている「トークン」（字句）の並びを得る手続きである。字句解析を行うプログラムは字句解析器である。自然言語の字句解析については形態素解析を参照。.
新しい！!: プログラミング言語と字句解析 · 続きを見る »
実行ファイル
実行ファイル（じっこうファイル、Executable、Executable file）とは、コンピュータがプログラムとして解釈実行できるファイルである。実行可能ファイル、実行形式ファイル、あるいは単に実行形式とも呼ばれる。 多くの場合、特定のCPUの機械語を格納したバイナリ形式である（この形式の実行ファイルを単に「バイナリ（ファイル）」と呼ぶこともある）。あるファイルが実行ファイルかどうかは、主に規約の問題である。オペレーティングシステムによっては実行ファイルであることを示すファイル名の規約が存在する（拡張子 ".bin" ".exe"など）。あるいはファイルのメタデータで実行ファイルかどうかを示す（例えばUNIX系オペレーティングシステムのファイルパーミッションビット）。 最近のアーキテクチャでは、実行ファイルにはプログラム自体に含まれない情報も格納される。例えば、実行に必要な環境についての情報、デバッグ情報、シンボル情報などである。 実行ファイルには特定のオペレーティングシステムのシステムコールを呼び出すコードが含まれることもある。つまり実行ファイルはプロセッサ固有であるだけでなくオペレーティングシステム固有でもある。 ソースファイルと実行ファイルの違いはあいまいである。というのもソースから実行形式への変換が暗黙のうちに行われることがあるためである。インタプリタのファイル（シェルスクリプトやバッチファイルを含む）は、厳密に言えばインタプリタプログラムが解釈する命令を与えるものである。.
新しい！!: プログラミング言語と実行ファイル · 続きを見る »
実行時コンパイラ
実行時コンパイラ（じっこうじコンパイラ、、JITコンパイラ、その都度のコンパイラ）とは、ソフトウェアの実行時にコードのコンパイルを行い実行速度の向上を図るコンパイラのこと。通常のコンパイラはソースコード（あるいは中間コード）から対象CPUの機械語への変換を実行前に事前に行い、これをJITと対比して事前コンパイラ (Ahead-Of-Timeコンパイラ、AOTコンパイラ)と呼ぶ。.
新しい！!: プログラミング言語と実行時コンパイラ · 続きを見る »
中間表現
中間表現（ちゅうかんひょうげん、Intermediate Representation、IR）は、コンピュータがデータをクロスプラットフォームで扱うために使用するデータ構造の表現である。 中間表現を用いたデータの抽象化はコンピューティング分野では一般的な手法である。異なるプラットフォームで同等の情報を保持するデータを異なるフォーマットで扱う場合に、データを中間表現で表現することで複数フォーマットへの変換処理を効率化することを手助けする。これは自然言語の翻訳に中間言語を用いるのと同等のメリットがある。.
新しい！!: プログラミング言語と中間表現 · 続きを見る »
人間
人間（にんげん、英: human beingジーニアス和英辞典「人間」）とは、以下の概念を指す。.
新しい！!: プログラミング言語と人間 · 続きを見る »
二進法
二進法（にしんほう）とは、2 を底（てい、基（base）とも）とし、底の冪の和で数を表現する方法である。 英語でバイナリ (binary) という。binaryという語には「二進法」の他に「二個一組」「二個単位」といったような語義もある（例: バイナリ空間分割）。.
新しい！!: プログラミング言語と二進法 · 続きを見る »
低水準言語
低水準言語（low-level programming language: ていすいじゅんげんご、低級言語とも）は、コンピュータ用のプログラミング言語のうち、機械語ないし機械語に近いアセンブリ言語などの言語の総称である。システムの階層構造を考えた場合に、ハードウェア寄りに位置する低レイヤ（低水準）の言語という意味である。対義語は「高水準言語」である。「高級言語」の対は「低級言語」である。 次のような特徴がある。.
新しい！!: プログラミング言語と低水準言語 · 続きを見る »
形式言語
形式言語（けいしきげんご、formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。形式的でないために、しばしば曖昧さが曖昧なまま残されたり、話者集団という不特定多数によってうつろいゆくような自然言語のそれに対して、一部の人工言語や、いわゆる機械可読な（機械可読目録を参照）ドキュメント類などは形式言語である。この記事では形式的な統語論すなわち構文の形式的な定義と形式文法について述べる。形式的な意味論については形式意味論の記事を参照。.
新しい！!: プログラミング言語と形式言語 · 続きを見る »
マルチパラダイムプログラミング言語
マルチパラダイムプログラミング言語 (マルチパラダイムプログラミングげんご、multiparadigm programming language)は、複数のプログラミングパラダイムに対応するプログラミング言語の総称である。「1つのプログラムは複数のプログラミングパラダイムを使う」とビャーネ・ストロヴストルップは述べている。マルチパラダイムプログラミング言語の設計目標は、問題解決に当たって最良の道具になることである。たとえばOzでは、論理型、関数型、オブジェクト指向、データフローコンカレントなど、多数のパラダイムを内包している。Ozは10年かけて従来のプログラミングパラダイムが調和するよう設計されたのである。.
新しい！!: プログラミング言語とマルチパラダイムプログラミング言語 · 続きを見る »
マークアップ言語
HTMLへの変換が容易となるだけでなく、高度なクエリの実行が可能となる。 マークアップ言語（マークアップげんご、markup language）は、視覚表現や文章構造などを記述するための形式言語である。テキストファイルであることが多いが、バイナリデータによる形式もある。 “markup”という語は英語圏の出版業界で著者、編集者、印刷者の間で指示を伝える方法を意味していた（語源を参照）。.
新しい！!: プログラミング言語とマークアップ言語 · 続きを見る »
マイクロコントローラ
マイクロコントローラ(microcontroller)は、コンピュータシステムをひとつの集積回路に組み込んだものである。.
新しい！!: プログラミング言語とマイクロコントローラ · 続きを見る »
マクロ (コンピュータ用語)
マクロ (macro) は「大きい」「巨大な」といったような意味の語であるが、コンピュータ関係では、アプリケーションソフトウェアなどの操作などといった、プログラミング言語と比較して粒度が大きい操作をまとめて自動化したりする機能を指して良く使われる。マクロを記述するコンピュータ言語をマクロ言語と言う（言語の無いマクロ機能もある）。また、テキスト等の変換を記述する変換言語もマクロと呼ばれる。 この記事と、マクロ言語の記事は、それぞれに書くべき内容と書かれている内容が混乱している。また以下の内容のいくつかは変換言語についてのものである。.
新しい！!: プログラミング言語とマクロ (コンピュータ用語) · 続きを見る »
チャールズ・バベッジ
チャールズ・バベッジ（Charles Babbage、FRS、1791年12月26日 - 1871年10月18日）は、イギリスの数学者。分析哲学者、計算機科学者でもあり、世界で初めて「プログラム可能」な計算機を考案した。「コンピュータの父」と言われることもあり、初期の機械式計算機を発明し、さらに複雑な設計に到達した。その完成しなかった機械の一部はサイエンス・ミュージアムに展示されている。1991年、バベッジの本来の設計に基づいて階差機関が組み立てられ、完全に機能した。これは19世紀当時の技術の精度に合わせて作られており、バベッジのマシンが当時完成していれば動作していたことを証明した。9年後、サイエンス・ミュージアムはバベッジが階差機関用に設計したプリンターも完成させた。.
新しい！!: プログラミング言語とチャールズ・バベッジ · 続きを見る »
チューリング完全
計算理論において、ある計算のメカニズムが万能チューリングマシンと同じ計算能力をもつとき、その計算モデルはチューリング完全（チューリングかんぜん、Turing-complete）あるいは計算完備であるという。 チャーチ＝チューリングのテーゼによれば「計算可能関数」は、それを計算しようとする計算モデルがチューリング完全であれば計算できる。 一般的なプログラミング言語の背景にある計算モデルの多くはチューリング完全である。一見単純な機能しか持たない言語がチューリング完全な例としては、Lazy K、Brainfuckなどがある。究極的に単純な計算モデルとしては「がチューリング完全であると証明されている。 チューリング完全かどうかという事は、計算可能性理論の問題である。計算複雑性の分野の問題である時間や記憶容量の消費量については考えない。表計算における数式の処理などで、繰り返し処理を「どうやっても実現できなければ」それはチューリング完全ではない。 コンピュータ言語のうち、少なくともチューリング完全でなければプログラミング言語とは呼ばれない。逆にチューリング完全であるにも関わらず慣例的にプログラミング言語とは呼ばれないものもある。.
新しい！!: プログラミング言語とチューリング完全 · 続きを見る »
チューリングマシン
チューリングマシン (Turing Machine) は計算模型のひとつで、計算機を数学的に議論するための単純化・理想化された仮想機械である。.
新しい！!: プログラミング言語とチューリングマシン · 続きを見る »
チョムスキー階層
チョムスキー階層（チョムスキーかいそう、Chomsky Hierarchy）は、形式言語を生成する形式文法の包含階層（「形式言語の階層」）で、「句構造文法（Phrase Structure Grammars）の階層」などとも言う。1956年にノーム・チョムスキーが発表した。.
新しい！!: プログラミング言語とチョムスキー階層 · 続きを見る »
ハードウェア
ハードウェア (hardware) とは、システムの物理的な構成要素を指す一般用語である。日本語では機械、装置、設備のことを指す。ソフトウェアとの対比語であり、単に「ハード」とも呼ばれる。.
新しい！!: プログラミング言語とハードウェア · 続きを見る »
バッカス・ナウア記法
バッカス・ナウア記法（Backus-Naur form）とは、文脈自由文法を定義するのに用いられるメタ言語のことで、一般にBNFやBN記法と略される。現在はこのBNFを拡張したEBNF (Extended BNF) が一般的に使われている。EBNFでは正規表現を用いてより簡単に記述でき、プロトコル規定言語であるASN.1や、XMLの構文定義にも利用されている。 ジョン・バッカスとピーター・ナウアがALGOL 60 の文法定義のために考案。当初は文脈自由文法の本来の定義に則り or（|）以外の定義はなく、繰り返しは再帰を利用して表現されている。*、?等を含む正規表現はBNFを拡張したEBNFによって導入された。パーサジェネレータを使用して構文解析器を生成する際に、構文を定義するためにも使う。 ISO/IEC 14977:1996においてEBNFの標準が定義されているが、EBNFにもいろいろな亜種や変種がある。例えば、RFC2234にはABNFという変種が定義されている。しかし、ABNFは標準のEBNFとかなり異なる部分がある。.
新しい！!: プログラミング言語とバッカス・ナウア記法 · 続きを見る »
バイナリ
バイナリ (binary) とは二進法のことであるが、コンピュータが処理・記憶するために2進化されたファイルまたはその内部表現の形式（バイナリデータ）のことを指して用いることが多い。 コンピュータが扱うすべてのデータはバイナリデータ（バイトの並び）であり、プレーンテキスト（または単にテキスト）もバイナリデータの一種ではあるが、通常バイナリとテキストは対比して用いられる。テキストとはデータの内容すべてを人間が読んで理解できる (human-readable) もの、バイナリとはそうでないものを指す。human-readableに対する語はmachine-readableだが、これは（機械的に読むことが可能であるように）フォーマットが定められているもの、という意味である。バイナリフォーマットではエンディアンなどに互換性・移植性の上で注意が必要であり、それを避けてテキスト形式で記録することも少なくない（UNIX哲学も参照。なお浮動小数点数やループした構造の表現など、テキスト形式にも注意が必要な点は多い）。バイナリエディタを用いると、バイナリファイルを1バイトずつの（16進法での）数値の並びとして表示・編集を行うことができる。バイナリのファイルでも多くは部分的にテキストとして読み取れる箇所が存在するため、そういった箇所のみを抜き出すstringsというユーティリティもある。 バイナリファイルにはたとえば画像ファイルや音声ファイル、圧縮されたファイルなどがある。バイナリファイルの中にはファイルの先頭にメタ情報（ヘッダ）を持っているものがある。たとえばGIFファイルは複数の画像を持つことができ、ファイルの先頭でそれぞれの画像を区別する情報が記述されている。そのようなメタ情報を持たないファイルはフラットバイナリファイルと呼ばれる。コンピュータプログラム関係では、テキストであるソースコードとの対比からコンパイルされたコード（オブジェクトファイルや実行ファイルなど。またそのような機械語（ネイティブバイナリ）に限らず、WebAssemblyやJavaなどのバイトコード類なども含む）のファイル等を指してバイナリと呼ばれることがしばしばある。プロプライエタリのソフトウェアは、バイナリの形態でさらに難読化を掛けて、販売されることが多い。 バイナリ形式でのデータの表現方法はさまざまなものがある。例えば、数値であれば0～9までの数をパターン化して記録するBCD、ゾーンビットと実際の数値、正の数か負の数かを記録する符号ビットからなるアンパック10進数（ゾーン10進数）や、実際の数値と符号ビットだけからなるパック10進数などがある。文字列の扱いとしては、ナル文字（'\0'）で終端する方法や、長さ（オクテット数、あるいは文字（符号点）の個数）を別に保持する、といった方式がある。前者では、'\0' を含むようなバイナリを「文字列」として扱うことができない。.
新しい！!: プログラミング言語とバイナリ · 続きを見る »
メインフレーム
IBM 704 メインフレーム メインフレーム（mainframe）は、主に企業など巨大な組織の基幹業務用などに使用される、大型コンピュータを指す用語。汎用コンピュータ、汎用機、汎用大型コンピュータ、大型汎用コンピュータ、ホストコンピュータ、大型汎用計算機 などとも呼ばれる。対比語は時代にもより専用機、分散コンピュータ（オープン系システム）など。.
新しい！!: プログラミング言語とメインフレーム · 続きを見る »
モジュール
モジュール（module）とは、工学などにおける設計上の概念で、システムを構成する要素となるもの。いくつかの部品的機能を集め、まとまりのある機能を持った部品のこと。モジュールに従っているものをモジュラー (modular)という。 入出力を絞り込み、標準化することで、システム開発を「すり合わせ」から「モジュールの組合わせ」にすることができる。.
新しい！!: プログラミング言語とモジュール · 続きを見る »
ラムダ計算
ラムダ計算（ラムダけいさん、lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（evaluation）と適用（application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。 ラムダ計算は1つの変換規則（変数置換）と1つの関数定義規則のみを持つ、最小の（ユニバーサルな）プログラミング言語であるということもできる。ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。これは、ラムダ計算がチューリングマシンと等価な数理モデルであることを意味している。チューリングマシンがハードウェア的なモデル化であるのに対し、ラムダ計算はよりソフトウェア的なアプローチをとっている。 この記事ではチャーチが提唱した元来のいわゆる「型無しラムダ計算」について述べている。その後これを元にして「型付きラムダ計算」という体系も提唱されている。.
新しい！!: プログラミング言語とラムダ計算 · 続きを見る »
ライブラリ
ライブラリ（）は、汎用性の高い複数のプログラムを再利用可能な形でひとまとまりにしたものである。ライブラリと呼ぶ時は、それ単体ではプログラムとして作動させることはできない実行ファイルではない場合がある。ライブラリは他のプログラムに何らかの機能を提供するコードの集まりと言うことができる。ソースコードの場合と、オブジェクトコード、あるいは専用の形式を用いる場合とがある。たとえば、UNIXのライブラリはオブジェクトコードをarと呼ばれるアーカイバでひとまとめにして利用する。図書館（）と同様にプログラム（算譜）の書庫であるので、索引方法が重要である。 また、ソフトウェア以外の再利用可能なものの集合について使われることもある。.
新しい！!: プログラミング言語とライブラリ · 続きを見る »
リファレンス実装
リファレンス実装（-じっそう、reference implementation）は、なんらかの機能を実現するハードウェアまたはソフトウェアであり、他者がそれを参考にして独自に実装することを助ける目的で作られたものを言う。参考実装とも呼ばれる。.
新しい！!: プログラミング言語とリファレンス実装 · 続きを見る »
ロボット
ボット（robot）は、人の代わりに何等かの作業を自律的に行う装置、もしくは機械のこと。 主に以下に大別することが可能である。.
新しい！!: プログラミング言語とロボット · 続きを見る »
ロジバン
バン (lojban) は、ログランを元に、さらなる機能性を追求して LLG が開発を引率してきた人工言語である。1987年に公表され、1997年に文法が暫定的に完成、2002年から実用段階に入った。主にインターネットを中心とする国際的な研鑽が進んでいる。.
新しい！!: プログラミング言語とロジバン · 続きを見る »
ヌルポインタ
ヌルポインタ（null pointer）とは、何のオブジェクトも指していないことを表す特別なポインタである。 プログラムではヌルポインタを、不定長のリストの終端を表したり、何らかの動作の結果が失敗であることを表したりするのに使用する。後者の用法は、やのNothing値を使用することもできる。 ヌルポインタの値や型がいかなるものかという詳細は言語によって異なる。実際的にはいかなるオブジェクトも参照しないという言語もあり、参照先を求めようとするとJava（NullPointerException）のように例外が発生するものもある。 ヌルポインタはほとんどの処理系（この場合、言語処理系プログラムだけではなく、ハードウェアまでを含めて）で、内部的に0で表現されるが、ごく希に、0でない処理系もある。言語仕様上の意味としては普通「アドレス0（あるいは他のアドレス）を指し示すポインタ」ではなく、どこも指し示さないものとされる。 ヌルポインタを未初期化のポインタと混同してはならない。ヌルポインタは、あらゆる有効なオブジェクトとも異なることが保証されている。それに対し、言語や実装によっては、未初期化のポインタはそのような保証はなく、他のオブジェクトやヌルポインタと同じになる可能性がある。 ヌルポインタはヌル値とは意味が違う。ヌルポインタは多くのプログラミング言語において「値がない(no value)」ことを意味し、ヌル値はリレーショナルデータベースにおいて「未詳値(unknown value)」であることを意味する。ほとんどのプログラミング言語では2つのヌルポインタは等しいが、リレーショナルデータベースエンジンは2つのヌル値を等しいとはみなさない（それらは未詳値を表しているので、それらが等しいかどうかはわからない）。.
新しい！!: プログラミング言語とヌルポインタ · 続きを見る »
プリンター
プソン・PM-700C（1996年〈平成8年〉11月発売） プリンター（）は、印刷用の機器の総称である。印刷機（いんさつき）などとも呼ばれる。 本稿では特にコンピュータからの情報の出力に用いられる機械について説明する。その他のプリンター、印刷機については、印刷を参照。.
新しい！!: プログラミング言語とプリンター · 続きを見る »
プレーンテキスト
プレーンテキスト (plain text) とは、コンピュータ上で文章を扱うための一般的なファイルフォーマット、または文字列の形式である。厳密にはASCIIのみ、さらに厳密には7ビットASCIIで構成された文書だけを指すが、パソコンが多言語化し様々な文字コードが扱われている現在では、特定の文字コードに準拠したバイナリファイルだと定義できる。ワープロで作成した文章とは違い、文字ごとの色や形状、文章に含まれる図などといった情報を含まない。プレーンテキストに対して、文字ごとの色や形状、文章に含まれる図などといった情報を含む文章のことをマルチスタイルテキストと呼ぶ。しかし、マルチスタイルテキストの一部もファイルフォーマットとしてはプレーンテキストのみで構成されているものもある。 プレーンテキストには文字情報以外の情報は一切含まず、テキストデータのみで構成されている。バイナリデータや文字の整形情報を持たないので、最低限の機能しか持たないテキストエディタや表示用のソフトウェアで扱えると言う点で利便性が高い。その反面、格納できる情報が純粋にテキストのみに限定される為、文字の強調や加工や言語情報、フォント情報を持つことが出来ない。これらの情報を格納する場合は、HTMLのような工夫が必要になる。 MS-DOS、Windowsでは、EDLINやメモ帳、UNIXやLinuxの場合はviやEmacs、Mac OSの場合はSimpleText、macOSの場合はテキストエディットなどといったOSに標準的に付属するソフトウェアで編集することが出来る。 なお、テキストエディタを使うことで、プログラミング言語のソースコードやHTML、XML、TeXといった純粋なテキストのみで構成されているファイルを編集する事も可能である。.
新しい！!: プログラミング言語とプレーンテキスト · 続きを見る »
プログラミングパラダイム
プログラミングパラダイム (programming paradigm)とは、プログラミングにおけるパラダイムである。.
新しい！!: プログラミング言語とプログラミングパラダイム · 続きを見る »
プログラミング言語一覧
以下はプログラミング言語の一覧である。.
新しい！!: プログラミング言語とプログラミング言語一覧 · 続きを見る »
プログラム (コンピュータ)
ンピュータプログラム（英：computer programs）とは、コンピュータに対する命令（処理）を記述したものである。コンピュータが機能を実現するためには、CPUで実行するプログラムの命令が必要である。 コンピュータが、高度な処理を人間の手によらず遂行できているように見える場合でも、コンピュータは設計者の意図であるプログラムに従い、忠実に処理を行っている。実際には、外部からの割り込み、ノイズなどにより、設計者の意図しない動作をすることがある。また設計者が、外部からの割り込みの種類を網羅的に確認していない場合もある。.
新しい！!: プログラミング言語とプログラム (コンピュータ) · 続きを見る »
プログラム意味論
プログラム意味論（program semantics）とは、計算機科学（特に理論計算機科学と分類されることもある）の一分野で、プログラミング言語の意味と計算モデルに関する分野である。形式的なものは、プログラミング言語の形式意味論とも呼ばれる。標準規格等では形式的でなく意味論を与えているものも多い。.
新しい！!: プログラミング言語とプログラム意味論 · 続きを見る »
プロセッサ
プロセッサ は、コンピュータシステムの中で、ソフトウェアプログラムに記述された命令セット（データの転送、計算、加工、制御、管理など）を実行する（＝プロセス）ためのハードウェアであり、演算装置、命令や情報を格納するレジスタ、周辺回路などから構成される。内蔵されるある程度の規模の記憶装置までを含めることもある。プロセッサー、プロセサ、プロセッシングユニット、処理装置（しょりそうち）ともいう。「プロセッサ」は処理装置の総称で、システムの中心的な処理を担うものを「CPU（）」（この呼称はマイクロプロセッサより古くからある）、集積回路に実装したものをマイクロプロセッサ、またメーカーによっては（モトローラなど）「MPU（）」と呼んでいる。 プロセッサの構成要素の分類として、比較的古い分類としては、演算装置と制御装置に分けることがある。また、理論的な議論では、厳密には記憶装置であるレジスタすなわち論理回路の用語で言うところの順序回路の部分を除いた、組み合わせ論理の部分のみを指すことがある（状態機械モデルと相性が悪い）。の分類としては、実行すべき命令を決め、全体を制御するユニットと、命令を実行する実行ユニットとに分けることがある。.
新しい！!: プログラミング言語とプロセッサ · 続きを見る »
パンチカード
20世紀に最も広く使われた80欄のパンチカード。寸法は 187.325 mm × 82.55 mm。この例は1964年のEBCDIC文字セットにそれ以前につかわれていた特殊記号を加えて示したものである。 パンチカードは、穿孔カードなどともいう、厚手の紙に穴を開けて、その位置や有無から情報を記録する記録媒体で、以前には鑽孔紙テープとともに多用された。電子式コンピュータ以前のタビュレーティングマシン（パンチカードシステム）の時代から多用されたものであるが、近年はコンピュータ用の主力メディアとしては過去のものとなっている。画像などといった大容量のデータを負担なく扱えるようになる以前には、四角い窓を作ってそこに写真フィルムを張る、といった使い方や、端に切れ込みを入れて串を使った手作業で分類できる edge-notched card（#ハンドソートパンチカードの節を参照）など、紙テープとは違ったカードならではの使い方もある。 現在の使われ方としては、国や地方によっては選挙の投票用であるとか、穴を開けるのではないものの、マークシート用で同一の大きさ・形状・材質のカードが使われていることがある。.
新しい！!: プログラミング言語とパンチカード · 続きを見る »
ビジュアルプログラミング言語
ビジュアルプログラミング言語（visual programming language）とは、プログラムをテキストで記述するのではなく、視覚的なオブジェクトでプログラミングするプログラミング言語である。グラフィカルプログラミング言語とも言う。視覚表現でプログラミングが可能で、空間上でテキストやグラフィックシンボルを配置することでプログラムが形成される。 「矩形と矢印」の考え方に基づいており、矩形や円を画面上のオブジェクトとし、それらを矢印や線や弧でつなぐものや、ブロック状のものなどがある。使っている視覚表現としては、アイコンベースの言語、フォームベースの言語、ダイアグラムベースの言語などがある。 以上のような要素を操作するために、ほとんどの言語では、GUIが提供されている。 一方で「ビジュアルプログラミング言語」という分類は、そのプログラミングパラダイムは問わない。すなわち、その視覚化されているものが、手続き型プログラミングであることもあれば関数型プログラミングであることもあればデータフロープログラミングであることもある。プログラミングパラダイムとしては基本的にはテキストによる表現と違いがあるわけではないが、理解されないことも多いようである。Pure Dataのようなデータフロー記述に優れた言語など、テキストで記述するよりも適した分野もあり、#データフローパラダイムとの関連の節も参照のこと。なおVisulanなどごく一部であるが、図形の形状をベースとしたパターンマッチなど、ビジュアル言語ならではの手法によるプログラミングを行う言語もある。.
新しい！!: プログラミング言語とビジュアルプログラミング言語 · 続きを見る »
テキストファイル
テキストファイル (Text File) は、文字など文字コードによって表されるデータだけが含まれるファイルのことで、ファイルフォーマットの一種と見なすこともできる。互換性が高く幅広い環境でデータを利用できる利点がある一方、単純な文字だけしか扱えないという制限がある。対義語はバイナリファイル。.
新しい！!: プログラミング言語とテキストファイル · 続きを見る »
デバッグ
デバッグ（debug）とは、コンピュータプログラムや電気機器中のバグ・欠陥を発見および修正し、動作を仕様通りのものとするための作業である。サブシステムが密結合であると、1箇所の変更が別の箇所でのバグを作り出すので、バグの修正がより困難となる。.
新しい！!: プログラミング言語とデバッグ · 続きを見る »
データ
データ（data）とは、事実や資料をさす言葉。言語的には複数形であるため、厳密には複数の事象や数値の集まりのことを指し、単数形は datum（データム）である。.
新しい！!: プログラミング言語とデータ · 続きを見る »
データ型
データ型（データがた、）とは、（コンピュータにおける）データ（値）の種類に関する分類である。データタイプとも。 具体的にいうと、たとえば 0, 1, 2, -42 といったような値は整数型であり、"foo", "Hello" といったような値は文字列型である。プログラミングなどにおいて、まずデータオブジェクトや関数などの「値」について、またさらに、それらに関連付け（束縛）される変数や定数、リテラル、それらを組合せる演算子、さらにそれらからなる式といった構文上の要素の型が、データ型の議論の対象となる。.
新しい！!: プログラミング言語とデータ型 · 続きを見る »
データ構造
データ構造（データこうぞう、data structure）は、計算機科学において、データの集まりをコンピュータの中で効果的に扱うため、一定の形式に系統立てて格納するときの形式のことである。 ソフトウェア開発において、データ構造についてどのような設計を行うかは、プログラム（アルゴリズム）の効率に大きく影響する。そのため、さまざまなデータ構造が考え出されている。 多くのプログラムの設計において、データ構造の選択は主要な問題である。これは大規模システムの構築において、実装の困難さや質、最終的なパフォーマンスはベストのデータ構造を選択したかどうかに大きく依存してきたという経験の結果である。多くの場合、データ構造が決まれば、利用するアルゴリズムは比較的自明に決まる。しかし場合によっては、順番が逆になる。つまり、与えられた仕事をこなす最適なアルゴリズムを使うために、そのアルゴリズムが前提としている特定のデータ構造が選択される。いずれにしても適切なデータ構造の選択は極めて重要である。 この洞察は、多くの定式化された設計手法やプログラミング言語において、データ構造がアルゴリズムよりもキーとなる構成要素となっていることに現れている。大半の言語は異なるアプリケーションにおいてデータ構造を安全に再利用できるよう、実装の詳細をインターフェイスの背後に隠蔽するような、モジュール化のしくみを備えている。C++やJavaといったオブジェクト指向プログラミング言語はクラスをこの目的に用いている。 データ構造は専門的なプログラミングにとって非常に重要なので、C++におけるSTLや、Java API、および.NET Frameworkのようなプログラミング言語の標準ライブラリや環境において多くのデータ構造がサポートされている。 データ構造が実装を表すのかインターフェースを表すのかについてはいくらか議論がある。どのように見えるかは相対的な問題なのかもしれない。データ構造は2つの関数の間にあるインターフェイスとして見ることもできるし、データ型に基づいて構成されたストレージにアクセスする方法を実装したものとして見ることもできる。.
新しい！!: プログラミング言語とデータ構造 · 続きを見る »
ドナルド・クヌース
ドナルド・エルビン・クヌース（Donald Ervin Knuth, 1938年1月10日 -）は数学者、計算機科学者。スタンフォード大学名誉教授。 クヌースによるアルゴリズムに関する著作 The Art of Computer Programming のシリーズはプログラミングに携わるものの間では有名である。アルゴリズム解析と呼ばれる分野を開拓し、計算理論の発展に多大な貢献をしている。その過程で漸近記法で計算量を表すことを一般化させた。 理論計算機科学への貢献とは別に、コンピュータによる組版システム TeX とフォント設計システム METAFONT の開発者でもあり、Computer Modern という書体ファミリも開発した。 作家であり学者であるクヌースは、文芸的プログラミングのコンセプトを生み出し、そのためのプログラミングシステム WEB / CWEB を開発。また、MIX / MMIX 命令セットアーキテクチャを設計。.
新しい！!: プログラミング言語とドナルド・クヌース · 続きを見る »
ドメイン固有言語
ドメイン固有言語（ドメインこゆうげんご、domain-specific language、DSL）とは、特定のタスク向けに設計されたコンピュータ言語である。 DSL は一種類のタスクをうまく実行することに集中したものであり、古くから存在した。何らかのプログラミング言語それ自体の構文と処理系を利用する internal DSL（あるいは embedded DSL）と、独立した構文と処理系を持つ external DSL に大別されるが、そのいずれにしても近年の、自由度と機能が高いプログラミング言語により手軽に扱えるようになったことから広まっている。ドメイン固有モデリングの支持者によれば、ドメイン固有モデリングの発達と共にDSLという用語も広く知られるようになってきた、とされる。実際にはドメイン固有言語はモデリングとは特別な関係が何もあるわけでもなく（ドメイン固有モデリングのためのドメイン固有言語、といったものはあるが）、モデリング以外にもあらゆる分野のための言語がある。 例えば、ハードウェア記述言語のVerilog HDLやVHDL、表計算ソフトのマクロ、データベースへの問い合わせ言語（SQLなど）、文脈自由文法を記述するBNFや正規文法を記述する正規表現、図を作成する言語を構築する 、音響や音楽の合成用のCsound、グラフ（ネットワーク）描画システムGraphvizのDOT言語、依存関係解決用のmakeなどがある。.
新しい！!: プログラミング言語とドメイン固有言語 · 続きを見る »
制御構造
制御構造（せいぎょこうぞう）は、コンピュータ・プログラミング言語、特に手続き型プログラミングや命令型プログラミングにおいて、ループや飛び越しなどといった、手続き（プロシージャ）中の実行順を順次実行から変化させたり、サブルーチン呼出しやその戻り、などといった制御を行う「文 (プログラミング) 」などの構造（言語の構成要素）である。 制御構造の種類は言語によって様々だが、典型的には以下のようなものがある（用語「ブロック」については、ブロック (プログラミング) の記事を参照）。.
新しい！!: プログラミング言語と制御構造 · 続きを見る »
アラン・チューリング
アラン・マシスン・チューリング（Alan Mathieson Turing、〔テュァリング〕, 1912年6月23日 - 1954年6月7日）はイギリスの数学者、論理学者、暗号解読者、コンピュータ科学者。.
新しい！!: プログラミング言語とアラン・チューリング · 続きを見る »
アラン・パリス
アラン・ジェイ・パリス（Alan Jay Perlis、1922年4月1日 - 1990年2月7日）は、アメリカ合衆国の計算機科学者。プログラミング言語についての先駆的業績で知られる。1966年、第1回のチューリング賞を受賞した。.
新しい！!: プログラミング言語とアラン・パリス · 続きを見る »
アルゴリズム
フローチャートはアルゴリズムの視覚的表現としてよく使われる。これはランプがつかない時のフローチャート。 アルゴリズム（algorithm ）とは、数学、コンピューティング、言語学、あるいは関連する分野において、問題を解くための手順を定式化した形で表現したものを言う。算法と訳されることもある。 「問題」はその「解」を持っているが、アルゴリズムは正しくその解を得るための具体的手順および根拠を与える。さらに多くの場合において効率性が重要となる。 コンピュータにアルゴリズムをソフトウェア的に実装するものがコンピュータプログラムである。人間より速く大量に計算ができるのがコンピュータの強みであるが、その計算が正しく効率的であるためには、正しく効率的なアルゴリズムに基づいたものでなければならない。.
新しい！!: プログラミング言語とアルゴリズム · 続きを見る »
アロンゾ・チャーチ
アロンゾ・チャーチ（Alonzo Church, 1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者。ラムダ計算の創案者、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。.
新しい！!: プログラミング言語とアロンゾ・チャーチ · 続きを見る »
アセンブリ言語
モトローラ MC6800 のアセンブリ言語のソースコード アセンブリ言語（アセンブリげんご、英: assembly language）とは、コンピュータ、マイクロコントローラ、その他のプログラム可能な機器を動作させるための機械語を人間にわかりやすい形で記述する、代表的な低水準言語である。なお、英語の assembly とは「組立」という意味である。.
新しい！!: プログラミング言語とアセンブリ言語 · 続きを見る »
インターネット
インターネット（internet）は、インターネット・プロトコル・スイートを使用し、複数のコンピュータネットワークを相互接続した、グローバルな情報通信網のことである。 インターネットは、光ファイバーや無線を含む幅広い通信技術により結合された、地域からグローバルまでの範囲を持つ、個人・公共・教育機関・商用・政府などの各ネットワークから構成された「ネットワークのネットワーク」であり、ウェブのハイパーテキスト文書やアプリケーション、電子メール、音声通信、ファイル共有のピア・トゥ・ピアなどを含む、広範な情報とサービスの基盤となっている。.
新しい！!: プログラミング言語とインターネット · 続きを見る »
インタプリタ
インタプリタ（interpreter）とは、プログラミング言語で書かれたソースコードないし中間表現を逐次解釈しながらするプログラムのこと。.
新しい！!: プログラミング言語とインタプリタ · 続きを見る »
ウェブサイト
ウェブサイト（website）は、World Wide Web (WWW) 上にあり、一般に特定のドメイン名の下にある複数のウェブページの集まりのこと。サイトと呼ばれることもある。企業などの団体が自身を紹介するため自ら構築したサイトを、その団体の公式サイトなどと呼ぶ。 ホームページと呼ばれることもあるが、この用法は誤用とされる場合もある。また、ウェブサイトのトップページのみをさしてホームページと呼ぶ場合もある。.
新しい！!: プログラミング言語とウェブサイト · 続きを見る »
エドガー・ダイクストラ
ドガー・ダイクストラ（Edsger Wybe Dijkstra, 1930年5月11日 - 2002年8月6日）は、オランダ人の計算機科学者。1972年、プログラミング言語の基礎研究への貢献に対してチューリング賞を受賞。構造化プログラミングの提唱者。1984年から2002年に亡くなるまでテキサス大学オースティン校の計算機科学の Schlumberger Centennial Chair を務めた。 2002年の死の直前、プログラム計算のについての仕事に対して ACM PODC Influential Paper Award を授与された。この賞は翌年からダイクストラを称えてと呼ばれるようになった。 エズガー・ダイクストラと表記されることもある。オランダ語での発音は、IPA表記で で、エツハー・ウィベ・デイクストラに近い。.
新しい！!: プログラミング言語とエドガー・ダイクストラ · 続きを見る »
オライリーメディア
ライリーメディア（O'Reilly Media）は、アメリカ合衆国のメディア企業。ティム・オライリーが創設した。コンピュータ関連の書籍出版、ウェブサイト作成、カンファレンスの開催などを主な業務としている。表紙に動物の木版画を使った書籍群でよく知られている。日本法人はオライリー・ジャパン。.
新しい！!: プログラミング言語とオライリーメディア · 続きを見る »
オーストラリア
ーストラリア連邦（オーストラリアれんぽう、Commonwealth of Australia）、またはオーストラリア（Australia）は、オーストラリア大陸本土、タスマニア島及び多数の小島から成りオセアニアに属する国。南方の南極大陸とは7,877km離れている。イギリス連邦加盟国であり、英連邦王国の一国となっている。日本での略称は「豪州」である。.
新しい！!: プログラミング言語とオーストラリア · 続きを見る »
オブジェクト指向プログラミング
ブジェクト指向プログラミング（オブジェクトしこうプログラミング、）は、コンピュータ・プログラミングのパラダイムのひとつで、オブジェクト指向の概念や手法を取り入れたものである。プログラムを、データとその振舞が結び付けられたオブジェクトの集まりとして構成する、などといった特徴がある。このパラダイムを指向しているプログラミング言語がオブジェクト指向プログラミング言語である。.
新しい！!: プログラミング言語とオブジェクト指向プログラミング · 続きを見る »
コンパイラ
ンパイラ（英:compiler）とは、コンピュータ・プログラミング言語の処理系（言語処理系）の一種で、高水準言語によるソースコードから、機械語に（あるいは、元のプログラムよりも低い水準のコードに）変換するプログラムである。.
新しい！!: プログラミング言語とコンパイラ · 続きを見る »
コンピュータ
ンピュータ（Computer）とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.
新しい！!: プログラミング言語とコンピュータ · 続きを見る »
コンピュータ言語
ンピュータ言語（コンピュータげんご）とは、コンピュータにおいて用いられる言語の総称である。一般に人工言語で、もっぱら形式言語である（親しみやすさなどの目的で、自然言語風にデザインされることもある）。 プログラムを記述するためのプログラミング言語の一群が最も有名であり、そのため「コンピュータ言語」と「プログラミング言語」は同じ意味で使われることもある。しかし、コンピュータ言語としては他にもハードウェア記述言語や、マークアップ言語のようなデータ記述言語などがあり、それらは「プログラミング言語」ではない。.
新しい！!: プログラミング言語とコンピュータ言語 · 続きを見る »
システムソフトウェア
テムソフトウェア（System Software、Systems Software）またはシステムプログラムは、コンピュータのハードウェア管理や制御などを行うソフトウェア全般を指す用語。対比語はアプリケーションソフトウェア（業務プログラム）。類似の用語には、基本ソフトウェア、システム制御ソフトウェアなどがある。 一般的な例には、オペレーティングシステム、デバイスドライバ、プログラミング言語処理系などがあるが、システムや観点にもより、その境界は明確ではない。.
新しい！!: プログラミング言語とシステムソフトウェア · 続きを見る »
ジェネリックプログラミング
ェネリック（総称あるいは汎用）プログラミング（generic programming）はデータ形式に依存しないコンピュータプログラミング方式である。.
新しい！!: プログラミング言語とジェネリックプログラミング · 続きを見る »
スレッド (コンピュータ)
レッド（thread）とは、CPU利用の単位。プロセスに比べて、プログラムを実行するときのコンテキスト情報が最小で済むので切り替えが速くなる。スレッドは、thread of execution（実行の脈絡）という言葉を省略したものである。 プログラミングの観点からみると、アプリケーションの処理の「実行の脈絡」は1つでないことが多い。これをシングルスレッドで実現しようとするとシグナルやタイマーを駆使してコーディングすることになる。また、複数のプロセスに分割してプロセス間通信で協調動作させるという方法もある。しかし、いずれの場合もそれらの機能を使うための余分な、本来のアルゴリズムと関係ないコーディングが必要となる。スレッドを使用したプログラミングは本来のアルゴリズムに集中しやすくなり、プログラムの構造が改善されるという効果がある。.
新しい！!: プログラミング言語とスレッド (コンピュータ) · 続きを見る »
スーパーコンピュータ
ーパーコンピュータ（supercomputer）は、科学技術計算を主要目的とする大規模コンピュータである。日本国内での略称はスパコン。また、計算科学に必要となる数理からコンピュータシステム技術までの総合的な学問分野を高性能計算と呼ぶ。スーパーコンピュータでは計算性能を最重要視し、最先端の技術が積極的に採用されて作られる。.
新しい！!: プログラミング言語とスーパーコンピュータ · 続きを見る »
スクリプト言語
リプト言語（スクリプトげんご、scripting language）とは、アプリケーションソフトウェアを作成するための簡易的なプログラミング言語の一種を指す。 スクリプト（英語で「台本・脚本」の意味）とは、その簡易的な言語記述方法を指してそう呼ばれるようになった。.
新しい！!: プログラミング言語とスクリプト言語 · 続きを見る »
セグメンテーション違反
メンテーション違反（英語：segmentation fault）はソフトウェアの実行時に起きる特定のエラー条件である。segfault（セグフォールト）と略される場合がある。 セグメンテーション違反はアクセスが許可されていないメモリ上の位置、もしくは許可されていない方法（例えばリードオンリーの位置へ書き込みをしようとする、もしくはオペレーティングシステムの部分を上書きしようとする）でメモリ上の位置にアクセスしようとするときに起こる。MC68000のようなプロセッサに基づくシステムはこれらのイベントをアドレスエラーもしくはバスエラーとして参照しようとする傾向にある。 セグメント方式はメモリ管理とオペレーティングシステムを保護する方法の一つである。大部分の用途のためにページング方式に置き換えられつつあるが、セグメンテーションの専門用語はまだ多く使用されている。セグメンテーション違反はその一例である。オペレーティングシステムの中にはメインメモリ管理の方針としてページング方法が使用されているがいくつかの論理レベルでまだセグメンテーションを持つものがある。 UNIXライクのオペレーティングシステム上では、不正なメモリにアクセスをするプロセスはSIGSEGVシグナルを受け取る。Microsoft Windows上では、不正なメモリにアクセスするプロセスはSTATUS_ACCESS_VIOLATION例外を受け取る。.
新しい！!: プログラミング言語とセグメンテーション違反 · 続きを見る »
ソースコード
青で示されているのが有効なコードである。 ソースコード（source code）とは、コンピュータプログラミング言語で書かれた、コンピュータプログラムである文字列（テキストないしテキストファイル）のことである。.
新しい！!: プログラミング言語とソースコード · 続きを見る »
タビュレーティングマシン
ンピュータ歴史博物館にあるホレリスのタビュレーティングマシンとソータ (1890) ホレリスのパンチカード タビュレーティングマシン（Tabulating machine）は日本では一般にパンチカードシステムと呼ばれていたもので、会計などの作表を補助する機械群。タビュレータ (tabulator) とも。ハーマン・ホレリスが発明し、1890年の米国国勢調査のデータ処理で初めて使用された。その後コンピュータが普及するまでデータ処理に広く使われた。 「スーパーコンピューティング」という言葉は1931年、紙がIBMがコロンビア大学に納入した大型特製タビュレータを指して使ったのが最初である なお、95ページにある1920年という日付は間違っている。詳しくは を参照。.
新しい！!: プログラミング言語とタビュレーティングマシン · 続きを見る »
入出力
入出力（にゅうしゅつりょく、input/output）は、データなどの「ものごと」の流れにおける出入りのことで、入力と出力の2つを総称した概念のことである。input/outputの頭文字をとってI/Oと略される。.
新しい！!: プログラミング言語と入出力 · 続きを見る »
先行評価
先行評価（せんこうひょうか、eager evaluation）、正格評価（せいかくひょうか、strict evaluation）、厳密評価とは、プログラミング言語における評価戦略の一種であり、多くの言語処理系で標準的に使われている戦略である。.
新しい！!: プログラミング言語と先行評価 · 続きを見る »
動的型付け
動的型付け（どうてきかたづけ、dynamic typing）とは、プログラミング言語で書かれたプログラムにおいて、変数や、サブルーチンの引数や返り値などの値について、その型を、コンパイル時などそのプログラムの実行よりも前にあらかじめ決めるということをせず、実行時の実際の値による、という型システムの性質のことである。 また、そのような性質の言語を、動的型付き言語（どうてきかたつきげんご、dynamically typed language）という。これに対し、型は実行前に決まる、というのが静的型付けである。型推論を利用していて、構文上は型の記述が省略可能な言語もあるが、そういった言語も静的型付けである（MLなど）。 静的型付けは、.
新しい！!: プログラミング言語と動的型付け · 続きを見る »
動的コンパイル
動的コンパイル（英: Dynamic compilation）とは、 プログラミング言語の実装で用いられる、プログラムの性能を実行時に向上させるための手法である。この技術はSelf プログラミング言語を起源とており、これを用いる最もよく知られた言語は Java である。動的コンパイルはランタイムにのみ知ることができる情報による最適化を可能にする。 通例動的コンパイルを用いる実行環境は、プログラムを開始後最初の数分間は低速で実行し、その後コンパイルと再コンパイルが完了すると、高速に実行する。このように開始直後パフォーマンスが低いことにより、動的コンパイルが好ましくない状況も存在する。また動的コンパイルの大半の実装では、初回のコンパイル時に実行可能な最適化も実行時に更なるコンパイルが行われるまで遅延させるため、不要にプログラムの動作を遅延させてしまうことがある。ジャストインタイムコンパイル (JITコンパイル) は、動的コンパイルの形態の一つである。 密接な関連のある技術として、増分コンパイルがある。増分コンパイラは、POP-2、POP-11、MaclispなどのLispの一部、またMLプログラミング言語の少なくとも一つのバージョン (Poplog) で用いられている。 増分コンパイルでは、対応するプログラミングのコンパイラが実行時環境の一部となっている必要がある。それゆえ、ソースコードは、端末や、ファイル、あるいは動作中のプログラムによって作成されるデータ構造からいつでも読み取り可能で、機械語コードや関数に変換ができ（同じ関数を置き換えることもできる）、即座にプログラムから利用可能になる。対話的な開発やテストの際のコンパイル速度への要求から、コンパイルされたコードは通常の「バッチ型コンパイラ」ほどの強い最適化は行われない。しかし、増分的にコンパイルされたプログラムは同じプログラムのインタプリタ版よりは高速に動作する。増分コンパイルはインタプリタ言語とコンパイル言語の双方の利点を備えている。移植性をもたらすため、一般的に増分コンパイラの動作は二段階に分かれることが望ましい。最初のコンパイルで何らかのプラットフォーム非依存の中間コードを生成し、次にこれをホストマシンの機械語コードにコンパイルする。上述の動的コンパイルとは異なり、増分コンパイルはプログラムが最初に動作した後に更なる最適化が行われることはない。.
新しい！!: プログラミング言語と動的コンパイル · 続きを見る »
BCPL
BCPL (Basic Combined Programming Language、Basic-CPL)は1966年にケンブリッジ大学のマーティン・リチャーズ (Martin Richards)が設計したプログラミング言語である。.
新しい！!: プログラミング言語とBCPL · 続きを見る »
C Sharp
C#（シーシャープ）は、アンダース・ヘルスバーグが設計（デザイン）したプログラミング言語であり、構文（syntax）は（名前にもある通り）C言語や、C言語風に構文が設計されたC++やJavaなどの影響があるが、構文以外についてはヘルスバーグが以前の所属であるBorlandで設計したDelphiからの影響がある。 Microsoftによる謳い文句としては、マルチパラダイムプログラミング言語、強い型付け、命令型、宣言型、手続き型、関数型、ジェネリック、オブジェクト指向の要素を持つ、などといった点が強調されている。 CLIといった周辺も含め、Microsoftのフレームワーク「.NET Framework」の一部である他、VJ++で「非互換なJava」をJavaに持ち込もうとしたような以前のMicrosoftとは異なり、その多くの仕様を積極的に公開し標準化機構に託して自由な利用を許す（ECMA-334、ISO/IEC 23270:2003、JIS X 3015）など、同社の姿勢の変化があらわれている一面でもある（実際に「Mono」という、フリーソフトウェアの定義に合致したライセンスの、コミュニティによる実装がある）。.
新しい！!: プログラミング言語とC Sharp · 続きを見る »
C++
C++（シープラスプラス）は、汎用プログラミング言語の一つである。日本語では略してシープラプラ、シープラなどとも呼ばれる。.
新しい！!: プログラミング言語とC++ · 続きを見る »
C言語
C言語（シーげんご）は、1972年にAT&Tベル研究所のデニス・リッチーが主体となって開発したプログラミング言語である。英語圏では単に C と呼んでおり、日本でも文書や文脈によっては同様に C と呼ぶことがある。.
新しい！!: プログラミング言語とC言語 · 続きを見る »
COBOL
COBOL（コボル）は、1959年に事務処理用に開発されたプログラミング言語である。名前は「Common Business Oriented Language」（共通事務処理用言語）に由来する。.
新しい！!: プログラミング言語とCOBOL · 続きを見る »
Colorless green ideas sleep furiously
"Colorless green ideas sleep furiously"（直訳: 無色の緑色の考えが猛烈に眠る）とは、ノーム・チョムスキーによる文である。1957年に『文法の構造』の中で、言語学から、文法的（統語論的）には正しいにもかかわらず、意味論的にはnonsenseである（:en:nonsense、意味をなさない）文の例として考案された。初出は1955年の論文『言語理論の論理構造』(Logical Structures of Linguistic Theory)である。この文は文法的には正しいが、理解しうる明瞭な意味を導き出すことができない。従ってこの文は統語論と意味論との境界を明示している。カテゴリー錯誤の一例として、当時有力だった文法の確率モデルの不備を指摘し、より体系的なモデルの必要性を示すために使われた。.
新しい！!: プログラミング言語とColorless green ideas sleep furiously · 続きを見る »
短絡評価
短絡評価（たんらくひょうか、short-circuit evaluation）または最小評価（さいしょうひょうか、minimal evaluation）とは、多くのコンピュータプログラミング言語の論理演算子における左辺（第一引数）と右辺（第二引数）の式の評価法の評価法を（意味、意味論を）表す語である。.
新しい！!: プログラミング言語と短絡評価 · 続きを見る »
第五世代コンピュータ
五世代コンピュータ（だいごせだい-）とは、通商産業省（現経済産業省）が1982年に立ち上げた国家プロジェクトの開発目標である。570億円を費やし、1992年に終結した。.
新しい！!: プログラミング言語と第五世代コンピュータ · 続きを見る »
米国国家規格協会
米国国家規格協会（べいこくこっかきかくきょうかい、）は、アメリカ合衆国の国内における工業分野の標準化組織であり、公の合意形成のためにさまざまな規格開発を担っている。 略称は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になるなどの例がある。.
新しい！!: プログラミング言語と米国国家規格協会 · 続きを見る »
織機
伝統的な織機を使うコンヤ（トルコ）の女性。垂直織機はおそらく最初に発明されたものである。 腰機を使って布を織るバングラデシュの女性 織機（しょっき、おりき、英語：loom）とは、糸を織物へと織りあげる機械のことブリタニカ百科事典『織機』。「はた」（機）とも。.
新しい！!: プログラミング言語と織機 · 続きを見る »
統語論
統語論（とうごろん、syntax）とは、ヒト・人間の言語において文が構成される仕組み、またはそれを扱う言語学の一分野である。統辞論（とうじろん）、構文論（こうぶんろん）ともいう。 統語論は文法［音韻論（音の仕組み）、形態論（語が構成される仕組み）などを含む、言語の構造を成り立たせている諸原理］ の一部である。ただし、特に統語論のことを指して「文法」ということもある。.
新しい！!: プログラミング言語と統語論 · 続きを見る »
病的な (数学)
数学における病的な（びょうてきな、; 病理学的な）事象とは、その性質が変則的に悪質であったり、直感に反すると見なされるようなもののことを言う。対義語には (well-behaved) というものがある。.
新しい！!: プログラミング言語と病的な (数学) · 続きを見る »
階差機関
階差機関（かいさきかん、difference engine）または差分機関（さぶんきかん）は、歴史上の機械式用途固定計算機で、多項式の数表を作成するよう設計された。対数も三角関数も多項式で近似できるため、そのようなマシンはかなりの汎用性があった。 完全動作する階差機関。カリフォルニア州コンピュータ歴史博物.
新しい！!: プログラミング言語と階差機関 · 続きを見る »
遅延評価
遅延評価（ちえんひょうか、lazy evaluation）や必要呼び（ひつようよび、call-by-need）は評価戦略の一種類であり、非正格な関数型言語で使用もされる。対義語は先行評価（eager evaluation）。.
新しい！!: プログラミング言語と遅延評価 · 続きを見る »
静的型付け
静的型付け（せいてきかたづけ、static typing）とは、プログラミング言語で書かれたプログラムにおいて、変数や、サブルーチンの引数や返り値などの値について、その型が、コンパイル時など、そのプログラムの実行よりも前にあらかじめ決められている、という型システムの性質のことである。 また、そのような性質の言語を、静的型付き言語（せいてきかたつきげんご、statically typed language）という。これに対し、型は実行時の実際の値による、というのが動的型付けである。型推論を利用していて、構文上は型の記述が省略可能な言語もあるが、そういった言語も静的型付けである（MLなど）。 一口に静的型と言ってもその実体は言語により様々である。手続き型のオブジェクト指向言語の多くでは、静的に型が付いていても、キャストなどによりインスタンスの妥当性は保証されない。より制限の強い言語であっても、ミュータブルな値により不正参照などのリスクが残されている。また静的型でもリフレクションを多用する設計を行なうと、実質的に動的型とほとんど変わらないスタイルになることから、静的と動的の境目は必ずしも明確でない場合があるといえる。 一般的な傾向として、大規模プログラミングやシステム記述用の言語は静的な型付けを行なうものが多い。.
新しい！!: プログラミング言語と静的型付け · 続きを見る »
解析機関
バベッジ自身が組み立てた解析機関の一部の試作品http://www.sciencemuseum.org.uk/objects/computing_and_data_processing/1878-3.aspx ''Babbage's Analytical Engine, 1834-1871. (Trial model)'' -Science Museum, London。サイエンス・ミュージアム（ロンドン） 解析機関（かいせききかん、analytical engine）は、イギリス人数学者チャールズ・バベッジが設計した、蒸気機関で動くはずだった機械式汎用コンピュータであり、コンピュータの歴史上、重要なステップを刻んだ。 バベッジが解析機関についてはじめて記述したのは1837年であるが、1871年の死去直前まで設計を続けた。資金や政治、法律などの問題があり、この機械は実際には製作されなかった。論理的に解析機関に匹敵する機能を持つ汎用コンピュータは、1940年代にやっと現実のものとなったのである。 この機械はしばしば、当時の工作精度のため製作できなかった、とされる。これはバベッジが機関のための精度が足りないとしていたためもある。しかし、息子のヘンリー・バベッジや現代のサイエンス・ミュージアムによる部分的構築によって、必要なだけの工作精度はあったことが確認されている（特に、現代の再現では、当時の工作機械についての考証のうえで行われている） 。そのため、資金と政府の支援があれば、工作機械の精度に関しては、当時でも製作できたのではないかとされる。ただし、必要な精度がどれだけであるか、といった工学的な考え方は当時まだ無かったことも考慮する必要がある。.
新しい！!: プログラミング言語と解析機関 · 続きを見る »
計算理論
計算理論（けいさんりろん、theory of computation）は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算 (computation) とは、数学的に表現できる、あらゆる種類の情報処理のこと。 計算を厳密に研究するため、計算機科学では計算模型と呼ばれるコンピュータの数学的抽象化を行う。その手法はいくつかあるが、最も有名なものはチューリングマシンである。チューリングマシンは、言ってみれば無限のメモリを持つコンピュータであるが、一度にアクセスできるメモリ範囲は非常に限られている。チューリングマシンは十分な計算能力を持つモデルでありながら、単純で定式化しやすく、様々な証明に使い易いため、計算機科学者がよく利用する。無限のメモリというのは非現実的な特徴と思われるかもしれないが、より適切な表現を使うならば「無制限」のメモリであって、読み書きしようとした時にそれができればよく、それに対応する「無限な実体」とでも言うべきものが必要なわけではない。「チューリングマシンで、ある問題が解ける」とは必ず有限のステップで計算が終了することを意味し、よってそれに必要なメモリの量は有限である。よって、チューリングマシンで解くことが出来る問題は、現実のコンピュータであっても必要なだけのメモリがあれば解くことが出来る。.
新しい！!: プログラミング言語と計算理論 · 続きを見る »
言語
この記事では言語（げんご）、特に自然言語について述べる。.
新しい！!: プログラミング言語と言語 · 続きを見る »
言語学
言語学（げんごがく）は、ヒトが使用する言語の構造や意味を科学的に研究する学問である。.
新しい！!: プログラミング言語と言語学 · 続きを見る »
評価戦略
評価戦略（ひょうかせんりゃく、evaluation strategy）とは、プログラミング言語や、ラムダ計算のような式から成る計算模型において、如何なる手順で、評価すなわち式から値を得るか、という（通常決定的な）規則群である。.
新しい！!: プログラミング言語と評価戦略 · 続きを見る »
高水準言語
水準言語（high-level programming language: こうすいじゅんげんご、高級言語とも）とは、記述の抽象度が高いプログラミング言語のことである。対義語は機械語やアセンブリ言語を指す「低水準言語」である。「高級言語」の対は「低級言語」である。.
新しい！!: プログラミング言語と高水準言語 · 続きを見る »
論理プログラミング
論理プログラミング（Logic Programming）とは、広い意味では、コンピュータプログラミングでの数理論理学の使用である。この観点での論理プログラミングは、ジョン・マッカーシーのadvice takerの提案にまでさかのぼることができる。 より一般的に受け入られている狭い意味での論理プログラミングは、述語論理式を非決定的なプログラミング言語とみなすもので、述語論理式は宣言的であると同時に手続き的にも解釈される。 論理をベースにしたプログラミング言語として1971年に Planner のサブセットである Micro-Planner が開発された。表明とゴールからパターンによる手続き的計画を呼び出す機能を備えていたが、十分に形式化されていなかった。Plannerと独立してより論理を重視した Prolog が開発され、コワルスキーにより述語論理式(ホーン節)のプログラム的解釈の考え方と結び付き、論理プログラミングの基本的な考え方が確立した。 Planner からの派生で、プログラミング言語 Poplerが開発された。Prolog からの派生言語としては、Mercury、Visual Prolog、Oz、Fril などがある。バックトラッキングを使用しない並行論理プログラミング言語としてProlog からの派生したConcurrent Prolog、PARLOG、GHC、KL1などの各種言語（Shapiro に調査結果がある）がある。.
新しい！!: プログラミング言語と論理プログラミング · 続きを見る »
部分評価
部分評価（ぶぶんひょうか、partial evaluation）は、計算理論における特殊化（特化）による最適化の技法の1つ。.
新しい！!: プログラミング言語と部分評価 · 続きを見る »
関数型言語
関数型言語（かんすうがたげんご、functional language）は、以下に述べる関数型プログラミングを基本スタイルとして推奨する機能を持つプログラミング言語、関数型プログラミング言語の略称である。.
新しい！!: プログラミング言語と関数型言語 · 続きを見る »
自動ピアノ
演奏中の自動ピアノ 自動ピアノの仕組み 自動ピアノは、巻紙（ピアノロール）に記録された楽譜を読み取って空気の力でひとりでに演奏するピアノ。 1920年代半ばの、蓄音機と、ラジオ放送の一般家庭への普及によって、自動ピアノの人気が落ちてしまった。.
新しい！!: プログラミング言語と自動ピアノ · 続きを見る »
自然言語
自然言語（しぜんげんご、natural language）とは、人間によって日常の意思疎通のために用いられる、文化的背景を持って自然に発展してきた言語である。分類として、音声言語と文字言語、口頭言語と書記言語、口語と文語といったような分類があるが、いずれも似ているようだが着目点や対比軸が異なる分類であり、混同してはならない。また、以上のような分類がいずれも当たらない言語もあり、例えば日本手話（「日本語対応手話」とは異なる）がそうである。.
新しい！!: プログラミング言語と自然言語 · 続きを見る »
自然言語処理
自然言語処理（しぜんげんごしょり、natural language processing、略称：NLP）は、人間が日常的に使っている自然言語をコンピュータに処理させる一連の技術であり、人工知能と言語学の一分野である。「計算言語学」（）との類似もあるが、自然言語処理は工学的な視点からの言語処理をさすのに対して、計算言語学は言語学的視点を重視する手法をさす事が多い。データベース内の情報を自然言語に変換したり、自然言語の文章をより形式的な（コンピュータが理解しやすい）表現に変換するといった処理が含まれる。応用例としては予測変換、IMEなどの文字変換が挙げられる。 自然言語の理解をコンピュータにさせることは、自然言語理解とされている。自然言語理解と、自然言語処理の差は、意味を扱うか、扱わないかという説もあったが、最近は数理的な言語解析手法（統計や確率など）が広められた為、パーサ（統語解析器）などが一段と精度や速度が上がり、その意味合いは違ってきている。もともと自然言語の意味論的側面を全く無視して達成できることは非常に限られている。このため、自然言語処理には形態素解析と構文解析、文脈解析、意味解析などをなど表層的な観点から解析をする学問であるが、自然言語理解は、意味をどのように理解するかという個々人の理解と推論部分が主な研究の課題になってきており、両者の境界は意思や意図が含まれるかどうかになってきている。.
新しい！!: プログラミング言語と自然言語処理 · 続きを見る »
英語
アメリカ英語とイギリス英語は特徴がある 英語（えいご、）は、イ・ヨーロッパ語族のゲルマン語派に属し、イギリス・イングランド地方を発祥とする言語である。.
新しい！!: プログラミング言語と英語 · 続きを見る »
難解プログラミング言語
難解プログラミング言語 (なんかいプログラミングげんご)とは、意図的に読解が困難なように設計されたプログラミング言語である。英語では、Esoteric programming language （略してesolangとも）と言われる。 基本的には、実用性を目指したものではなく、冗談プログラミング言語の一種で、いわゆるハッカーの間では、この種のジョークはたしなみとみなされており、難解プログラミング言語に区分されるプログラミング言語はいくつも作られてきた。.
新しい！!: プログラミング言語と難解プログラミング言語 · 続きを見る »
Forth
Forth（フォース）は、スタック指向のプログラミング言語およびそのプログラミング環境である。Forth はしばしば、かつての習慣に従ってすべて大文字で綴られることもあるが、頭字語ではない。.
新しい！!: プログラミング言語とForth · 続きを見る »
FORTRAN
FORTRAN（フォートラン）は、1954年にIBMのジョン・バッカスによって考案された、コンピューターにおいて広く使われた世界最初の高級言語である。.
新しい！!: プログラミング言語とFORTRAN · 続きを見る »
Haskell
Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。.
新しい！!: プログラミング言語とHaskell · 続きを見る »
Hello world
Hello world（ハロー・ワールド）は、画面に「Hello, World!」に類する文字列を表示するプログラムの通称である。多くのプログラミング言語において非常に単純なプログラムであり、プログラミング言語の入門書で、プログラムを動かすためのプログラミング言語の基本文法の解説例として提示される。.
新しい！!: プログラミング言語とHello world · 続きを見る »
HyperText Markup Language
HyperText Markup Language（ハイパーテキスト マークアップ ランゲージ、HTML（エイチティーエムエル））は、ハイパーテキストを記述するためのマークアップ言語の1つである。World Wide Web (WWW)において、ウェブページ（1990年代後半頃からはコンテンツという語も利用されている。「中身」という意味の語であり、大層な意味は無い）を表現するために用いられる。ハイパーリンクや画像等のマルチメディアを埋め込むハイパーテキストとしての機能、見出しや段落といったドキュメントの抽象構造、フォントや文字色の指定などの見た目の指定、などといった機能がある。 2012年7月以降、WHATWG により仕様が作られ、それを元に W3C により勧告が行われるという流れになっている。W3C は、XML ベースの規格である XHTML の勧告も行っている。.
新しい！!: プログラミング言語とHyperText Markup Language · 続きを見る »
IBM 701
IBM 701は、1952年に発表されたIBMの初の商用コンピュータ。主に科学技術計算用につくられたプログラム内蔵方式の大型コンピュータ。IBMは現在、IBM 701を最初のメインフレームと呼んでいる。.
新しい！!: プログラミング言語とIBM 701 · 続きを見る »
Java
Java（ジャバ）は、狭義ではプログラミング言語Javaを指す。広義では言語仕様以外にも、仕様が与えられているJavaクラスライブラリやJava仮想マシン、さらにはJDKやJREなどの公式のものをはじめとする、場合によってはサードパーティのものなどを含め曖昧にJavaプラットフォームと総称されるようなものなどのエコシステムなどを指すこともある。構文についてはJavaの文法の記事を参照。.
新しい！!: プログラミング言語とJava · 続きを見る »
JavaScript
JavaScript（ジャバスクリプト）とは、プログラミング言語のひとつである。Javaと名前が似ているが、全く異なるプログラミング言語である（後述の#歴史を参照）。 JavaScriptはプロトタイプベースのオブジェクト指向スクリプト言語であるが、クラスなどのクラスベースに見られる機能も取り込んでいる。 ウェブブラウザ上で動作し動的なウェブサイト構築やリッチインターネットアプリケーションの開発に用いられる。また、2010年以降はnode.jsなどのサーバサイドJavaScript実行環境や各種ライブラリの充実により、MEANに代表されるように、Web開発の全ての領域で活用されるようになってきている。.
新しい！!: プログラミング言語とJavaScript · 続きを見る »
LISP
LISPは、プログラミング言語である。 によって記述される。-->前置記法などが特徴である。 1958年にはじめて設計されたLISPは、現在広範囲に使用されている高水準プログラミング言語の中でもFORTRANに次いで2番目に古い。ただし、FORTRANと同様に、現在のLISPは初期のものから非常に大きく変化している。 これまでに多数の方言が存在してきたが、今日最も広く知られるLISP方言は、Common LispとSchemeである。 元々、LISPは、アロンゾ・チャーチのラムダ計算表記法に影響を受け、コンピュータープログラムのための実用的かつ数学的な表記法として作られた。そして、すぐに人工知能研究に好まれるプログラミング言語になった。最初期のプログラミング言語として、LISPは計算機科学にて、木構造、ガベージコレクション、動的型付け、条件分岐、高階関数、再帰、セルフホスティング、コンパイラを含む多くのアイディアを切り開いた。 LISPの名前は、「list processor」に由来している。リストはLISPの主要なデータ構造であり、LISPソースコードはそれ自体がリストからできている。その結果、LISPプログラムはソースコードをデータとして操作することができ、プログラマーは、マクロ・システムで新しい構文やLISP埋め込みの新しいDSLを作成できる。 コードとデータの互換性は、LISPにそのすぐに認識できる構文を与える。すべてのプログラム・コードはS式または入れ子のリストとして書かれる。関数呼び出しまたは構文は先頭が関数または演算子の名前で、その続きが引数であるリストとして書かれる。具体的には、3つの引数を取る関数fは、(f arg1 arg2 arg3)として呼び出される。.
新しい！!: プログラミング言語とLISP · 続きを見る »
LOC
LOCは、lines of codeの略で、ソフトウェアの規模を表す指標のひとつ。ソースコードの行数を意味する。何の行数かを明確に示すため、SLOC (source lines of code) ということもある。 テキストファイルとしての行数を物理LOC (physical LOC) というが、これをそのまま使うことは少ない。空行（改行など空白だけの行）やコメント行（コメントと空白だけの行）は除く、2つの命令が書かれた行は2行と数える、括弧だけの行を除くなどの換算をした行数を論理LOC (logical LOC) といい、通常はこちらを使う。ただし、細かい規則にはさまざまな流儀がある。いずれにしろ手作業で数えるのは論外で、物理行数であればwc -lなど汎用の行数を数えるツールで、論理行数であれば汎用のテキスト処理ツールを利用するなど、機械化するのが当然の作業である（関連記事: wikt:紺屋の白袴）。.
新しい！!: プログラミング言語とLOC · 続きを見る »
ML (プログラミング言語)
ML（えむえる、Meta-Language）は、関数型言語のひとつである。現代風の関数型言語としては歴史が古いほうで、型推論機能などを持つが、デフォルトの評価戦略は遅延評価ではなく先行評価で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。.
新しい！!: プログラミング言語とML (プログラミング言語) · 続きを見る »
Modula-2
Modula-2（モジュラ・ツー）は、コンピュータのプログラミング言語の一種で、1978年頃にチューリッヒ工科大学のニクラウス・ヴィルトにより、先立って構想されたプログラミング言語「Modula」の後継として創案されたものである。汎用手続き型言語で、構文の多くは同様にヴィルトの手掛けたPascal言語に基いたものとなっている。名前「Modula-2」は「モジュールの」を意味する英語「modular」に由来する。.
新しい！!: プログラミング言語とModula-2 · 続きを見る »
Perl
Perl（パール）とは、ラリー・ウォールによって開発されたプログラミング言語である。実用性と多様性を重視しており、C言語やsed、awk、シェルスクリプトなど他のプログラミング言語の優れた機能を取り入れている。ウェブ・アプリケーション、システム管理、テキスト処理などのプログラムを書くのに広く用いられている。 言語処理系としてのperlはフリーソフトウェアである。Artistic LicenseおよびGPLのもとで配布されており、誰でもどちらかのライセンスを選択して利用することができる。UNIXやWindowsなど多くのプラットフォーム上で動作する。.
新しい！!: プログラミング言語とPerl · 続きを見る »
PL/I
PL/I（ピーエルワン）は、汎用プログラミング言語の一つ。名前は英語の「programming language one」に由来する。 PL/Iは科学技術用、工業用、商業用などにデザインされた命令型プログラミング言語である。1964年に生まれ、教育機関、商用、工業で使用されてきた。2015年現在も使われている。 PL/Iの主要な用途はデータ処理で、再帰および構造化プログラミングに対応する。言語の構文は英語に似ており、検証や操作が可能な幅広い機能のセットを持ち、複合的なデータ型を記述することに適している。.
新しい！!: プログラミング言語とPL/I · 続きを見る »
PostScript
PostScript（ポストスクリプト）は、アドビシステムズが開発している、1984年に発表したページ記述言語。 スタック指向型のプログラミング言語で、様々な計算・処理と共に描画命令を実行することができる。事前にデータをスタックに格納し、後の命令がデータを処理するというモデルで実行される。そのために記述法が逆ポーランド記法で一貫しており、名前は「追伸」の英語「post script」に後置記法といった意味を掛けている。.
新しい！!: プログラミング言語とPostScript · 続きを見る »
Prolog
Prolog（プロログ）は、非手続き型プログラミング言語の一つ。論理型言語に分類される。名称は、「論理を使ったプログラミング」を意味するフランス語「programmation en logique」に由来しているRobert Kowalski.
新しい！!: プログラミング言語とProlog · 続きを見る »
Python
Python（パイソン）は、汎用のプログラミング言語である。コードがシンプルで扱いやすく設計されており、C言語などに比べて、さまざまなプログラムを分かりやすく、少ないコード行数で書けるといった特徴がある。.
新しい！!: プログラミング言語とPython · 続きを見る »
REXX
REXX、Rexx (レックス) はIBM社が開発した汎用プログラミング言語である。ANSI の規格もある（X3.274-1996）。.
新しい！!: プログラミング言語とREXX · 続きを見る »
Ruby
Ruby（ルビー）は、まつもとゆきひろ（通称 Matz）により開発されたオブジェクト指向スクリプト言語であり、スクリプト言語が用いられてきた領域でのオブジェクト指向プログラミングを実現する。 また日本で開発されたプログラミング言語としては初めて国際電気標準会議で国際規格に認証された事例となった。.
新しい！!: プログラミング言語とRuby · 続きを見る »
Scheme
Scheme（スキーム）はコンピュータ・プログラミング言語 Lispの方言のひとつで、静的スコープなどが特徴である。仕様（2017年現在、改7版まで存在する）を指すこともあれば、実装を指すこともある。Schemeにより、Lisp方言に静的スコープが広められた。.
新しい！!: プログラミング言語とScheme · 続きを見る »
Simula
SIMULA（シミュラ; SIMUlation LAnguage）は、オルヨハン・ダールとクリステン・ニガードによってALGOL60を拡張する形で1960年代に開発が始められたシミュレーション用途のプログラミング言語である。 ALGOLのbegin...
新しい！!: プログラミング言語とSimula · 続きを見る »
Smalltalk
Smalltalk（スモールトーク）は、Simula のオブジェクト（およびクラス）、LISPの徹底した動的性、LOGO のタートル操作や描画機能に、アラン・ケイの「メッセージング」というアイデアを組み合わせて作られたクラスベースの純粋オブジェクト指向プログラミング言語、および、それによって記述構築された統合化プログラミング環境の呼称。 Smalltalk で一語であり、「Small Talk」「SmallTalk」などは誤りである。 大規模な開発実績としてはCargill Lynx Projectがあり、国産製品の開発実績としてはMCFrameがある。.
新しい！!: プログラミング言語とSmalltalk · 続きを見る »
SQL
SQL（エスキューエルよりデジタル大辞泉、IT用語がわかる辞典を参照、シークェル、シーケルよりDBM用語辞典を参照）は、関係データベース管理システム (RDBMS) において、データの操作や定義を行うためのデータベース言語（問い合わせ言語）、ドメイン固有言語である。エドガー・F・コッドによって考案された関係データベースの関係モデルにおける演算体系である、関係代数と関係論理（関係計算）にある程度基づいている。 データベース言語の国際標準としてのSQLは何かの略語ではない。 SQLは、シークェル と読まれることもある。これは、SQLの元となったデータベース言語が、IBMが開発したRDBMSの実験実装であるSystem Rの操作言語「SEQUEL (Structured English Query Language)」であったことが由来である。 SQLに対しては、関係代数と関係論理に忠実に準拠していないとして批判する意見がある（The Third Manifesto - クリス・デイト、ヒュー・ダーウェン）。.
新しい！!: プログラミング言語とSQL · 続きを見る »
Standard Generalized Markup Language
Standard Generalized Markup Language（スタンダード ジェネラライズド マークアップ ランゲージ、略：SGML）は、マニュアルなどの文書のためのマークアップ言語である。SGMLとXMLの対応（比較）については、ジェームズ・クラークによる「Comparison of SGML and XML」というタイトルの、1997年12月15日に議論のためにまとめられた（何らかの公式のものではない）ノートがあり、それによればSGML (ISO 8879) とXMLの関係はスーパーセットともサブセットとも結論付けられてはいない。XML 1.0のAppendix CではNon-Normative（参考）として、XMLはSGMLのサブセットとなるべく設計され（designed to be）、全てのXML文書は同時にSGMLにもconforming（準拠）でもあるべき（should）と書かれており、前述のノートを参照せよとされている。国際標準は ISO 8879:1986 であり、対応するJISとして JIS X 4151:1992 が存在する。.
新しい！!: プログラミング言語とStandard Generalized Markup Language · 続きを見る »
Standard ML
Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。The Definition of Standard ML で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている。.
新しい！!: プログラミング言語とStandard ML · 続きを見る »
UNIVAC I
UNIVAC I のデモの様子 UNIVAC Iは、世界初の商用コンピュータ。1950年に完成し、1951年にレミントンランド社（現Unisys）が発売。Universal Automatic Computer（万能自動計算機）の略。初の事務処理用途のコンピュータでもある。 ENIACと比較して真空管の本数は3分の1以下の5200本。メモリには100本の水銀遅延管を使用し、10000本のダイオードを搭載していた。重量7.2トン。入出力装置には、初めて磁気テープが搭載された。プログラム内蔵方式で、1秒間に10万回の加算が可能だった。 ENIACを開発したモークリー(John William Mauchly)とエッカート(John Presper Eckert)が設立したエッカート・モークリ社で開発が開始された。しかし、資金不足に陥り、IBMからは資金援助を断られるが、1950年にレミントンランド社が買収し、発売にこぎつける。1号機は国勢調査局に納入された。 価格は、1台目が159,000ドル、2, 3台目が250,000ドル。最終的には、47台販売された。当時、コンピュータといえばUNIVACと言われるほど普及した。 1952年のアメリカ大統領選挙で、選挙結果の予想を行ったコンピュータとしても知られる。大方の予想に反してアイゼンハワーの勝利を予想し、的中させたことで驚きを与えた。 現在、スミソニアン博物館に第一号機が展示されている。また，ミュンヘンのドイッチェ博物館にも，本体が展示されている。 この機械は更にUNIVAC IIとして進化した。UNIVAC IIでは，主メモリ（2000語）・磁気テープ外部記憶装置との速度緩衝メモリ（60語）が磁気コアメモリとなり，磁気テープの記録密度は，250ppi（pulse per inch）と2倍密度であった。内部レジスタは超音波を結晶中で反射させその遅延時間を利用していた。1語長は，7ビット語12桁で，通常の機械命令語はその半分の6文字で構成していた。日本国にもその第29号機が（株）東京電力に輸入され，昭和36年～昭和43年まで，主に従量電灯計算など大量データ処理に使用された。 UNIVAC1 Category:UNIVACのメインフレーム.
新しい！!: プログラミング言語とUNIVAC I · 続きを見る »
抽象化 (計算機科学)
抽象化（ちゅうしょうか、Abstraction）は、計算機科学において詳細を捨象し、一度に注目すべき概念を減らすことおよびその仕組みである。 この概念は数学における「抽象化」からのアナロジーである。数学での抽象化技法の起源は数学的定義である。例えば、コンピュータでも数学でも、数はプログラミング言語上の概念であり、数学上の概念でもある。数の計算概念は数学の概念に基づいているため、実装の詳細はハードウェアとソフトウェアに依存したとしても、それが制約とはならない。 大まかに言えば、抽象化は制御抽象化とデータ抽象化に分けられる。制御抽象化は動作の抽象化であり、データ抽象化はデータ構造の抽象化である。例えば、構造化プログラミングでの制御抽象化とは、サブプログラムや定式化された制御フローの使用を意味する。データ抽象化とは、本来ビット列であるデータを意味のある方法で扱うことを意味する。例えば、データ型の背景にある動機は抽象化である。オブジェクト指向プログラミングはデータとコードを同時に抽象化する試みと見ることもできる。.
新しい！!: プログラミング言語と抽象化 (計算機科学) · 続きを見る »
構造化プログラミング
構造化プログラミング（こうぞうかプログラミング、structured programming）は、1960年代後半にエドガー・ダイクストラらによって提唱された、構造化されたプログラムの構成要素（制御構造）の利用や、 p.49)-->段階的詳細化などを特徴とするプログラミング手法である。.
新しい！!: プログラミング言語と構造化プログラミング · 続きを見る »
構文解析
構文解析（こうぶんかいせき、syntactic analysis あるいは parse）とは、文章、具体的にはマークアップなどの注記の入っていないベタの文字列を、自然言語であれば形態素に切分け、さらにその間の関連（修飾-被修飾など）といったような、統語論的（構文論的）な関係を図式化するなどして明確にする（解析する）手続きである。自然言語については自然言語処理における要点のひとつであり、プログラミング言語など形式言語の場合は、形式文法に従い構文木を得る。構文解析を行う機構を構文解析器（parser）と呼ぶ。.
新しい！!: プログラミング言語と構文解析 · 続きを見る »
機械語
機械語（きかいご）またはマシン語（Machine code、machine language）とは、コンピュータのプロセッサが直接解釈実行可能な一連の命令群のデータそのもの（を、コンピュータ・プログラミング言語とみなしたもの）である。.
新しい！!: プログラミング言語と機械語 · 続きを見る »
正規表現
正規表現（せいきひょうげん、regular expression）とは、文字列の集合を一つの文字列で表現する方法の一つである。正則表現（せいそくひょうげん）とも呼ばれ、形式言語理論の分野では比較的こちらの訳語の方が使われる。まれに正規式と呼ばれることもある。 もともと正規表現は形式言語理論において正規言語を表すための手段として導入された。形式言語理論では、形式言語が正規言語であることと正規表現によって表せることは同値である。 その後正規表現はテキストエディタ、ワードプロセッサなどのアプリケーションで（ないし、そもそもそれ以前に単機能の文字列探索ツールの）、マッチさせるべき対象を表すために使用されるようになり、表せるパターンの種類を増やすために本来の正規表現にはないさまざまな記法が新たに付け加えられた。このような拡張された正規表現には正規言語ではない文字列も表せるものも多く、ゆえに正規表現という名前は実態に即していない面もあるが、伝統的に正規表現と呼ばれ続けている。 この記事では主にこのような正規表現を用いたパターンマッチングについて説明している。以下、誤解のない限り、アプリケーションやプログラミングにおいて正規表現を用いた文字列のパターンマッチングを行う機能のことを、単に正規表現という。 ほとんどのプログラミング言語では、ライブラリによって正規表現を使うことができる他、一部の言語では正規表現のリテラルもある。「正規表現によるマッチ」を意味する（専用の）演算子がある言語なども一部ある。具体例として、grep、AWK、sed、Perl、Tcl、lexなどがある。 それぞれの言語やアプリケーションで細部の仕様が異なっている、といったように思われることも多いが（また、古い実装では実際にそういうことも多いが）、近年は同じライブラリを使っていれば同じということも多い。またPOSIXなど標準もある。.
新しい！!: プログラミング言語と正規表現 · 続きを見る »
文字列
文字列（もじれつ）は、単語や文章のような、文字の連なったもの。ストリング (string)、テキスト (text) という場合もある。コンピュータ、特にプログラミングの分野で用いることが多い。.
新しい！!: プログラミング言語と文字列 · 続きを見る »
文脈自由文法
文脈自由文法（ぶんみゃくじゆうぶんぽう、Context-free Grammar、CFG）は、形式言語の理論（特に、生成文法）において全生成規則が以下のようである形式文法である。 ここで V は非終端記号であり、w は終端記号と非終端記号の（0個を含む）任意個の並びである。「文脈自由」という用語は前後関係に依存せずに非終端記号 V を w に置換できる、という所から来ている（「文脈無用」という訳の提案もある）。文脈自由文法によって生成される形式言語を文脈自由言語という。.
新しい！!: プログラミング言語と文脈自由文法 · 続きを見る »
文法
文法（ぶんぽう、grammar）とは、言語の体系、およびそのモデル、およびそれをもとにした、ある個別言語の話し手が従うべき規範である。この記事ではもっぱら自然言語の文法について扱う。形式言語の文法については形式文法の記事を参照のこと。なお、「文法論（grammar）」という語が指すものと「統語論（syntax、分野等によっては構文論とも）」という語が指すものが同一のものであるとして扱われている場合もあるが、ここでは別とする。.
新しい！!: プログラミング言語と文法 · 続きを見る »
日本語
日本語（にほんご、にっぽんご「にっぽんご」を見出し語に立てている国語辞典は日本国語大辞典など少数にとどまる。）は、主に日本国内や日本人同士の間で使用されている言語である。 日本は法令によって公用語を規定していないが、法令その他の公用文は全て日本語で記述され、各種法令において日本語を用いることが規定され、学校教育においては「国語」として学習を課されるなど、事実上、唯一の公用語となっている。 使用人口について正確な統計はないが、日本国内の人口、および日本国外に住む日本人や日系人、日本がかつて統治した地域の一部住民など、約1億3千万人以上と考えられている。統計によって前後する場合もあるが、この数は世界の母語話者数で上位10位以内に入る人数である。 日本で生まれ育ったほとんどの人は、日本語を母語とする多くの場合、外国籍であっても日本で生まれ育てば日本語が一番話しやすい。しかし日本語以外を母語として育つ場合もあり、また琉球語を日本語と別の言語とする立場を採る考え方などもあるため、一概に「全て」と言い切れるわけではない。。日本語の文法体系や音韻体系を反映する手話として日本語対応手話がある。 2017年4月現在、インターネット上の言語使用者数は、英語、中国語、スペイン語、アラビア語、ポルトガル語、マレー語に次いで7番目に多い。.
新しい！!: プログラミング言語と日本語 · 続きを見る »
意味論
意味論（いみろん、英: semantics）とは、言語学では統語論に対置される分野、数学（とくに数理論理学）では証明論に対置される分野で、それらが中身（意味）に関与せず記号の操作によって対象を扱うのに対し、その意味について扱う分野である。なお、一般意味論というものもあるが、言語の使用に関する倫理を扱うものであり、ありていに言って無関係である。.
新しい！!: プログラミング言語と意味論 · 続きを見る »
手続き型プログラミング
手続き型プログラミング（てつづきがたプログラミング、Procedural programming）は、「手続き呼び出し」の概念に基づくプログラミングパラダイムの一種。命令型プログラミングと同義に扱われることが多い。「手続き」はプロシージャ、ルーチン、サブルーチン、メソッド、関数（数学の関数とは異なる。）など様々な呼称があるが、実行すべき一連の計算ステップを持つものと定義できる。手続きはプログラム実行中の任意の時点で呼び出すことができ、他の手続きからの呼び出しも、自分自身からの呼び出し（再帰呼び出し）も含まれる。 手続き型プログラミングは単純な逐次型プログラミングや非構造化プログラミングよりも多くの場合よりよい選択である。非構造化プログラミングでは複雑なコードを組むことは困難であり、保守性が悪い。手続き型プログラミングには、以下のような利点がある.
新しい！!: プログラミング言語と手続き型プログラミング · 続きを見る »
4GL
4GL とは、第四世代言語 (4th generation language)の略である。FORTRANやCOBOLのような手続き型言語より、より高機能なプログラム言語を一般的に指す。主にアプリケーションプログラムを開発する際に用いられる。 4GL言語は単体で存在することよりも、特定のアプリケーション開発システム(たとえばデータベースシステム)と組になって提供されることが多い。たとえば、OracleのPL/SQLなどである。 第四世代言語はプログラマーだけではなく、エンドユーザーでも簡単なパラメーターを対話形式で指定するだけで、表計算のような業務処理を行ったり、あるいはプログラムを作成したり出来るようになっているのが特徴である。 第四世代というのは、機械語を第一世代、アセンブリ言語を第二世代、手続き型言語一般を第三世代と解釈するからである。 4GLの定量的定義は、Capers Jones がファンクションポイント法の研究の一環として行った。それによると、プログラミング言語の世代は開発者の生産性で決まり、人月当たりのファンクションポイント数(FP)で表される。4GLは、12 FP/人月から 20 FP/人月となる言語である。これをソースコードの行数に換算すると、ファンクションポイント当たり16行から27行でコーディングできるのが4GLだということになる。 4GLはドメイン固有言語(DSL)とよく比較される。研究者によっては、4GLはDSLのサブセットだとする者もいる。アセンブリ言語が最新の開発環境（MS Studio）にもあることから、今後も各世代の言語が混在して利用されると予想する者もいる。 Forthは、4番目の言語という意味が名前の由来である。しかし4GLではない。.
新しい！!: プログラミング言語と4GL · 続きを見る »
