コンピューター用語辞典

日外アソシエーツ株式会社

axiomatic semantics

公理的意味論

用例
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

axiomatic semantics

公理的意味論

日英・英日専門用語辞書

日中韓辭典研究所

axiomatic semantics

公理的意味論

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

Axiomatic semantics

公理的意味論
公理的意味論（こうりてきいみろん、Axiomatic Semantics）とは、数理論理学に基づいてプログラムの正当性を証明する手法。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

ウィキペディア英語版

出典：Wikipedia

Axiomatic semantics

出典:『Wikipedia』 (2010/10/01 18:38 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

Axiomatic semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic.

閲覧履歴

全履歴クリア

・axiomatic semantics
・sure-footed
・tipstaffs
・Saigon
・canel
・sensuousness
・Krasna
・unfavourable
・Donnean
・trialler
単語帳に追加

axiomatic semanticsのページの著作権