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 Super
Todaii English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

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

Copyright@2026

พจนานุกรม

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

型付きラムダ計算

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

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

ラムダ計算

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

型付き

(1)形・模様がついていること。 また， そのもの。 (2)サラサの別称。

計算

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

付き付き

付き添いの者たち。 供の者。 「～の女ども勇め申せば/浮世草子・禁短気」

大型計算機センター

大型計算機センター（おおがたけいさんきセンター、英: computer bureau）とは、コンピュータサービスを提供するサービス・ビューローである。 大型計算機センターは、タイムシェアリングオペレーティングシステムの開発に続いて、1960年代初頭に開発された。これらにより、1台の大型で高価なメイ

精度保証付き数値計算

(2000), "Reliable computations for dynamic systems". Proc. SCAN 2000 / Interval 2000 — 9th GAMM-IMACS International Symposium on Scientific Computing,

計算モデル

計算モデル（けいさんモデル、（英: 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 という（より強い）仮定からも

付き

(1)付くこと。 付着すること。 「～がよい接着剤」 (2)火の移りつくこと。 火のつき具合。 「薪が湿っていて～が悪い」 (3)勝負事などで調子がよいこと。 好運。 「～がまわってくる」「～に見放される」 (4)つきそい。 従者。 「お～の者」 (5)てがかりとなるもの。 「人にあはむ～のなきには/古今（雑体）」 (6)人に応対する態度。 人づき。 「ぜんたい， ～のわるい内だ/洒落本・遊子方言」 (7)名詞の下に付いて複合語をつくる。 連濁により「づき」となることがある。 （ア）上の語の表すものが示しているようすを表す。 「顔～」「言葉～」「あぶなっかしい手～」（イ）上の語の表すものにつきそっていること， または付属していることを表す。 「社長～秘書」「大使館～になる」（ウ）上の語の表すものが備わっていることを表す。 「一泊二食～」「一〇か月の保証～」「瘤(コブ)～」 → について（連語） → につき（連語） <i>～もな・い</i> (1)ふさわしくない。 不都合である。 「苦行は申すに～・い事ぢや/狂言・腰祈」 (2)ぶっきらぼうである。 そっけない。 「童内へつかつかと入り， ～・くぞ言ひたりける/浄瑠璃・東山殿」

付き

⇒ つき（付）(７)

電卓付き腕時計

電卓付き腕時計（でんたくつきうでどけい）は、電卓を内蔵したディジタルブレスレットである。普通は時計がある面にボタンがとりつけられている。1970年代に初めて登場し1980年代に人気のピークを迎え、現在でも作られている。最も有名なブランドはカシオ・データバンクのシリーズであるが、タイメックスのものも人気があった。

焼き付き

まう現象は起こらないが、長時間同じ画像を表示させていた場合、次の画面に切り替えても前の画像が薄らと表示されたままの状態になることがある（残像、ゴーストイメージと呼ばれる）。これは液晶パネルへの帯電や液晶配向膜自身の分極によって、液晶の分子構造が固定化されるためにおこる現象で、一般的には液晶パネルの焼