クレイグの補間定理とは? - 日本語辞典 Mazii

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ クレイグの補間定理

クレイグの補間定理

クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。William Craig が1957年、一階述語論理について証明したのが最初である。クレイグの補題とも。命題論理版は以下のように定義される。 X →

Từ điển Nhật - Nhật

Các từ liên quan tới クレイグの補間定理

補償定理

補償定理（ほしょうていり、compensation theorem）は、電流I0が流れている電気回路の区間のインピーダンスがZ0からZ0 + Zに増加したときの回路の各部の電圧の変化ΔVと電流の変化ΔIは、回路中の電源をすべて取り除き、Zと直列にZにI0が流れる向きと逆の向きの電圧源Z I0を加えたときに等しいという定理である。

中間値の定理

中間値の定理（ちゅうかんちのていり、英: intermediate value theorem）とは、実数の区間の連結性に関する以下のような存在型の定理である。中間値の定理 ― 実数直線 R の閉区間 I = [a, b] 上で定義される連続な実数値関数 f が f(a) < f(b) を満たすとき、閉区間

クレイグ

アメリカ合衆国のアイスホッケー選手。スチュアート・クレイグ - イギリスの美術監督。ダニエル・クレイグ - イギリスの俳優。ラリー・クレイグ - アメリカの政治家。ラルフ・クレイグ - アメリカの陸上競技選手。ロジャー・クレイグ (アメリカンフットボール) - NFL選手。クレイグ・ウィング - オーストラリア出身で日本代表のラグビー選手。

定理

ていり

公理に基づき，論証によって証明された命題。また特に，重要なもののみを定理ということがある。

補間法

xn の間にある任意の x に対応する f(x) の値の近似値を求める方法を，補間法，または内挿法という。上の場合，x1 と xn の外側にある任意の x に対する f(x) の値の近似値を求める方法を，補外法，または外挿法 extrapolationという。 [脚注の使い方] ^ 日本国語大辞典, ブリタニカ国際大百科事典

ラグランジュ補間

ラグランジュ補間多項式は数値積分法の一種ニュートン–コーツ法でも用いられ、また有限体上で計算されたラグランジュ補間多項式は暗号理論におけるシャミアの秘密分散法（英語版）でも用いられる。ラグランジュ補間は巨大振幅に関するルンゲ現象の影響を受けやすい。また評価点 xj の変更に関して補間

ニュートン補間

数値解析におけるニュートン補間（ニュートンほかん、英: Newtonian interpolation）は、アイザック・ニュートンに名を因む、ラグランジュ多項式をニュートン基底多項式の線型結合として得る多項式補間法を言う。例えばエルミート補間（英語版）などと異なり、ニュートン補間

モーション補間

モーション補間（英語: Motion interpolation）またはモーション補正フレーム補間（英語: motion-compensated frame interpolation（ MCFI ））は、アニメーションをより流動的にするため、ディスプレイモーションブラー（英語版）を補正および偽のス