语言
没有数据
通知
无通知
計算すること。 運算(ウンザン)。
〔arithmetic〕
ビット演算(ビットえんざん、英: bitwise operation)とは、主にコンピュータで行われる演算のひとつで、データをビット列(つまり0か1が多数並んだもの)と見なして、各ビットの移動やビット単位での論理演算を行うもの。 デジタルコンピュータの内部では、情報をビット列
ブーリアン演算(ブーリアンえんざん)または集合演算(しゅうごうえんざん)とは、3次元コンピュータグラフィックスやCAD等の形状モデリングにおいて、体積を持った形状(3次元の場合)を集合とみなし、複数の形状を和、差、積といった集合演算により組み合わせ、合成された形状を作る演算
算術オーバーフロー(さんじゅつオーバーフロー、英: arithmetic overflow)あるいは単にオーバーフローは、デジタルコンピュータにおいて、演算結果がレジスタの表せる範囲や記憶装置上の格納域に記録できる範囲を超えてしまう現象、またはその結果レジスタ等に格納される値を意味する。オーバーフロ
公理には数学的帰納法の公理型を含む。 プレスバーガー算術は加法と乗法両方含むペアノ算術より弱い体系である。ペアノ算術とは異なりプレスバーガー算術は決定可能である。 これはプレスバーガー算術の言語で書かれた任意の閉論理式がプレスバーガー算術の公理で証明可能かどうかを判定するアルゴリズムが存在することを意味する。
(1)占いに用いる算木(サンギ)。 また, 占い。
演算子法(えんざんしほう)とは、解析学の問題、特に微分方程式を、代数的問題(普通は多項式方程式)に変換して解く方法。オリヴァー・ヘヴィサイドの貢献が特に大きいので「ヘヴィサイドの演算子法」とも呼ばれるが、厳密な理論化はその後の数学者たちにより行われた。 関数に対する微分や積分その他の演算