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 Super
Todaii English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

저작권은 eUp Technology JSC에 있습니다

Copyright@2026

사전

단어 상세정보

線形論理

線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源としての仮説 (hypotheses as resources)」という解釈をする。すなわち、全ての仮説は証

관련 단어

線形時相論理

線形時相論理（せんけいじそうろんり、Linear Temporal Logic、LTL）とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるまでその条件は真であるとかいった将来の出来事について論理式で表すことができる。 LTL では変項 p 1

線形応答理論

線形応答理論を使って、磁場や電場に対する、磁化率や電気伝導などの応答を扱うことができる。結晶格子内での格子のずれ（変位）を外場として、線形応答を使って変位に対する応答としてのフォノンの振動数や状態密度などを求めることができる（→DFPT法）。 変位の応答の虚部、あるいは流れの応答

線形システム論

果が得られた。そのため、現代制御論と言えば線形システム論を指すことが多い。非線形システムであっても、平衡点近傍で線形近似したものを対象に制御系を設計することでうまく行くことが多く、応用範囲は非常に広い。 状態方程式 (state equation) 一階線形定係数常微分方程式 x ˙ ( t ) =

共形場理論

2)は無限個の生成子からなる代数(ヴィラソロ代数)の部分代数となる。ヴィラソロ代数から得られるヒルベルト空間に対する制限は強力であり、ミニマル模型と呼ばれる模型群に対しては、(これには臨界点上の2次元イジング模型も含まれる)全ての相関関数の振る舞いをヴィラソロ代数

形式論理学

形式論理（けいしきろんり）とは、 近代（哲学からの影響の薄れた）以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。 (独)Formale Logik: ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた Transzendentale

非線形システム論

非線形システム論（ひせんけいシステムろん、英語: nonlinear system theory）とは、線形システムでないシステム、特に非線形の常微分方程式で表された系を対象とした制御理論であり、その対象は実に多岐に渡る。 その中でも、状態方程式が無限回微分可能であるものについて集中的に研究され、

理論

事象と比較して簡潔であり、さらに既存の知識や常識とは反する自明ではない結論を導き出し、しかも原因としての独立変数と結果の従属変数を繋ぐ枠組みが明快でなければならない。最後に理論はその真偽を問うことが可能な性質、つまり反証可能性を保持しなければならない。以上の理論の対象となっている事象の重要性や実務的な実践性を加えることもできる。

非形式論理学

非形式論理学（ひけいしきろんりがく、英: Informal logic）は、現代の論理学がもっぱら扱うのは「A → A ∨ B」といったような人工的・形式的（formal）な記号によって表現する形式論理であるのに対し、自然言語といったような非形式的なものを扱う論理学やその学際的分野である。非形式論理

有限変形理論

連続体の配置の変化は 変位場 によって記述することができる。変位場とは、物体中のすべての粒子の変位ベクトルを集めたベクトル場であり、変形後の配置と変形前の配置を関連づける。任意の2つの粒子間の距離は、変形が起こった場合にのみ変化する。変形を伴わない変位は剛体変位と呼ばれる。 変数jでラベルされた粒子の変位は次のように表すことができる；

理神論

〔deism〕 一七， 八世紀ヨーロッパの啓蒙主義時代の合理主義的な宗教観。 世界の創造者として神を認めるが， 神が世界の出来事に関与することは信じない。 聖書批判・比較宗教への道を開いた。 自然神論。

ポストコロニアル理論

コロニアリズムよりも好まれる場合もある。しかし、ポストコロニアリズム（ポストコロニアル研究）は、一般に、植民地主義思想に対する思想的な反応を示すものであり、むしろ接頭語のpost-が示唆するように、植民地主義の後に来るシステムを単に記述するものではない。ポストモダニズムがモダニズム

リアルビジネスサイクル理論

cycle）とは景気循環を指す。「実物的景気循環理論」と訳す場合もある。 リアルビジネスサイクル理論は、ジョン・ミュースのアイデアに基づいてロバート・ルーカスが最初に定式化したマクロ経済学のモデルである。新しい古典派経済学（new classical economics）の代表的なフレームワークの一つである。この理論

マーカス理論

逆反応が理解の助けになるかもしれない。この反応では仮説上の素電荷の移動による分極では A/D と A−/D+ の分極エネルギーが等しくなる程度まで達するには十分ではない。 ^ 置換反応などの通常の化学反応の場合、遷移状態はとても高い上側ポテンシャルエネルギー曲線上にあるため、これは無視される。 ^

メタ理論

メタ理論（メタりろん、英: metatheory）とは、理論についての理論のことである。あらゆる研究領域はそれぞれ、何らかのメタ理論を共有しており、それは明示された正しい理論である場合もあればそうでないこともある。より厳密な特定の意味で使用される場合、メタ理論は数学や数理論理学における「数学理論についての数学理論」のことを指す。

ゲーム理論

り優れた戦略が選別されていく進化論的な過程の結果として均衡に到達すると考えられる。後述する通り生物学では、明らかに思考を持たない動物の行動をゲーム理論の解概念によって予測・説明することに成功しており、生物学から逆輸入する形でエヴォルティヴな均衡解釈が体系化されている。以上が非協力ゲームの解概念の解

ダウ理論

また、主要トレンドは買い手の動向によって3つの段階からなるとしている。 先行期　：市場価格が下落し全ての悪材料は織り込み済みと判断した少数の投資家が、いわゆる"底値買い"をする時期。価格は、下落しているか底値圏で上下している。 追随期　：市場価格の上昇を見て追随者が買いを入れる時期。価格は、上昇局面にある。 利食い

論理学

ようにすると、その説明自体は論理的には何一つ曇り無く正確であることに注意。連続体仮説、選択公理などを参照のこと。 ^ a b 「論理学史」p195　山下正男　岩波書店　1983年9月14日第1刷発行 ^ 毎日新聞社編『話のネタ』PHP文庫 p.55 1998年 ^ 「近代科学の源をたどる

論理式

論理式 論理式 (数学) - 数理論理学、命題論理、述語論理において、形式文法の規則に合った式のこと。 プログラミング言語などで、ブーリアン型を扱う式のこと。 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探

プロトタイプ理論

プロトタイプ理論（プロトタイプりろん、英: prototype theory）とは、言語学、認知心理学上の理論であり、1970年代にエレノア・ロッシュらによって提唱された。 人間が実際にもつカテゴリーは、必要十分条件によって規定される古典的カテゴリーではなく、典型事例とそれとの類似性によって特徴づけ