formal semanticsとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 形式的意味論
「formal semantics」の部分一致の例文検索結果
該当件数 : 4件
This specifies the formal syntax and semantics of absolute URLs.例文帳に追加
この RFC では絶対 URL の形式的な文法と意味付けを仕様化しています。 - Python
Action Semantics is a framework for the formal description of programming languages.発音を聞く 例文帳に追加
アクション・セマンティクスはプログラミング言語の形式的記述のための枠組みの一つである。 - コンピューター用語辞典
If we take "linguistics" to mean any systematic study of language, then formal semantics is one of the oldest branches within linguistics.発音を聞く 例文帳に追加
「言語学」を言語の系統的な学問を意味するものとするならば、形式的意味論は言語学における最も古い分枝の一つである。 - コンピューター用語辞典
The models have a formal action semantics so that they are executable and testable and can be translated directly into code by executable UML model compilers.発音を聞く 例文帳に追加
これらのモデルは形式上のアクション・セマンティクスを持ち、そのためそれらが実行可能、試験可能であり、また実行可能UMLモデル・コンパイラによって直接にコードに翻訳され得るのである。 - コンピューター用語辞典
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
Wiktionary英語版での「formal semantics」の意味 |
formal semantics
出典:『Wiktionary』 (2026/03/20 18:45 UTC 版)
名詞
formal semantics (uncountable)
- The study of the semantics, or interpretations, of formal languages.
- (computer science) the rigorous mathematical study of the meaning of programming languages
|
|
|
formal semanticsのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
| Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
| All Rights Reserved, Copyright © Japan Science and Technology Agency | |
|
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License |
|
| Copyright © 2026 CJKI. All Rights Reserved | |
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのformal semantics (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
閲覧履歴
 | 「formal semantics」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
