「Communicating sequential processes」を解説文に含む見出し語の検索結果(21～30/74件中)
PL/0（ピーエルゼロ）はプログラミング言語の名称。少なくとも2種類の言語が知られており、その1つは IBM の汎用プログラミング言語 PL/I のサブセットである。本項で詳述するもう一方のPL/0は...
チャールズ・アントニー・リチャード・ホーアEPFLでのカンファレンスにて（2011年6月20日）生誕 (1934-01-11) 1934年1月11日 セイロン コロンボ死没 (2026-03...
チャールズ・アントニー・リチャード・ホーアEPFLでのカンファレンスにて（2011年6月20日）生誕 (1934-01-11) 1934年1月11日 セイロン コロンボ死没 (2026-03...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/10/27 10:09 UTC 版)「プログラミング言語の比較」の記事における「全体の比較」の解説以下の表は主要なプログラミ...
アクターモデル（英: actor model）は、並行計算の数学的モデルの一種[1]。1973年、カール・ヒューイット、Peter Bishop、Richard Steiger...
ナビゲーションに移動検索に移動計算機科学における表示的意味論（ひょうじてきいみろん、英: Denotational Semantics）とは、プログラミング言語の意味を形式的に記述する形式意味...
.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...
.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...