プログラミング言語 - 通信用語の基礎知識

プログラムを作成するときに使われる言語。

概要

用途や環境に応じて、さまざまなものが考案され、利用されている。

プログラミング言語を用いて書かれるものがプログラムであり、こうして作られるものがソフトウェアである。

プログラミング言語のうち、人間の言語に近いとされるものを「高級言語」、逆に機械語に近いとされるものを「低級言語」という。

高級か低級かは人間の価値観そのままではあるが、その境界は曖昧であり、明確な定義はない。

低級言語の代表は、機械語やアセンブリ言語である。

それ以外は概ね高級言語だが、Cのような言語は中間的な性質を持っており、高級言語ではあるが低級言語でもあるとして扱われることがある。

実用的なプログラミング言語はチューリングマシンと同じ能力を持っており、これをチューリングコンプリートという。

単純そうに見えても、能力を満たす言語としては、Brainfuck、Whitespace、Grassなどといったものがある。ただ、こういった言語はジョークの範疇であり、実用的ではない。

現在使われている主流のプログラミング言語は、このような単純な言語に、更に使いやすさを加えたものである、ともいえる。

プログラミング言語かどうかの判断基準として、チューリングコンプリートかどうかが使われることもある。

正規表現やSQL (DB)、HTML、などはチューリングコンプリートではないので、この基準では(この基準でなくてもだが)プログラミング言語ではない。

一般に高級言語と呼ばれる、よく使われているプログラミング言語は次の通り。

FORTRAN (John W. Backus、1954)
- BASIC (J.G.Kemeny と T.E.Kurtz. 1965)
  - Visual Basic (Microsoft)
- Python (Corp. for National Research Initiatives)
ALGOL (IFIP. 1958)
- Pascal (Niklaus Wirth、1971)
  - Modula-2
    - Modula-3
  - Delphi (Borland)
- Ada (1974)
  - Eiffel (1985)
  - PL/SQL (Oracle)
- BCPL (汎用アセンブリ言語)
  - B (AT&Tベル研究所のケン・トンプソン、1970)
    - C (AT&Tベル研究所のデニス・リッチー、1972)
      - Objective-C
      - C++ (AT&Tベル研究所のB. Stroustrup、1982)
      - Java (Sun Microsystems、1995)
      - C# (Microsoft、2000)
      - D (Digital Mars社のWalter Bright)
- PL/Ⅰ (IBM、1965)
- Simula-1
  - Simula-67
- Smalltalk (Xerox社Palo Alto Research Center)
- Ruby (まつもとゆきひろ(Matz))
Forth
- Mind (リギーコーポレーション、片桐明)
COBOL (CODASYL、1959)
PROLOG (仏マルセイユ大のAliain Colmerauer、1972)
Lisp (MIT AI Lab、1962)
- LOGO
- Scheme
  - Guile
APL
RPG (IBM、1961)
OCCAM
Tcl (John K. Ousterhout)
Perl
awk (Aho, Weinberger, Kernighan)

英語で「Esoteric programming language」と呼ばれるカテゴリーのプログラミング言語。

実用的ではないがチューリングコンプリートで、研究対象として価値のある言語である。様々なものがあるが、目に見えないプログラミング言語まで存在する。