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

사전

단어 상세정보

整礎的集合

整礎的集合（せいそてきしゅうごう、well-founded set）とは、空集合に和集合演算やべき集合演算などの集合演算を繰り返し施すことにより得られる集合である。 すべての順序数 α に対して、集合 Vα を次のように再帰的に定義する： V 0 = ∅ {\displaystyle V_{0}=\varnothing

관련 단어

整列集合

が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる。 （選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である。 任意の整列集合は、その整列

内的集合

数理論理学、特にモデル理論および超準解析における内的集合（ないてきしゅうごう、英: internal set）は、何らかの（集合論的）モデルの要素となる集合を言う。 内的集合の概念は、（実数全体の成す集合 ℝ の性質と超実数と呼ばれるより大きな体 *ℝ の持つ性質との間の論理的な関係を取りなす）移

新基礎集合論

数理論理学において新基礎集合論 (しんきそしゅうごうろん、英: New Foundations) またはNF集合論とは、プリンキピア・マテマティカの型理論を単純化したものとしてウィラード・ヴァン・オーマン・クワインによって考案された、公理的集合論の一種である。この名称は、クワインが1937年におけ

整礎関係

ほかにも重要な整礎帰納法の特別の場合がある。整礎関係として順序数全体のなす類上の通常の順序を考えれば、超限帰納法 (transfinite induction) と呼ばれる手法が得られるし、整礎集合として再帰的に定義されるデータ構造からなる集合をとれば、構造的帰納法 (structural induction)

創造的集合と生産的集合

生産的集合（せいさんてきしゅうごう、英: productive set）と創造的集合（そうぞうてきしゅうごう、英: creative set）とは、自然数の集合の類型であり、数理論理学において重要な応用を持つ。これらはSoare (1987)やRogers (1987)などの数理論理学のテキストにおける標準的なトピックである。

帰納的集合

指示関数が帰納的関数となるような集合を帰納的集合（きのうてきしゅうごう）という。 端的に言えば、決定可能な集合であり、チャーチのテーゼを認めるならば、計算可能な集合である。 たとえば、素数の集合は、帰納的集合である。一方で停止性問題（実行すると停止するプログラムと入力の組の集合）は帰納的でない。 帰納的関数

集合的消費

集合的消費（しゅうごうてきしょうひ、英：collective consumption）とは、都市社会学者マニュエル・カステルが1970年代に提示した分析概念で、生産手段から切り離せず、集団的に消費され、消費活動において使い果たされないサービスのこと。 都市化とともに、人びとは、都市における生活基盤

整合

(1)〔consistence〕 論理が首尾一貫していること。 「～的」 (2)ぴったり合っていること。 また， きちんと合わせること。 (3)〔conformity〕 重なり合った二つの地層の堆積した年代がほぼ連続していること。 ⇔ 不整合 (4)〔matching〕 ある系から異なる系にエネルギーを伝達する時， 最大の効率で送れるように両者間の条件を調整すること。 マッチング。

集合的無意識

集合的無意識（しゅうごうてきむいしき、ドイツ語：kollektives Unbewusstes、英語：collective unconscious）は、カール・グスタフ・ユングが提唱した分析心理学における中心概念であり、人間の無意識の深層に存在する、個人の経験を越えた先天的な構造領域である。普遍的

公理的集合論

公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。 現在一般的に使われている集合の公理系はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる選択公理（Axiom of Choice）を加えた ZFC公理系（Zermelo-Fraenkel

集合

(1)いくつかのものを一か所に集めること。 また， 集まること。 聚合。 ⇔ 解散 「駅前に～のこと」「人心を～する/日本開化小史（卯吉）」 (2)〔数〕 〔set〕 ものの集まりで， 任意のものがその集まりに入っているかどうか区別でき， かつその集まりに属する任意の二つのものが等しいか異なるかを区別できるものをいう。 集合を構成している一つ一つのものを要素または元(ゲン)という。 また， 集合の集合を集合族という。

インピーダンス整合

インピーダンス整合（インピーダンスせいごう、英: impedance matching）とは、電気回路においては信号を送り出す側のインピーダンス（信号源インピーダンス・出力インピーダンス）と受け入れる側のインピーダンス（負荷インピーダンス・入力インピーダンス

不整合

(1)〔inconsistence〕 論理が首尾一貫していないこと。 (2)〔unconformity〕 上下に重なる地層二つの間に堆積の不連続があり， 地層形成時期にも大きな時間的間隙が認められる場合の両者の関係。 下位の地層が地殻変動を受けて隆起し， 削剥され， 再び水底に沈降してその上に新しい地層が堆積したことを物語る。 また， この上・下の地層の境の面を不整合面という。 ⇔ 整合

整合性

〔consistency〕 「無矛盾性(ムムジユンセイ)」に同じ。

帰納的可算集合

全ての帰納的集合は帰納的可算だが、全ての帰納的可算集合が帰納的（集合）とは言えない。 帰納的可算言語は形式言語の帰納的可算な部分集合である。 帰納的可算な公理系から導かれる全ての文の集合は帰納的可算集合である。 マチャセビッチの定理によれば、全ての帰納的可算集合はディオファントス集合である（逆も明らかに真）。

礎

礎（いしずえ、そ、もとい） 礎眞一（いしずえ しんいち） - パラリンピック柔道の選手 木村礎（きむら もとい） - 歴史学者 礎会 基礎 整礎関係 礎板 礎盤 平和の礎 浪礎 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にし

代数的整数

は有理整数環 Z の C における整閉包となっている。 代数体 K の整数環 OK は K ∩ A に等しく、また体 K の極大整環（英: maximal order）となっている。全ての代数的整数はそれぞれ何らかの代数体の整数環に属している。x が代数的整数であることは、環 Z[x] がアーベル群として有限生成（即ち有限生成

美的集団

にアリババと共同でスマートエアコンを発売し、2014年末には京東集団と戦略的協力を展開している。 2015年4月13日、美的は東京都内でIH炊飯器「鼎沸(ディンフー) MB-FZ4086」のリリース発表を行った。日本ではまず通販サイトで売り出し、家電量販店のラオックスなどでの販売も検討する。2015

咬合調整

咬合性外傷による歯周組織の損傷、歯の動揺、病的な移動 ブラキシズムや咬合異常に起因する悪習慣 咬合に起因する筋障害、顎関節症、咬合病など 矯正治療中や治療後の咬合の不安定な症例 広範囲な補綴治療の前処置 著しく挺出した歯。著しく咬耗した歯列 咬合高径が短縮しているもの 極端な不正咬合 知覚過敏となっている歯