371位ALLOY ANALYZER推定知名度 0.05%軽量形式手法の一つ。仕様をモデルとして記述し検証するシステム。定義したデータの関係がどうなるか、模擬試験した結果を順に表示する仕組みがある。設計者が想定していない関係が現れたら…
372位清水洋平推定知名度 0.05%清水 洋平（しみず ようへい）は、日本の作曲家、プログラマ。2001年までコナミ株式会社（現・コナミデジタルエンタテインメント）に所属していた。コナミ退社後はポリフォニー・デジ…
373位THE BATTLE FOR WESNOTH推定知名度 0.04%『The Battle for Wesnoth』（ざ・ばとる・ふぉー・うぇすのす）は、2003年からオープンソースで開発が進められているターン制戦術ウォー・シミュレーションゲー…
374位おにたま推定知名度 0.04%おにたまは、日本の男性プログラマー。Hot Soup Processor（HSP）の開発者である。本名「武田 寧」。本項では、おにたまが所属し活動しているONION softw…
375位UNIFIED PARALLEL C推定知名度 0.04%Unified Parallel C、UPC は大規模な並列計算機上での高性能計算向けにC言語を拡張して作られたプログラミング言語である。これには、共有大域アドレス空間（対称型…
376位大味健一郎推定知名度 0.04%大味 健一郎（おおみ けんいちろう）は、日本のゲームクリエイター。プログラマ。講師。『いづみ事件ファイルシリーズ』、『タイプチューン』の生みの親。株式会社スクリプトアーツの元代…
377位TURING推定知名度 0.04%Turingはプログラミング言語のひとつであり、Pascalよりも汎用的で簡潔に記述でき学習しやすい言語を目指して設計された。言語名称は計算機科学者として著名なアラン・チューリ…
378位SCIKIT-LEARN推定知名度 0.04%scikit-learn (正式には scikits.learn) はPythonのオープンソース機械学習ライブラリである。サポートベクターマシン、ランダムフォレスト、Grad…
379位COMPONENT PASCAL推定知名度 0.04%Component Pascal はニクラウス・ヴィルトによる Pascal、Modula-2、Oberon、Oberon-2 の伝統をひくプログラミング言語である。Pasca…
380位PARLOG推定知名度 0.04%PARLOG (PARallel LOGic) は、Concurrent Prologに影響を受けたKeith ClarkとSteve Gregoryにより設計された並行論理プ…
ALLOY ANALYZER推定知名度 0.05%軽量形式手法の一つ。仕様をモデルとして記述し検証するシステム。定義したデータの関係がどうなるか、模擬試験した結果を順に表示する仕組みがある。設計者が想定していない関係が現れたら…ALLOY ANALYZER推定知名度 0.05%軽量形式手法の一つ。仕様をモデルとして記述し検証するシステム。定義したデータの関係がどうなるか、模擬試験した結果を順に表示する仕組みがある。設計者が想定していない関係が現れたら…
