翻訳と辞書 Words near each other ・ 創造学園大学高等学校 ・ 創造学園高等学校 ・ 創造性 ・ 創造性の育成塾 ・ 創造物 ・ 創造理工学研究科 ・ 創造産業 ・ 創造的 ・ 創造的破壊 ・ 創造的進化 ・ 創造的集合 ・ 創造的集合と生産的集合 ・ 創造社 ・ 創造神 ・ 創造神話 ・ 創造科学 ・ 創造空間9001 ・ 創造美術 ・ 創造者 ・ 創造者 (クルアーン) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 創造的集合 ： ミニ英和和英辞書 創造的集合[そうぞうてき] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 創 ： [そう, はじめ] 　【名詞】 1. start　2. originate　 ・ 創造 ： [そうぞう] 　 1. (n,vs) creation　 ・ 創造的 ： [そうぞうてき] 　 1. (adj-na) creative　 ・ 的 ： [まと, てき] 　【名詞】 1. mark　2. target　 ・ 集 ： [しゅう] 　【名詞】 1. collection　 ・ 集合 ： [しゅうごう] 　 1. (n,vs) (1) gathering　2. assembly　3. meeting　4. (2) (gen) (math) set　 ・ 合 ： [ごう] 　【名詞】 1. go (approx. 0.18l or 0.33m)　 創造的集合 （ リダイレクト：創造的集合と生産的集合 ） ： ウィキペディア日本語版 創造的集合と生産的集合[せいさんてきしゅうごう] 生産的集合（せいさんてきしゅうごう、）と創造的集合（そうぞうてきしゅうごう、）とは、自然数の集合の類型であり、数理論理学において重要な応用を持つ。これらはやなどの数理論理学のテキストにおける標準的なトピックである。 ==定義と例== 以下では $\backslash varphi\_i$ は計算可能関数のアクセプタブル・ナンバリング、$W\_i$ は対応する帰納的可算集合のナンバリングとする。 自然数の集合 $P$ が生産的とは、帰納的（計算可能）関数 $f$ が存在して、任意の $i$ に対して :$W\_i\; \backslash subseteq\; P$ ならば $f(i)\backslash downarrow$ かつ $f(i)\; \backslash in\; P\; \backslash setminus\; W\_i$ が成り立つことをいう。このとき関数 $f$ を $P$ の生産的関数という。 自然数の集合 $C$ が創造的とは、$C$ が帰納的可算であり、補集合 $\backslash mathbb\; \backslash setminus\; C$ が生産的であることをいう。後で述べるように創造的集合は帰納的可算な補集合を持たない。すなわち創造的集合は帰納的でない。 典型的な創造的集合に $K\; =\; \backslash$ がある。この集合は停止性問題の対角線を表している。この補集合 $\backslash bar\; =\; \backslash$ は生産的関数 $f(i)=i$ を持つ生産的集合である： $W\_i\; \backslash subseteq\; \backslash bar$ と仮定する。このとき $i\; \backslash in\; W\_i$ ならば $i\; \backslash in\; K$ かつ $i\; \backslash in\; \backslash bar$ となって不合理。すなわち $i\; \backslash notin\; W\_i$。それゆえ $i\; \backslash in\; \backslash bar$。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「創造的集合と生産的集合」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.