プログラミング言語

プログラミング言語（プログラミングげんご）とは、コンピュータに対する一連の動作の指示を記述するための人工言語の総称である<ref>ISO 5127—Information and documentation—Vocabulary, clause 01.05.10 では、プログラミング言語を「プログラムを記述するための人工言語」と定義している。</ref>。この一連の指示をプログラムと呼び、それを記述することをプログラミングと呼ぶ。自然言語と同様、統語論（構文）規則と意味論規則で定義される。通常、それらを示した文書で仕様が示されるが、公式の実装だけで定義される言語もある。
プログラミング言語は、情報を組織し処理するタスクについての理解を容易にし、アルゴリズムを正確に表現する。場合によっては、あらゆるアルゴリズムを記述できる言語だけを「プログラミング言語」と定義することもある<ref>数学的には、これはプログラミング言語がチューリング完全であることを意味する。 </ref>。そこまでの機能のない人工言語を「コンピュータ言語」と呼ぶこともある。また、プログラミングへの応用も想定して設計されたロジバンのように、人間言語とコンピュータ言語の中間に位置するものがある。
様々なプログラミング言語<ref>2008年2月現在、The Encyclopedia of Computer Languages （Murdoch University、オーストラリア）には8152のコンピュータ言語がリストアップされている。</ref>が、毎年のように生み出されている。