Logo
หน้าแรก
บทเรียน
สมุดบันทึก
พจนานุกรม
JLPT ข้อสอบฝึกหัด
วิดีโอ
อัปเกรด
ข้อเสนอแนะ
Logo
หน้าแรก
บทเรียน
สมุดบันทึก
พจนานุกรม
JLPT ข้อสอบฝึกหัด
วิดีโอ
อัปเกรด
ข้อเสนอแนะ
Todaii Japanese
Switch language – current: th
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

เกี่ยวกับ Todaii Japanese

เรื่องราวแบรนด์คำถามที่พบบ่อยคู่มือผู้ใช้ข้อกำหนดและนโยบายข้อมูลการคืนเงิน

โซเชียลเนตเวิร์ค

Logo facebookLogo instagram

เวอร์ชันแอป

AppstoreGoogle play

แอปอื่น

Todaii German
Todaii English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

ลิขสิทธิ์เป็นของบริษัท eUp Technology JSC

Copyright@2026

พจนานุกรม

รายละเอียดคำ

ラムダ計算

ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ)

คำที่เกี่ยวข้อง

型付きラムダ計算

ある観点から見れば、型付きラムダ計算は型を持たないラムダ計算を改良したものと言えるが、別の観点からは、より根本的な理論と見ることもでき、型を持たないラムダ計算の方が型が1つしかない特殊ケースと見ることができる。 様々な型付きラムダ計算がこれまで研究されてきた。単純型付きラムダ計算はいくつかの基本型（または型変数）と関数型

計算

(1)数量を数えること。 (2)結果や展開を予測すること。 また， その予測のもとに計画を立てること。 「雨の降ることまでは～してなかった」「相手の反対を～に入れる」 (3)〔数〕 数や式を演算の法則に従って， 結果を出したり式の変形を実行すること。

計算モデル

計算モデル（けいさんモデル、（英: 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

計算尺

円盤状のものがある。 ほとんどのものが乗除算および三角関数、対数、平方根、立方根などの計算用に用いられる。加減算を行えるものは非常に稀である。そろばんのようなデジタル（離散的）な計算機と異なり、計算尺で得られる値は概数である。目盛

計算手

計算手（けいさんしゅ、英：computer, human computer）とは、電子計算機が実用化される以前の時代において、研究機関や企業などで数学的な計算を担当していた人間のことである。現在では「コンピュータ」と言えば電子計算機を指すが、当時は"computer"という語の成り立ちが表す通り「計算する人間」のことであった。

プロセス計算

{\mathit {Q}}} （あるいは逆）への通信路による情報の受け渡しが可能である。エージェントやプロセスは1度に複数の通信路と接続可能である。 通信路は同期型と非同期型がある。同期通信路の場合、メッセージを送ったエージェントは相手がそのメッセージを受け取るのを待つ。非同期通信路

シークエント計算

、論理式の正確な形を無視する。例外として同一性の公理 (I) とカット規則 (Cut) がある。 形式化されているものの、これらの規則は古典論理的に直観的に読み解くことができる。例えば、(∧L1) 規則を見てみよう。これは、A を含む論理式の列から Δ が証明される場合は常に A∧B という（より強い）仮定からも

計算資源

SRM) という。SRMの管理下にある資源をシステムリソース (system resource) と言う。 リソースハンドルは現にアクセス中の資源の識別子である。リソースハンドルは整数値やさらなる情報へのポインタなどで表される。代表的なリソースハンドルとしてファイル識別子やソケットがある。

ジョーンズ計算法

\end{pmatrix}}} は回転行列である。 ^ 移相子は光学におけるphase retarderあるいはretarderの訳。一般には波長板が知られているが、ここでは補償板を含む一般的な単語として移相子を採用した。遅相子、移相器などと呼ばれることもある。 Eugene Hecht　『光学

計算機 (ソフトウェア)

app) では、スタイリングが一新された他、基本・科学計算・プログラマという三つのモードがある。基本モードでは加減乗除ができる。科学計算モードでは基本モードと同様の機能に加え三角関数や指数関数、累乗等、一般的な関数電卓にある基本的な演算ができる。プログラマモード

計算科学

計算科学（けいさんかがく、英: computational science）は、数学的モデルとその定量的評価法を構築し、計算機を活用して科学技術上の問題を解決する学問分野である。具体的には、様々な問題の計算機によるシミュレーションやその他の計算手法の適用を指す。 計算科学は、計算機科学

並列計算

ティングシステムとアプリケーションのコピーがそこに格納される。CPU間の通信は非常に高速なインターコネクトで行われる。 TOP500で2007年まで世界最高速のスーパーコンピュータとされていた Blue Gene/L はMPPである。 グリッド・コンピューティング

計算化学

計算化学（けいさんかがく、英語: computational chemistry）とは、計算によって理論化学の問題を取り扱う、化学の一分野である。複雑系である化学の問題は計算機の力を利用しなければ解けない問題が多いため、計算機化学と呼ばれることもあるが、両者はその言葉の適用範囲が異なっている。

計算理論

計算理論（けいさんりろん、Theory Of Computation）または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算（Computation）とは、数学的に表現できる、あらゆる種類の情報処理のこと。

計算格子

数値計算が安定に行われること 格子の無駄が少ないこと であり、そのために以下のことに留意することが必要である。 直交性 計算格子に流入する流束は格子に垂直な面を評価するため、流束ベクトルと直交しない格子面は誤差の増加を生じうる。格子と流れ方向の関係のことはアライメントと呼ばれる。 隣接する格子間隔の比