Fortran

1957年に開発された最初の高水準プログラミング言語の一つ。科学技術計算に特化しており、数値計算やシミュレーションの分野で現在も使用されている。

1957年にIBMのJ.バッカスらが開発した、最初期の高水準プログラム言語。数式をそのまま書ける科学技術計算向けの言語で、配列の演算を効率のよい機械語に変換できる。Fortran 90以降の改訂でモジュールや並列計算の機能が加わり、気象予測や流体解析などスーパーコンピュータでの数値計算で現在も使われている。

科学技術計算やデータ分析を主な用途として開発され、2012年に公開されたプログラム言語。Pythonのように簡潔に書ける一方、実行時にコンパイルするJIT方式によってC言語に近い速さで動作する。

処理の手順を逐次的に記述するプログラミング言語の分類。命令の実行順序に従ってプログラムが動作する。C言語、COBOL、Fortranなどが代表的。

数学的な関数の適用と合成を基本とするプログラミング言語の分類。副作用を避け、参照透過性を重視する。Haskell、Lispなどが代表的で、並行処理との親和性が高い。

データとそれに対する操作をオブジェクトとしてまとめ、カプセル化・継承・ポリモーフィズムの概念を持つプログラミング言語の分類。Java、C++、Pythonなどが代表的。

事実と規則を述語論理の形で記述し、処理系が推論して答えを導くプログラム言語。Prologが代表例。手順を書く手続型言語と違い「何が成り立つか」を書く点が特徴で、人工知能の研究で使われた。

原始プログラムと機械語の中間に位置する、処理系内部で使われる形式。Javaのバイトコードが代表例で、中間言語まで変換しておけば実行環境ごとの差を吸収でき、同じプログラムを複数の環境で動かせる。