翻訳と辞書 Words near each other ・ 公物 ・ 公現入道親王 ・ 公現法親王 ・ 公現祭 ・ 公現節 ・ 公理 ・ 公理スキーマ ・ 公理会潞河書院 ・ 公理図式 ・ 公理型 ・ 公理的意味論 ・ 公理的確率 ・ 公理的集合論 ・ 公理系 ・ 公生活 ・ 公生涯 ・ 公用 ・ 公用人 ・ 公用切手 ・ 公用文 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 公理的意味論 ： ミニ英和和英辞書 公理的意味論[こうりてきいみろん] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 公 ： [こう] 　 1. (n,suf) prince　2. lord　3. duke　4. public　5. daimyo　6. companion　7. subordinate ・ 公理 ： [こうり] 　【名詞】 1. axiom　2. maxim　3. self-evident truth ・ 理 ： [り] 　【名詞】 1. reason　 ・ 的 ： [まと, てき] 　【名詞】 1. mark　2. target　 ・ 意味 ： [いみ] 　 1. (n,vs) meaning　2. significance　 ・ 意味論 ： [いみろん] 　【名詞】 1. semantics　2. the study of meaning ・ 味 ： [あじ] 　 1. (adj-na,n) flavor　2. flavour　3. taste　 ・ 論 ： [ろん] 　【名詞】 1. (1) argument　2. discussion　3. dispute　4. controversy　5. discourse　6. debate　7. (2) theory　8. doctrine　9. (3) essay　10. treatise　1 1. comment 公理的意味論 ： ウィキペディア日本語版 公理的意味論[こうりてきいみろん] 計算機科学における公理的意味論（こうりてきいみろん、）とは、プログラム意味論の一つで、プログラムの意味としてホーア論理で記述される表明（assertion）の推移を割り当てるものを言う。プログラム正当性証明の基礎である。 == 参考文献 == * * * * * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「公理的意味論」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.