411位XBASE推定知名度 0.02%xBase は、アシュトンテイトのdBASEから派生したプログラミング言語の総称である。dBASE「クローン」と呼ばれることもある。アシュトンテイトの製品には Wayne Ra…
412位UPPAAL推定知名度 0.02%形式言語のうち、モデル検査の機能を持つシステム。時間制約付きモデルを図として記述し、検査・検証を行う。時相論理式で検査したい項目を指定する。学術向けは無償利用できるが、商用は有…
413位STRAND推定知名度 0.02%Strandは、1989年に発表された商用ベースの並行論理プログラミング言語である。Ian FosterとStephen Taylorにより設計された。開発はArtificia…
414位SAL推定知名度 0.02%SAL（サル、Scalable Application Language）はプログラミング言語の1つ。オブジェクト指向の言語である。米グプタ社 (Gupta, 現ユニファイ (…
415位PL/0推定知名度 0.02%PL/0（ピーエルゼロ）はプログラミング言語の名称。少なくとも2種類の言語が知られており、その1つは IBM の汎用プログラミング言語 PL/I のサブセットである。本項で詳述…
416位NETLOGO推定知名度 0.02%NetLogoとはエージェント型プログラミング言語および統合開発環境である。[http://ccl.northwestern.edu/netlogo/download.shtm…
417位IBM HIGH LEVEL ASSEMBLER推定知名度 0.02%IBM High Level Assembler (HLASM)は、IBMの高水準アセンブラー（アセンブリ言語）であり、メインフレームのz/Architecture環境で稼働す…
418位HACK推定知名度 0.02%Hackは、Facebookにより開発されたプログラミング言語である。オープンソースとして公開されており、同社が開発したPHP実行環境のHipHop仮想マシン (HHVM) で…
419位カットヒル・マキー法推定知名度 0.02%行列を扱う数学分野において、カットヒル・マキー法 (カットヒル・マッキー並べ替えとも、Cuthill–McKee algorithm, CM) は Elizabeth Cuth…
420位VINCENTY法推定知名度 0.02%Vincenty法 (Vincenty's formulae)とは2つの楕円体上の2点間の距離を計算する測地法の反復計算アルゴリズムであり、Thaddeus Vincenty …
XBASE推定知名度 0.02%xBase は、アシュトンテイトのdBASEから派生したプログラミング言語の総称である。dBASE「クローン」と呼ばれることもある。アシュトンテイトの製品には Wayne Ra…XBASE推定知名度 0.02%xBase は、アシュトンテイトのdBASEから派生したプログラミング言語の総称である。dBASE「クローン」と呼ばれることもある。アシュトンテイトの製品には Wayne Ra…
