プログラミング・開発言語– category –

BEAMはErlangとElixirの実行基盤となっている仮想マシンで、Bogdan/Bjorn's Erlang Abstract Machineの頭文字に由来します。1980年代にスウェーデンのエリクソン社で電話交換機向け言語として開発されたErlangの世代を経て、1990年代後半に当時のメンテナB...

JVMはJava Virtual Machineの略で、1995年にSun Microsystemsが発表したJava言語の実行基盤として登場しました。Javaソースコードをコンパイルして得られるバイトコードをプラットフォーム横断で動かす仕組みであり、「Write Once, Run Anywhere」というス...

LLVMは2000年にイリノイ大学の大学院生だったChris Lattnerが博士研究として開発を始めたコンパイラ基盤で、現在はLLVM Foundationが運営するオープンソースプロジェクトとして膨大な数の言語処理系を支えています。C/C++向けフロントエンドのClang、Swift...

LLVMは2000年にイリノイ大学の大学院生だったChris Lattnerが博士研究として開発を始めたコンパイラ基盤で、現在はLLVM Foundationが運営するオープンソースプロジェクトとして膨大な数の言語処理系を支えています。C/C++向けフロントエンドのClang、Swift...

F#は2005年にMicrosoft Researchケンブリッジ研究所のDon Symeによって発表された、.NET基盤上で動作する関数型プログラミング言語である。OCamlを強く参照しつつ、C#やVB.NETと同じ共通言語ランタイム（CLR）上で動作する設計を採用し、.NETエコシステム...

OCamlは1996年にフランス国立情報学自動制御研究所（INRIA）のXavier Leroyらが開発した、ML（Meta Language）系の静的型付け関数型プログラミング言語である。Standard MLの兄弟に当たり、強力な型推論、代数的データ型、パターンマッチング、オブジェク...

Lispは1958年に米マサチューセッツ工科大学（MIT）のJohn McCarthyによって設計された、現存するもっとも古い高水準プログラミング言語の一つである。「LISt Processor」の略にふさわしく、コードもデータも括弧で囲まれたリスト（S式）で表現する独特の文...

Prologは1972年にフランスのマルセイユ第二大学でAlain Colmerauerと学生Philippe Rousselらによって設計された、論理プログラミングのパイオニア的言語である。事実とルールを述語論理の形で記述すると、処理系が単一化と探索を通じて結論を導く宣言型の...

Adaは米国国防総省（DoD）が1970年代後半に推進した「Common High-Order Language」プロジェクトの成果として、1980年に仕様が確定したプログラミング言語である。世界初のプログラマーと呼ばれるAugusta Ada Lovelaceの名を冠し、Jean Ichbiahが率いるフ...

COBOLは1959年に米国国防総省主導の委員会CODASYLによって設計された、事務処理（ビジネスデータ処理）向けプログラミング言語である。Grace Hopper海軍少将の構想に端を発し、英語に近い構文と固定桁数の十進演算を備えることで、銀行勘定系や政府の社会...