111位COQ推定知名度 0.11%Coqは証明支援システムの一つ。Coqの核はプログラミング言語Gallinaを用いる。フランス国立情報学自動制御研究所の[http://www.pps.univ-paris-d…
113位WINDOWS SCRIPT HOST推定知名度 0.1%Windows Script Host（ウインドウズ・スクリプト・ホスト）とは、Microsoft Windowsにおいてテキストファイルに記述したスクリプトを実行するスクリプ…
114位TEXT EDITOR AND CORRECTOR推定知名度 0.1%Text Editor and Corrector（TECO）は、1960年代にマサチューセッツ工科大学 (MIT) で開発されたテキストエディタ。当初の名称は [paper]…
115位STANDARD ML推定知名度 0.1%Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。The Definition of Standard ML で型付け規則と操作的意味論が…
116位NEMERLE推定知名度 0.1%Nemerle（ネマール）は.NETプラットフォーム上で動作する静的型付けの高級言語である。手続き型、オブジェクト指向、関数型言語の機能を取り込んだハイブリッド言語であり、C#…
117位INFORM推定知名度 0.1%Inform は1993年、Graham Nelson が開発したインタラクティブフィクション（テキストアドベンチャー）のためのプログラミング言語であり、設計システムである。I…
118位CLIPS推定知名度 0.1%CLIPSとは、ソフトウェアの名称でありエキスパートシステムの一種である。C Language Integrated Production System(C言語統合型プロダクシ…
119位CLIPPER推定知名度 0.1%Clipper は、主にDOSで使うプログラムを書くために使われたプログラミング言語である。汎用プログラミング言語としての能力を持つが、主にデータベースやビジネス用プログラムの…
120位WICS推定知名度 0.09%WICS(Integer Interpreter Compiler System)は、BASICライクなMZ-80K及びMZ-80B/2000/2200シリーズで主要に使われて…
COQ推定知名度 0.11%Coqは証明支援システムの一つ。Coqの核はプログラミング言語Gallinaを用いる。フランス国立情報学自動制御研究所の[http://www.pps.univ-paris-d…COQ推定知名度 0.11%Coqは証明支援システムの一つ。Coqの核はプログラミング言語Gallinaを用いる。フランス国立情報学自動制御研究所の[http://www.pps.univ-paris-d…
