翻訳と辞書 Words near each other ・ metaclass ・ metadata ・ metadata information partners ・ metafile ・ metafont ・ metaheuristic ・ metainformation ・ metal ・ metal oxide semiconductor ・ metal oxide semiconductor field effect transistor ・ metalanguage ・ metaphone ・ metaprogram ・ metasyntactic variable ・ metasyntax ・ meteor ・ meter ・ method ・ methodology ・ methods Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク metalanguage ： FOLDOC metalanguage 1. [theorem proving] A language in which proofs are manipulated and tactics are programmed, as opposed to the logic itself (the "{object language}"). The first ML was the metalanguage for the Edinburgh LCF proof assistant. 2. [logic] A language in which to discuss the truth of statements in another language. スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.