「算術演算」を解説文に含む見出し語の検索結果(181～190/555件中)
ヒューマン・リソース・マシーンHuman Resource Machineジャンルパズルゲーム対応機種Steam（Windows, MacOS, Linux）Wii UiOSAndroidNinten...
数理論理学において、定義可能集合（ていぎかのうしゅうごう、Definable set）とは、ある構造の台集合上のn-項関係であって、その要素がその構造の一階言語におけるある式を満たすものである。定義 ...
数理論理学において、定義可能集合（ていぎかのうしゅうごう、Definable set）とは、ある構造の台集合上のn-項関係であって、その要素がその構造の一階言語におけるある式を満たすものである。定義 ...
ナビゲーションに移動検索に移動数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th( N {\displaystyle {...
ナビゲーションに移動検索に移動数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th( N {\displaystyle {...
ナビゲーションに移動検索に移動短絡評価（たんらくひょうか、英: short-circuit evaluation）または最小評価（さいしょうひょうか、英: minimal evalua...
ナビゲーションに移動検索に移動短絡評価（たんらくひょうか、英: short-circuit evaluation）または最小評価（さいしょうひょうか、英: minimal evalua...
ナビゲーションに移動検索に移動短絡評価（たんらくひょうか、英: short-circuit evaluation）または最小評価（さいしょうひょうか、英: minimal evalua...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/11 04:27 UTC 版)「Bulldozer (マイクロアーキテクチャ)」の記事における「Bulldozerコア...
System 名前空間には、共通して使用される値データ型と参照データ型、イベントとイベント ハンドラ、インターフェイス、属性、および処理例外を定義する基本的なクラスや基本クラスが含まれています。 その...