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

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 公理的意味論 ： ウィキペディア日本語版 公理的意味論[こうりてきいみろん] 計算機科学における公理的意味論（こうりてきいみろん、）とは、プログラム意味論の一つで、プログラムの意味としてホーア論理で記述される表明（assertion）の推移を割り当てるものを言う。プログラム正当性証明の基礎である。 == 参考文献 == * * * * * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「公理的意味論」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.