Logo
홈
레슨
노트
사전
JLPT 연습
동영상
업그레이드
피드백
Logo
홈
레슨
노트
사전
JLPT 연습
동영상
업그레이드
피드백
Todaii Japanese
Switch language – current: ko
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

사전

단어 상세정보

カット除去定理

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

관련 단어

除去

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

エコー除去

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

二重否定の除去

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

底質暫定除去基準

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

カット (グラフ理論)

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

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

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

ヌクレオチド除去修復

ヌクレオチド除去修復（Nucleotide excision repair）は、生体に備わっているDNA修復機構の一つで、紫外線により生じるチミンダイマーや種々の化学物質によりDNA中に生じた損傷を修復する。塩基除去修復(BER)よりも大きなDNA損傷を認識し、除去・修復する。省略してNERと呼ばれる。

ウミガメ除去装置

網から脱出できなくなったりすることがあるからである。加えて、漁業者は簡単に網の漁獲効率がよくなるようにTEDを改造することができるが、この際TEDのウミガメ除去能力はなくなってしまう。 TEDは混獲によるウミガメの死亡率を下げることにはある程度成功してきた一方で、未だにいくつかの欠点がある。

充血除去薬

以下の薬剤が一般的とされる。 エフェドリン レボメタンフェタミン ナファゾリン オキシメタゾリン フェニレフリン フェニルプロパノールアミン (PPA) プロピルヘキセドリン プソイドエフェドリン（PSE） - いくつかの国ではOTC規制がある シネフリン テトラヒドロゾリン トラマゾリン キシロメタゾリン 以下は一般的ではない薬剤である。

カット

〖cut〗 (1)切ること。 また， 一部を切り取り除くこと。 「テープを～する」「賃金を～された」 (2)洋裁で， 裁断すること。 (3)髪を適当な長さに切りそろえること。 また， その髪形。 「ショート-～」 (4)野球で， 他の野手への送球を途中で捕球すること。 (5)バスケットボールなどで， 相手のボールを取ること。 (6)卓球やテニスで， ラケットを斜めにして切るように球を打ち， 逆回転を与えること。 カッティング。 (7)映画・テレビなどの撮影で， 一台のカメラが写し始めてから写し終わるまでの一つの場面。 ショット。 (8)印刷物に入れる小さな挿絵。

定理

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

資産除去債務

（資産除去債務を合理的に見積ることができない場合） 資産除去債務の発生時に当該債務の金額を合理的に見積ることができない場合には、これを計上せず、当該債務額を合理的に見積ることができるようになった時点で負債として計上する。 資産除去債務はそれが発生した時に、有形固定資産の除去に要する割引前の将来キャッシュ・フローを見積もり（割引価値）で算定する。

塩基除去修復

塩基除去修復（えんきじょきょしゅうふく、base excision repair）は、生体に備わっているDNA修復機構の1つで、DNAを構成する塩基の損傷を修復する。省略してBERと呼ばれる。 DNAを構成する塩基は恒常的に活性酸素種やアルキル化剤、また自発的な加水分解などにより損傷を受けており、

バッファロー (地雷除去車)

バッファロー（Buffalo）は、南アフリカ共和国が開発した4×4輪駆動の歩兵機動車、キャスパー装甲兵員輸送車をベースにフォース・プロテクション（英語版）社が製造した6×6輪駆動の地雷防護車である。MRAP-I カテゴリー3（爆発物処理/IED除去車輌）に分類されている。

除権決定

除権決定がなされる。 かつては除権判決と呼ばれていたが、法改正により公示催告手続が決定手続によることになったため、除権決定と名称が変更になった。 除権決定によって回復するのは形式的資格のみで、有価証券上の実質的権利までを回復させるものではないと解されており、除権

包除原理

この原理によって理論的な公式を求める場合（特にエラトステネスの篩を用いる素数の数え上げ）、誤差評価が困難であるため有効な公式が得られないことが多い。これは、各項が個別には正確に求められてもそれらの相殺の様子を一般的に定式化することが難しい上に、和の項数が非常に多くなってしまうためである。数論にお

ピクシー・カット

に出演するにあたって、ピクシー・カットにした。登場人物にちなんで「セシルカット」とも呼ばれた。 1967年、ロマン・ポランスキー監督の映画『ローズマリーの赤ちゃん』のためにミア・ファローの髪がヴィダル・サスーンによってピクシー・カットに切られたことは、髪の歴史において最も有名な瞬間とされている。

姫カット

姫カット（ひめカット）とは、女性の髪型のひとつ。名称からわかるように姫＋cutの呼び方は現代[いつ?]につけられたものである。お姫様カット、姫さまカットとも。 姫カットは、尼削ぎや振り分け髪と呼ばれていた伝統的な女性の髪型と、鬢削ぎの習慣を現代風にアレンジしたもので、とりわけ特徴的なぱっつん前髪は

カット・ケミスト

カット・ケミスト (Cut Chemist、本名:Lucas MacFadden、1972年10月4日 - ）はアメリカ合衆国のミュージシャン、音楽プロデューサー、ソロのDJ、ターンテーブリスト。ヒップホップグループであるジュラシック5のメンバー。時々仲間のDJシャドウとともに、いくつかのアルバム