導出原理とは? - 日本語辞典 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ừ 導出原理

導出原理

導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソン（英語版）により1965年に提案された原理または手法を言う。導出原理を元とする導出の手法は、その後の定理自動証明に大きな影響を与え、またPrologなどの論理プログラミング言語の基礎となった。

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

Các từ liên quan tới 導出原理

指導者原理

を負うというものであった。これをヨアヒム・フェストは「全指導者の権威は下へ、そして責任は上へ」と表した。権威の源泉は民族共同体（Volksgemeinschaft）の「指導者（Führer）」たるアドルフ・ヒトラーであり、究極的には彼に対して民族の全ての構成員が服従し、忠誠を誓うことであった。

原理

げんり

〔principle〕

誘導放出

光をフィードバックすることなどが施されている。誘導放出は、発光遷移の確率を高めることで発光ダイオードなどの発光効率の向上にも応用できる。このような誘導放出による高効率発光はスーパールミネセンスなどと呼ばれる。原子（または分子）における誘導放出現象は、マイクロ波の増幅や、発振器に用いられる。原子

下原理

気）し、地方競馬通算700勝達成。同年2月11日、佐賀記念にてチャンストウライに騎乗しダートグレード競走での初勝利を挙げる。同年11月3日に園田競馬場で行われたJBCにはクラシック、スプリント両方に騎乗した。 2009年も自厩舎のカラテチョップで兵庫ダービー、菊水賞の2冠を制す。

ホログラフィック原理

ホログラフィック原理（ホログラフィックげんり、holographic principle）は、空間の体積の記述はある領域の境界、特にみかけの地平面（英語版）のような光的境界の上に符号化されていると見なすことができるという量子重力および弦理論の性質である。ヘーラルト・トホーフトによって最初に提唱され

ラプラス原理

ンの補題（英語版）がある。ラプラス原理は、固定された集合 A 上の exp(−θφ(x)) のルベーグ積分が、θ を大きくしていったときにどのような漸近的な振る舞いを見せるかについて述べる。実際の例としては、統計力学において逆温度を無限大する極限、すなわち温度が絶対零度に近づくとき、その系がどのよう

エンドツーエンド原理

エンドツーエンド原理（End-to-End Principle）は、コンピュータネットワークの古典的設計原理であり、1981年に Jerome H. Saltzer、David P. Reed、デービッド・ダナ・クラークらの論文 End-to-end arguments in system design

鍵導出関数

暗号理論分野における鍵導出関数（かぎどうしゅつかんすう, key derivation function, KDF）は、一つのマスター鍵やパスワード、パスフレーズなどの秘密の値から、一つあるいは複数の秘密鍵を導出するために用いられる関数であり、pseudorandom function（PRF）が利用される。