意味 | 例文 (3件) |
公理的意味論の英語
追加できません
(登録数上限)
英訳・英語 axiomatic semantics
「公理的意味論」の部分一致の例文検索結果
該当件数 : 3件
今日は公理的意味論の例を二つほどやって, それから表示的意味論に進みましょう.例文帳に追加
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.発音を聞く - コンピューター用語辞典
プログラムの公理的意味論は,演算に対する事前条件および事後条件を含むことがある.例文帳に追加
The axiomatic semantics of a program could include pre- and post-conditions for operations.発音を聞く - コンピューター用語辞典
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
|
意味 | 例文 (3件) |
|
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |