语言
没有数据
通知
无通知
計算モデル(けいさんモデル、(英: model of computation)は、計算・推論・証明といった行為を理論的・抽象的に考察するための数理モデルである。計算模型ともいう。これに含まれるうちで、チューリングマシンなどのような、現実の機械に似せた架空のものを抽象機械といい、そうでないものとしては
バンド計算は、元々は結晶のような周期的境界条件のある系が計算対象であったが、その後、表面系や不規則二元合金などのような非周期系に対しても計算がなされるようになっていった。表面系に関してはスラブ近似を用いて計算するのが最も標準的である。不規則二元合金のようなポテンシャルがランダムな系
数値が1から12までの範囲に収まるようにする計算方法のことである。例えば、9時から4時間後は13時になるので12を引いて1時とする。12を法とする剰余算であり、合同式を使うと、 9 + 4 = 13 ≡ 1 ( mod 12 ) {\displaystyle 9+4=13\equiv 1{\pmod
計算機」という言葉が広く浸透し、用いられている。法的には(電卓なども指す)「計算機」は区別されており、国税庁の通達では、『電子計算機のうち検査ビット(パリティビット)を除く記憶容量が12万ビット未満のもの』は「計算機」として扱うことができる、と定義している。 また「電算機
k+1) はポッホハマー記号でここでは下降階乗の意味である。同様の関係式が、後退差分と上昇階乗に関しても成立する。 この級数はニュートン級数 あるいはニュートンの前進差分展開などとも呼ばれる。このテイラー展開類似の級数は和分差分学で利用される。 1930年代および1940年代にベルはこの種の umbral
ラムダ計算(ラムダけいさん、英語: lambda calculus)は、計算模型のひとつで、計算の実行を関数への引数の評価(英語: evaluation)と適用(英語: application)としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ)
円盤状のものがある。 ほとんどのものが乗除算および三角関数、対数、平方根、立方根などの計算用に用いられる。加減算を行えるものは非常に稀である。そろばんのようなデジタル(離散的)な計算機と異なり、計算尺で得られる値は概数である。目盛
計算手(けいさんしゅ、英:computer, human computer)とは、電子計算機が実用化される以前の時代において、研究機関や企業などで数学的な計算を担当していた人間のことである。現在では「コンピュータ」と言えば電子計算機を指すが、当時は"computer"という語の成り立ちが表す通り「計算する人間」のことであった。