「形式的定義」を解説文に含む見出し語の検索結果(11～20/239件中)
状態遷移系（じょうたいせんいけい、State Transition System）とは、理論計算機科学での計算の研究に使用される抽象機械の一種。状態遷移系は状態群と状態間の遷移から構成される。状態と遷...
状態遷移系（じょうたいせんいけい、State Transition System）とは、理論計算機科学での計算の研究に使用される抽象機械の一種。状態遷移系は状態群と状態間の遷移から構成される。状態と遷...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/22 07:55 UTC 版)「領域理論」の記事における「特殊な種類の領域」の解説特に簡単で特殊な領域として、 ele...
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "決定的アルゴリズム"...
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "決定的アルゴリズム"...
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "決定的アルゴリズム"...
ナビゲーションに移動検索に移動双模倣性（そうもほうせい、Bisimulation）とは、理論計算機科学における複数の状態遷移系の間の同値関係を意味する。そのようなシステムは、互いに他のシステムの動作を...
ナビゲーションに移動検索に移動双模倣性（そうもほうせい、Bisimulation）とは、理論計算機科学における複数の状態遷移系の間の同値関係を意味する。そのようなシステムは、互いに他のシステムの動作を...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/06 16:24 UTC 版)「アーサー・ダントー」の記事における「「アートワールド」とアートの定義」の解説ダントーは...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/11 08:36 UTC 版)「フェルナン・ブローデル」の記事における「学問上の功績」の解説歴史学におけるブローデルの...