「IBM Notes」を解説文に含む見出し語の検索結果(81~90/857件中)
ギルモアのアルゴリズム(英: Gilmore's algorithm)は、エルブランの定理にもとづき一階述語論理式が充足不能(unsatisfiable)かどうかを調べる半アルゴリズム(sem...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/18 04:18 UTC 版)「PLATO」の記事における「オンライン・コミュニティ」の解説PLATOはコンピュータ支...
Ray Ozzieレイ・オジー(Web 2.0 Conference 2005にて)生誕 (1955-11-20) 1955年11月20日(67歳)イリノイ州パークリッジ職業Talko役員著名な実績マ...
Ray Ozzieレイ・オジー(Web 2.0 Conference 2005にて)生誕 (1955-11-20) 1955年11月20日(67歳)イリノイ州パークリッジ職業Talko役員著名な実績マ...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
ナビゲーションに移動検索に移動 TRADICトランジスタ・コンピュータとは、第二世代コンピュータとも言い[1]、集積回路ではない個別のトランジスタを主要な論理素子として使用したコンピュ...
.mw-parser-output .pathnavbox{clear:both;border:1px outset #eef;padding:0.3em 0.6em;margin:0 0 0.5em...
.mw-parser-output .pathnavbox{clear:both;border:1px outset #eef;padding:0.3em 0.6em;margin:0 0 0.5em...