カット除去定理とは? - 日本語辞典 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ừ カット除去定理

カット除去定理

カット除去定理（カットじょきょていり、英: Cut-elimination theorem）は、シークエント計算の手法の重要性を示す、数理論理学の主要な結果のひとつである。（数理論理学の）基本定理と呼ぶこともある。ゲルハルト・ゲンツェンが1934年に書いた記念碑的論文 "Investigations

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

Các từ liên quan tới カット除去定理

除去

ウィキペディアには「除去」という見出しの百科事典記事はありません（タイトルに「除去」を含むページの一覧/「除去」で始まるページの一覧）。代わりにウィクショナリーのページ「除去」が役に立つかもしれません。wikt:Special:Search/除去

エコー除去

エコーを認識したら、受信（あるいは転送中の）信号からそれを引くことでエコーを除去する。一般にデジタルシグナルプロセッサ (DSP) を使って実装されるが、ソフトウェアで実装することも可能である。エコー除去は、エコーサプレッサ（英: Echo suppressor）やエコーキャンセラ（英: Echo

カット

〖cut〗

二重否定の除去

論理学、特に命題論理において、二重否定の除去（にじゅうひていのじょきょ、英: double negation elimination）および二重否定の導入（にじゅうひていのどうにゅう、英: double negation introduction）は、いずれも推論の種類の一つである。形式的には、いわゆる二重否定に

カット (グラフ理論)

(縦横の 4 方向か斜めも含めた 8 方向) を、それぞれ頂点と双方向の有向辺に対応させて構成される有向グラフを考える。さらにその有向グラフにソースとシンクを付加して得られるフローネットワークにおける最小カットを算出する。応用ごとの具体的な定式化は [石川07] を参照されたい。

定理

ていり

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

最大フロー最小カット定理

最大フロー最小カット定理（さいだいフローさいしょうカットていり、英: Max-flow min-cut theorem）は、フローネットワークにおける最大フロー問題についての定理である。これは、ネットワークに流れる「もの」の最大流量が、ボトルネックによって決まることを意味している。線形計画法について

底質暫定除去基準

底質暫定除去基準（ていしつざんていじょきょきじゅん）は、1975年（昭和50年）に定められた、水銀及びポリ塩化ビフェニル(PCB)に汚染された底質を除去する範囲を定める場合の基準である。底質に関するダイオキシンその他の環境基準については、底質の環境基準を参照。調査の方法は、「底質調査方法」に基づく。