axiomaticとは 意味・読み方・使い方

The axiomatic semantics of a program could include pre- and post-conditions for operations.発音を聞く 例文帳に追加

プログラムの公理的意味論は,演算に対する事前条件および事後条件を含むことがある． - コンピューター用語辞典

Today we will do a couple of examples of axiomatic semantics and then move on to denotational semantics.発音を聞く 例文帳に追加

今日は公理的意味論の例を二つほどやって, それから表示的意味論に進みましょう. - コンピューター用語辞典

A soundness theorem, showing the consistency between the axiomatic and operational semantics is stated and proved.発音を聞く 例文帳に追加

公理的意味論と操作的意味論との間の整合性を示す健全性定理について述べ, 証明した. - コンピューター用語辞典

In wasan, construction problems were scarcely dealt with, not to mention Euclidean axiomatic geometry, which was entirely outside their interest.発音を聞く 例文帳に追加

また、作図問題などはあまり扱われず、いわんやユークリッド流の公理的な幾何学などは全く受け入れられなかった。 - Wikipedia日英京都関連文書対訳コーパス

pertaining to or characteristic of a body of rules and principles accepted as axiomatic発音を聞く 例文帳に追加

自明であると認められる多数の規則と原則に関する、または、自明であると認められる多数の規則と原則に特徴的な - 日本語WordNet

The notion, that the people have no need to limit their power over themselves, might seem axiomatic, when popular government was a thing only dreamed about, or read of as having existed at some distant period of the past.発音を聞く 例文帳に追加

人民は自らに対してその権力を制限する必要はないという観念は、民衆統治がただの夢想と思われたり、遥かな昔に存在したものと解されているうちは、自明のことのように思えたかもしれません。 - John Stuart Mill『自由について』

The axiomatic service design method includes: a stage of dividing service design into the design areas of an organization domain, a role domain and a resource domain and transferring parameters between the continuous domains along a design process; and a stage of extracting design restrictions using a design matrix and a design parameter vector.例文帳に追加

サービス設計を組織ドメイン、役割ドメイン、リソースドメインの設計領域に分け、設計過程に沿って連続するドメイン間においてパラメータの転写行う段階と、設計行列および設計パラメータベクトルを用いて設計制約を抽出する段階と、から成る公理的サービス設計方法を提供する。 - 特許庁