「正当性を示す」を解説文に含む見出し語の検索結果(1～10/23件中)
間欠的表明プログラムの正当性証明の一つで,プログラム中のある点で少なくとも1回はその表明が満足されることを主張する表明をいう.この考えに基づいた表明を用いれば1度の証明でプログラムの全正当性を示すこと...
読み方 カンケツテキヒョウメイintermittent assertionプログラムの正当性証明の一つで,プログラム中のある点で少なくとも1回はその表明が満足されることを主張する表明をいう.この考えに...
読み方 カンケツテキヒョウメイintermittent assertionプログラムの正当性証明の一つで,プログラム中のある点で少なくとも1回はその表明が満足されることを主張する表明をいう.この考えに...
辨証 - 日本語WordNet
【動詞】show, demonstrate, shew, establish, prove例、説明または実験によって、何かの妥当性を確立する(establish the validity of som...
【動詞】1 ground, base, establish, found基礎として用いる(use as a basis for)base a claim on some observation いくつ...
論証 - 日本語WordNet
【動詞】show, demonstrate, shew, establish, prove例、説明または実験によって、何かの妥当性を確立する(establish the validity of som...
相対的完全性プログラムの正当性を示すときに用いる検証系において,表明言語に対する公理系が十分豊富な内容を持つものであれば,G¨odelの不完全性定理が示すように,検証系が整合的かつ完全であることは期待...
読み方 ソウタイテキカンゼンセイrelative completenessプログラムの正当性を示すときに用いる検証系において,表明言語に対する公理系が十分豊富な内容を持つものであれば,G¨odelの不...
読み方 ソウタイテキカンゼンセイrelative completenessプログラムの正当性を示すときに用いる検証系において,表明言語に対する公理系が十分豊富な内容を持つものであれば,G¨odelの不...
< 前の結果 | 次の結果 >