351位FORTRAN 77の言語仕様推定知名度 0.06%FORTRAN 77の言語仕様（フォートランななじゅうななのげんごしよう）は、FORTRAN 66とFORTRAN 77の言語仕様と、言語仕様にまつわるエピソードについて解説し…
352位CONSTRAINT HANDLING RULES推定知名度 0.06%Constraint Handling Rules（CHR）は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言…
353位ギルモアのアルゴリズム推定知名度 0.06%ギルモアのアルゴリズム（Gilmore's algorithm）は、エルブランの定理にもとづき一階述語論理式が充足不能（unsatisfiable）かどうかを調べる半アルゴリズ…
355位量子プログラミング言語推定知名度 0.05%量子プログラミング言語（りょうしプログラミングげんご、Quantum programming language）とはの表現を実現するプログラミング言語の総称である。量子プログラ…
356位WOLFRAM推定知名度 0.05%Wolfram言語はウルフラム・リサーチが開発した、非常に汎用性の高いマルチパラダイムプログラミング言語であり、Mathematicaのメインのインターフェース言語である。Wo…
357位UNLAMBDA推定知名度 0.05%Unlambda（アンラムダ）はコンビネータ論理とラムダ計算に基づく、仕様の小さな、ほぼ純粋な関数型言語のプログラミング言語である。デビッド・マドレ(David Madore)…
358位SHAKESPEARE推定知名度 0.05%Shakespeare Programming Language (SPL) は、ヨン・オースルンド (Jon Åslund) とカール・ハッセルストローム (Karl Has…
359位PERLSCRIPT推定知名度 0.05%PerlScript（パールスクリプト）とは ActivePerl をインストールすることで使用できるようになる、Active Scripting の技術を使用したスクリプト言…
360位OBERON-2推定知名度 0.05%Oberon-2 とは、プログラミング言語 Oberon を拡張し、オブジェクト指向的なコンセプトを取り入れた言語である。1991年、チューリッヒ工科大学のニクラウス・ヴィルト…
FORTRAN 77の言語仕様推定知名度 0.06%FORTRAN 77の言語仕様（フォートランななじゅうななのげんごしよう）は、FORTRAN 66とFORTRAN 77の言語仕様と、言語仕様にまつわるエピソードについて解説し…FORTRAN 77の言語仕様推定知名度 0.06%FORTRAN 77の言語仕様（フォートランななじゅうななのげんごしよう）は、FORTRAN 66とFORTRAN 77の言語仕様と、言語仕様にまつわるエピソードについて解説し…
