「B (programming language)」を解説文に含む見出し語の検索結果(41～50/1260件中)
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...
以下はプログラミング言語の一覧である。目次 ABCDEFGHIJKLMNOPQRSTUVWXYZ #関連項目AAA+ABAPABCABCLActionScriptActiveBasicAdaAdvan...
以下はプログラミング言語の一覧である。目次 ABCDEFGHIJKLMNOPQRSTUVWXYZ #関連項目AAA+ABAPABCABCLActionScriptActiveBasicAdaAdvan...
ナビゲーションに移動検索に移動Lucidパラダイムデータフロー登場時期1976年設計者Edward A. Ashcroft,William W. Wadge開発者Ashcroft,Wadge型付けTy...
ナビゲーションに移動検索に移動Lucidパラダイムデータフロー登場時期1976年設計者Edward A. Ashcroft,William W. Wadge開発者Ashcroft,Wadge型付けTy...
Exo言語 (The Exo Language) は領域特化型のプログラミング言語である。ハードウェアに近いレイヤのパフォーマンス・エンジニア向けで、計算内容を指定した非常に単純なプログラムを、繰り返...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
Return-oriented programming（ROP）は、実行保護やコード署名（英語版）などのセキュリティ防御の機構が存在するマシンで任意コードの実行を可能にするセキュリティエクスプロイトで...