翻訳と辞書 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　 ・ ー ： [ちょうおん] 　(n) long vowel mark (usually only used in katakana) 公理スキーマ （ リダイレクト：公理型 ） ： ウィキペディア日本語版 公理型[こうりがた] 公理型（英：axiom schema、英複数形：axiom schemata）とは、数理論理学における用語で、公理を一般化した概念である。 ==概要== 任意の公理型は何らかの公理系における整論理式であり、そこには一つ以上の型変数が現れる。これらの変数はメタ言語学的な構成物であり、所与の体系における項や部分論理式に相当し、一定の条件を満たすことが要請される場合やされない場合がある。一定の条件とは、例えば特定の変数が自由変項であることや、またはそうした特定の変数が部分論理式や項に現れないことなどである。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「公理型」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Axiom schema 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.