ホーア論理とは? - 日本語辞典 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ừ ホーア論理

ホーア論理

事前条件（precondition） P が成り立つときに、プログラム S を実行して、それが停止した場合においては必ず事後条件（postcondition） Q が成り立つならば、プログラム S は、事前条件 P と事後条件 Q とに関して部分的に正当（partially

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

Các từ liên quan tới ホーア論理

アントニー・ホーア

が、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes（CSP）などがある。CSPはプログラミング言語Occamに示唆を与えた。イギリス領セイロンのコロンボにてイギリス人の両親の元に生まれた。1956年にオックスフォード大学にて西洋古典学の学士号を取得。

ウィリアム・ホーア

ウィリアム・ホーア（William Hoare of Bath RA、1707年頃 – 1792年12月12日）はイギリスの肖像画家、版画家である。1740年頃から1759年の間、イングランド、サマセットの観光地、バースで働き、人気のある肖像画家になった。サフォークのアイ(Eye)で生まれた。オ

理論

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

理神論

りしんろん

〔deism〕

ポストコロニアル理論

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

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

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

マーカス理論

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

メタ理論

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