意味 | 例文 (1件) |
Semantics of logicとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 形式意味論(けいしきいみろん、formal semantics)とは、自然言語や、コンピュータプログラミング言語の意味論(プログラム意味論)において、その「意味」、たとえば自然言語であれば「全ての犬は黒い」「ある犬は黒い」「全ての犬は黒くない」「ある犬は黒くない」の各文にはそれぞれ対称的な意味があるわけだが、それを形式的(formal)にあらわさんとする、あるいはプログラミング言語においては、それで書かれたプログラムをコンピュータに実行させた結果どのようにコンピュータが動作するのか(「効果」などとも言う)を、形式的にあらわさんとしたものである。
Weblio英和対訳辞書での「Semantics of logic」の意味 |
|
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
意味 | 例文 (1件) |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「Semantics of logic」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |