| 意味 | 例文 (3件) |
axiomatic semanticsとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 公理的意味論
「axiomatic semantics」の部分一致の例文検索結果
該当件数 : 3件
Today we will do a couple of examples of axiomatic semantics and then move on to denotational semantics.発音を聞く 例文帳に追加
今日は公理的意味論の例を二つほどやって, それから表示的意味論に進みましょう. - コンピューター用語辞典
The axiomatic semantics of a program could include pre- and post-conditions for operations.発音を聞く 例文帳に追加
プログラムの公理的意味論は,演算に対する事前条件および事後条件を含むことがある． - コンピューター用語辞典
A soundness theorem, showing the consistency between the axiomatic and operational semantics is stated and proved.発音を聞く 例文帳に追加
公理的意味論と操作的意味論との間の整合性を示す健全性定理について述べ, 証明した. - コンピューター用語辞典
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
ウィキペディア英語版での「axiomatic semantics」の意味 |
Axiomatic semantics
出典:『Wikipedia』 (2010/10/01 18:38 UTC 版)
|
| 意味 | 例文 (3件) |
|
|
axiomatic semanticsのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
| Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
| All Rights Reserved, Copyright © Japan Science and Technology Agency | |
| Copyright © 2024 CJKI. All Rights Reserved | |
| Copyright © 2024 Cross Language Inc. All Right Reserved. | |
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのAxiomatic semantics (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
閲覧履歴
 | 「axiomatic semantics」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
