翻訳と辞書 Words near each other ・ somar software ・ some random x ・ sonata ・ sonet ・ sony playstation ・ sorcerer ・ sorcerer's apprentice mode ・ sort ・ sorting ・ sos ・ sound ・ sound blaster ・ sound card ・ soundex ・ soundness ・ source ・ source code ・ source code escrow ・ source code management ・ source language Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク sound ： FOLDOC sound 1. audio. 2. An {inference system} A is sound with respect to another system B if A can only reach conclusions which are true in B. A type inference system is considered sound with respect to a semantics if the type inferred for an expression is the same as the type inferred for the meaning of that expression under the semantics. The dual to soundness is completeness. (1995-03-01) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.