语言
没有数据
通知
无通知
ブーリアン型 - プログラミング言語における型のひとつ 論理型言語 - プログラミング言語の一種 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしている
事象と比較して簡潔であり、さらに既存の知識や常識とは反する自明ではない結論を導き出し、しかも原因としての独立変数と結果の従属変数を繋ぐ枠組みが明快でなければならない。最後に理論はその真偽を問うことが可能な性質、つまり反証可能性を保持しなければならない。以上の理論の対象となっている事象の重要性や実務的な実践性を加えることもできる。
ただし型推論と関数の多重定義（オーバーロード）は相性が悪く、オーバーロードをサポートする言語では型推論による恩恵が十分に受けられない（型推論ではシグネチャを一意に決めることができない）ケースがある。 この節では型推論の構文解析理論には踏み込んでいない。 ほとんどの言語においては、関数の仮引数および戻り値、演算子のオペランドお
〔deism〕
コロニアリズムよりも好まれる場合もある。しかし、ポストコロニアリズム（ポストコロニアル研究）は、一般に、植民地主義思想に対する思想的な反応を示すものであり、むしろ接頭語のpost-が示唆するように、植民地主義の後に来るシステムを単に記述するものではない。ポストモダニズムがモダニズム
cycle）とは景気循環を指す。「実物的景気循環理論」と訳す場合もある。 リアルビジネスサイクル理論は、ジョン・ミュースのアイデアに基づいてロバート・ルーカスが最初に定式化したマクロ経済学のモデルである。新しい古典派経済学（new classical economics）の代表的なフレームワークの一つである。この理論
逆反応が理解の助けになるかもしれない。この反応では仮説上の素電荷の移動による分極では A/D と A−/D+ の分極エネルギーが等しくなる程度まで達するには十分ではない。 ^ 置換反応などの通常の化学反応の場合、遷移状態はとても高い上側ポテンシャルエネルギー曲線上にあるため、これは無視される。 ^
メタ理論（メタりろん、英: metatheory）とは、理論についての理論のことである。あらゆる研究領域はそれぞれ、何らかのメタ理論を共有しており、それは明示された正しい理論である場合もあればそうでないこともある。より厳密な特定の意味で使用される場合、メタ理論は数学や数理論理学における「数学理論についての数学理論」のことを指す。
搜索 
搜索 搜索 
