プログラミング言語年表（プログラミングげんごねんぴょう）とは、コンピュータプログラミング言語に関する年表である。個々の言語の詳細については、個別の記事にゆずる。チャールズ・バベッジが計画した「機械式コンピュータ」と言える装置である解析機関についての文章をイタリアの数学者ルイジ・メナブレアが執筆し、1842年から1843年の9ヶ月間にエイダ・ラブレスがそれを翻訳した。この記事の中で彼女はこの機械でベルヌーイ数を計算する完全なプログラムを掲載した。これは世界初のコンピュータプログラムであると言われている。ただし、これは機械（コンピュータ）に対する命令そのもの（機械語）で記述されたプログラムであり、「プログラミング言語」としては広義のそれとなる。1801年にジャカード織機が発明された。パンチカードを利用するもので、布に織り込む模様に対応した縦糸(経)の上げ下げの対応がそのまま厚紙の穴になったもので、コンピュータプログラムと見るのは無理があるが「プログラマブルな装置」の一種である。オルゴールや自動オルガンなど他にもいろいろある。後に、列車の中で車掌が切符に穴を開け乗客についての情報を穴の位置で記録するのを見たハーマン・ホレリスは、このパンチカードを情報の記録に使うことを発想し、1890年の国勢調査にパンチカードを利用する機械（タビュレーティングマシン）を提供した。以上のような具体的な数値の計算ばかりではなく、数学の中でもより抽象的な分野で、記号の操作というもっと広い範囲で「計算」というものを形式的に表現する手法が1900年前後から研究されていた。これは数学基礎論や数理論理学と関係する。アロンゾ・チャーチはラムダ計算を提案した。チューリングマシンは有限オートマトンと無限の長さがあるテープ（理論で扱う上では）を使う。これらのような、計算を形式化したものを計算モデルと言う。理論的にはラムダ計算もチューリングマシンも他の多くの計算モデルも、何が「計算可能」であるかという点では同等の能力を持つことが証明されていて、これらの計算モデルで計算可能であるということを、「計算可能」ということの定義としよう、という定立がチャーチ＝チューリングのテーゼである。チューリングマシンには実際のコンピュータ、特に古典的ないわゆるノイマン型に似たところがあり、一方のラムダ計算は現代的な高水準プログラミング言語のHaskellにおいてその基礎のひとつになっている。ある意味でコンピュータ科学の端と端が、数学の基礎を通してつながっているという興味深い関連とも言える。電子式コンピュータは1940年代前後から作られ始めた。最初期のコンピュータはそれ自体で言語処理系を実行できるような能力などなく、機械語ないしごく単純なアセンブリ言語でプログラムを記述する以外になかった。また、機械語に変換する作業さえ人手で行われることもあった。しかし、プログラミングは高度に知的な努力を求められる作業であり、バグの無いプログラムを書くことやデバッグ作業の大変さは、この時代に既に指摘があった。1948年にコンラート・ツーゼがプランカルキュール (Plankalkül) についての論文を発表した。しかしながら当時は実装されず、他のプログラミング言語の開発と進化に影響を及ぼさない孤立した存在であった。この期間中に開発された主要なプログラミング言語には以下のようなものがある。また、EDSACの"initial orders"に代表されるが、この時代のコンピュータでは、現代のブートローダに相当するものに、簡単なアセンブラのような機能（1文字のニモニックと十進で表現された数値からなる命令の表現を、内部のバイナリに変換しながらロードする）を持たせていたものも多い。この時代には、人間にも理解しやすい言語を目指す高水準言語の開発が始まり、1950年代後半からFORTRAN、COBOL、LISP、ALGOLなど初期の代表的なプログラミング言語が登場した。この頃に登場したC言語とその派生言語は2000年代に入った現在でも広く使用されている。ミニコンピュータの世界では、1970年代に登場したC言語がUnixとともに広く普及した。C言語の最初の標準化は1989年である。一方、1970年代末頃からパーソナルコンピュータが普及しはじめ、8ビットパソコン時代には、その内蔵ROMに書かれた言語としてBASICが爆発的に普及した。ワークステーションなどの世界ではあたりまえであったGUI化がパーソナルコンピュータにも及び、GUI環境のアプリケーション開発を支援する高度なRAD環境や、ビジュアルプログラミング言語なども盛んになった。80年代の、シェルスクリプトやAwkやPerlに続くような、各種のスクリプト言語もあらわれた。情報機器がネットワークでつながる時代になるにつれて、従来にはない問題が生じた。従来のソフトウェアは単体機器や閉鎖的なネットワークで動作するため、深刻な誤動作をしなければ良しとされていたが、情報機器が広くネットワークにつながりはじめたことで些細な欠陥も許容されない時代へと入った。具体的にはバッファオーバフローに代表される、「安全でない」プログラムに対して防衛的でない言語の利用が制限されるようになった。

出典:wikipedia