「不変条件」を解説文に含む見出し語の検索結果(21～30/79件中)
契約による設計契約プログラミング（けいやくプログラミング、英: Contract programming）または契約による設計（けいやくによるせっけい、英: Design by Con...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/15 02:06 UTC 版)「PLEXIL」の記事における「ノード」の解説PLEXILの基本的なプログラミング単位は...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/01/01 09:37 UTC 版)「赤黒木」の記事における「削除ケース1」の解説P、S、Sの子は黒である。Sを赤にした後、...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/21 09:00 UTC 版)「表明 (プログラミング)」の記事における「契約による設計としての表明」の解説表明を仕様...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/01/01 09:37 UTC 版)「赤黒木」の記事における「挿入ケース1」の解説カレントノードの親Pは黒であるから、要件4...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/01/01 09:37 UTC 版)「赤黒木」の記事における「挿入ケース2」の解説親PとおじUの両方が赤なら、両方を黒に塗り...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/26 23:51 UTC 版)「キーワード (C++)」の記事における「追加の文脈依存のキーワード」の解説audit,...
ナビゲーションに移動検索に移動PLEXILパラダイムMulti-paradigm登場時期2005設計者NASA型付けStatic, unsafe, nominative主な処理系Robotics, S...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/10/06 10:10 UTC 版)「モニタ (同期)」の記事における「条件変数」の解説ビジーウェイト状態となるのを防ぐため...