ブラウザよりも高速アクセス！
27 関係: 多重集合、差集合、代数的構造、圏 (数学)、圏論、区分的、区間 (数学)、ロトフィ・ザデー、ファジィ制御、ファジィ論理、ファズ、ド・モルガンの法則、和集合、シュプリンガー・サイエンス・アンド・ビジネス・メディア、凸関数、共通部分 (数学)、砂山のパラドックス、順序集合、言語学、関数の台、自然言語、集合、集合の代数学、連続 (数学)、束 (束論)、数学的構造、曖昧。
多重集合
数学における多重集合（たじゅうしゅうごう、multiset）あるいはバッグ（bag; かばん）は、集合に同じ値の元がいくつも含まれるとき、各元がそれぞれいくつ含まれるかという重複度を考え合わせた集合概念である。非順序対、非順序組 (unordered tuple) ともいう。 クヌースによれば、1970年代に最初に多重集合 (multiset) という言葉を提案したのは、オランダ人数学者のニコラース・ホーバート・ド・ブラン (IPA) であるという クヌースは同書で、多重集合に対して提案された他の名前（例えば,リスト(list)、まとまり(bunch)、バッグ(bag)、堆積(heap)、標本(sample)、重みつき集合(weighted set)、コレクション(collection)、組(suite).など）も提示している。 多重集合の歴史に関するサーベイ論文である。 。しかし、数学における多重集合の概念は、"multiset" という名称がつけられる90年以上も前にすでに使用が認められる。実際、1888年に発表されたリヒャルト・デデキントの有名な論文 "Was sind und was sollen die Zahlen?" （「数とは何か、何であるべきか？」）において、実質的に多重集合の概念が用いられている。.
新しい！!: ファジィ集合と多重集合 · 続きを見る »
差集合
差集合（さしゅうごう、set difference）とは、ある集合の中から別の集合に属する要素を取り去って得られる集合のことである。特に、全体集合 を固定して、 からその部分集合 の要素を取り去って得られる集合を の補集合という。.
新しい！!: ファジィ集合と差集合 · 続きを見る »
代数的構造
数学において代数的構造（だいすうてきこうぞう、algebraic structure）とは、集合に定まっている算法（演算ともいう）や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。 また、代数的構造を持つ集合は代数系（だいすうけい、algebraic system）であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法（演算の規則）の族 R の組 (A, R) のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。 なお、分野（あるいは人）によっては代数系そのもの、あるいは代数系のもつ算法族のことを代数的構造とよぶこともあるようである。 後者は、代数系の代数構造とも呼ばれる。 現代では、代数学とは代数系を研究する学問のことであると捉えられている。.
新しい！!: ファジィ集合と代数的構造 · 続きを見る »
圏 (数学)
数学の一分野である圏論において中核的な概念を成す圏（けん、category）は、数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。圏はそれ自体、群に類似した代数的構造として理解することができる 二つの圏が等しい（相等）とは、それらの対象の集まりが等しく、かつそれら対象の間の射の集まりが等しく、さらにそれら射の対の結合の仕方が相等となることを言う。圏論の目的に照らせば、圏がまったく相等しいことは非常に強すぎる条件であり（それよりも緩いでさえ強すぎる）、圏同値がしばしば考慮される（二つの圏が同値であるとは、大まかに言えば圏の相等において等式で与えられる関係を、それぞれの圏における同型で置き換えたものとして与えられる）。 圏論が初めて現れるのは Eilenberg–Mac Lane, "General Theory of Natural Equivalences" (1945) と題された論文である。古典的だが今もなお広く用いられる教科書として、マクレーンの がある。.
新しい！!: ファジィ集合と圏 (数学) · 続きを見る »
圏論
圏論（けんろん、category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。 考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。.
区分的
数学における区分定義写像（くぶんていぎしゃぞう、piecewise-defined function; 区分的に定義された函数）あるいは区分（ごとの）写像 (piecewise function) は、独立変数の値によってその写像を定義する「対応規則」が変化するような写像である。つまり区分定義写像は、その定義域の分割の各小片（定義域片）上で定義された複数の写像の寄せ集めとして定義される。 区分ごとに考えるというのは写像そのものの性質ではなく実際には表示法を言っているのであるが、適当な仮定を追加して写像の性質を記述することに利用できる。たとえば、「区分的に微分可能」や「区分的に連続的微分可能」な函数は、定義域片上ではいずれも微分可能だが、全体としては（つまり定義域片の「境界」で）微分可能でないことが起こり得る。凸解析では、そのような点をも含むように微分係数の概念を一般化するために、区分定義函数の劣微分が考えられる。.
新しい！!: ファジィ集合と区分的 · 続きを見る »
区間 (数学)
数学における（実）区間（じつくかん、(real) interval）は、実数からなる集合で、その集合内の任意の二点に対しその二点の間にあるすべての数がその集合に属するという性質を持つものである。例えば、 を満たす数 全体の成す集合は、 と, およびその間の数すべてを含区間である。他の著しい例として、実数全体の成す集合, 負の実数全体の成す集合および空集合などが挙げられる。 実区間は積分および測度論において、「大きさ」「測度」「長さ」などと呼ばれる量を容易に定義できるもっとも単純な集合として重要な役割がある。測度の概念は実数からなるより複雑な集合に対して拡張され、ボレル測度やルベーグ測度といったような概念までにつながっていく。 不確定性や数学的近似および算術的丸めがあっても勝手な公式に対する保証された一定範囲を自動的に与える一般の法としてのを考えるにあたって、区間はその中核概念を成す。 勝手な全順序集合、例えば整数の集合や有理数の集合上でも、区間の概念は定義することができる。.
新しい！!: ファジィ集合と区間 (数学) · 続きを見る »
ロトフィ・ザデー
トフィ・アスカー・ザデー（Lotfi Asker Zadeh、本名：ロトフィー・アリーアスキャルザーデ（ペルシア語: لطفی علیعسکرزاده Loṭfī ʿAlī-ʿAskar-Zāde）、1921年2月4日 - 2017年9月6日）はアゼルバイジャン・バクー生まれの、数学者・電気工学者・計算機科学者・人工知能学者。父親はアゼルバイジャン人（アルダビール州の出身地）、母親はユダヤ系ロシア人。ファジィ集合の提唱者として知られる。 イランで育ち、アルボルズ・ハイスクール、テヘラン大学で学ぶ。1946年にMITより電気工学修士号を、1949年にコロンビア大学より同じく電気工学の博士号を取得。 1949年から1959年までコロンビア大学で教え、1957年に教授に昇格した。1959年から1992年までカリフォルニア大学バークレー校教授。 1965年にファジィ集合を、1973年にファジィ論理を提唱した。 1952年頃、John R. Ragazziniと共に離散信号の分析に対して有用なZ変換の研究、発展に寄与したとして知られている。.
新しい！!: ファジィ集合とロトフィ・ザデー · 続きを見る »
ファジィ制御
ファジィ制御（ファジィせいぎょ、英語：fuzzy control） は、ファジィ集合 (fuzzy set) を利用して制御モデルや制御系を構成した制御である。ファジィ集合は、点がある集合に属するか属さないかのいずれかとなる通常の集合と異なり、中間の状態を許容した集合である。これにより、自然言語的（と、ファジィの研究者は主張する）あいまいな表現 − 例えば（ とても大きい / やや大きい / やや小さい / とても小さい）など − に対しての中間的な値を対応させることができる。.
新しい！!: ファジィ集合とファジィ制御 · 続きを見る »
ファジィ論理
ファジィ論理（ファジィろんり、Fuzzy logic）は、1965年、カリフォルニア大学バークレー校のロトフィ・ザデーが生み出したファジィ集合から派生した多値論理の一種で、真理値が0から1までの範囲の値をとり、古典論理のように「真」と「偽」という2つの値に限定されないことが特徴である。さらにlinguistic variablesは、「ちょっと暑い」というような、言語学的（linguistic）な（と、ファジィの研究者は表現する）ものを表す変数（variables）である（その内容自体は、「気温が摂氏30度の時は 0.2（30度は「ちょっと」ではないから）」「気温が摂氏25度の時は 0.8」「気温が摂氏20度の時は 0.3」といったように、至って定量的なものであり、「言語学的な値」という何かよくわからないフワフワしたものを扱ってくれる魔法ではない）。ファジィ論理は制御理論（ファジィ制御）から人工知能まで様々な分野に応用されている。.
新しい！!: ファジィ集合とファジィ論理 · 続きを見る »
ファズ
ファ.
新しい！!: ファジィ集合とファズ · 続きを見る »
ド・モルガンの法則
ド・モルガンの法則（ド・モルガンのほうそく、De Morgan の法則）は、ブール論理や集合の代数学において、論理和と論理積と否定（集合のことばでは、共通部分と合併と補集合）の間に成り立つ規則性である。名前は数学者オーガスタス・ド・モルガン（1806–1871）にちなむ。 この関係性は（論理のことばで言うと）「真と偽を入替え、論理和を論理積を入替えた論理体系」は、元の論理体系と同一視できる、ということであるので、ド・モルガンの双対性（英: De Morgan's duality）と呼ばれることもある。.
新しい！!: ファジィ集合とド・モルガンの法則 · 続きを見る »
和集合
数学において、集合族の和集合（わしゅうごう）、あるいは合併集合（がっぺいしゅうごう）、合併（がっぺい、）、あるいは演算的に集合の和（わ、sum）、もしくは'''結び'''（むすび、）とは、集合の集まり（集合族）に対して、それらの集合のいずれか少なくとも一つに含まれているような要素を全て集めることにより得られる集合のことである。.
新しい！!: ファジィ集合と和集合 · 続きを見る »
シュプリンガー・サイエンス・アンド・ビジネス・メディア
ュプリンガー・サイエンス・アンド・ビジネス・メディア（Springer Science+Business Media, Springer）は、科学（Science）、技術（Technology、工学など）、医学（Medicine）、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"（「シュプリンガー・リンク」） 、"SpringerProtocols"（「」） 、"SpringerImages"（「シュプリンガー・イメージ」） 、"SpringerMaterials"（「シュプリンガー・マテリアル」） などいくつかの科学データベース・サービスのホスティングも行っている。 出版物には、参考図書（Reference works、レ（リ）ファレンス・ワークス）、教科書、モノグラフ（Monograph）、（Proceedings）、叢書など多数が含まれる。また、シュプリンガー・リンクには45,000以上のタイトルが自然科学など13の主題・テーマで集められており、それらは電子書籍として利用可能である。シュプリンガーはSTM分野の書籍に関しては世界最大の出版規模を持ち、ジャーナルでは世界第2位である（第1位はエルゼビア）。 多数のインプリントや、20ヶ国に約55の発行所（パブリッシング・ハウス）、5,000人以上の従業員を抱え、毎年約2,000のジャーナル、7,000以上の新書（これにはSTM分野だけではなく、B2B分野のものも含まれる）を発刊している。シュプリンガーはベルリン、ハイデルベルク、ドルトレヒト、ニューヨークに主要オフィスを構える。近年成長著しいアジア市場のために、アジア地域本部を香港に置いており、2005年8月からは北京に代表部を設置している 。 2015年5月、シュプリンガー・サイエンス+ビジネスメディアとマクミラン・サイエンス・アンド・エデュケーションの大半の事業の合併が、欧州連合や米国司法省などの主要な公正競争監視機関により承認された。新会社の名称は「シュプリンガー・ネイチャー（Springer Nature）」。.
新しい！!: ファジィ集合とシュプリンガー・サイエンス・アンド・ビジネス・メディア · 続きを見る »
凸関数
凸関数（とつかんすう、convex function）、下に凸関数 とは、ある区間で定義された実数値関数 で、区間内の任意の 2 点 と開区間 内の任意の に対して を満たすものをいう。言い換えれば、エピグラフ（グラフ上およびグラフの上部の点の集合）が凸集合である関数である。より一般に、ベクトル空間の凸集合上定義された関数に対しても同様に定義する。 また、狭義凸関数とは、任意の異なる 2 点 と開区間 内の任意の に対して を満たす関数である（従って、下に凸な関数の事である）。 が凸関数のとき、 を凹関数（おうかんすう、）と呼ぶ。凸関数を「下に凸な関数」、凹関数を「上に凸な関数」と称することもある。.
新しい！!: ファジィ集合と凸関数 · 続きを見る »
共通部分 (数学)
数学において、集合族の共通部分（きょうつうぶぶん、intersection）とは、与えられた集合の集まり（族）全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。共通集合（きょうつうしゅうごう）、交叉（こうさ、交差）、交わり（まじわり、）、積集合（せきしゅうごう）、積（せき）、などとも呼ばれる。ただし、積集合は直積集合の意味で用いられることが多い。.
新しい！!: ファジィ集合と共通部分 (数学) · 続きを見る »
砂山のパラドックス
山のパラドックス（すなやまのパラドックス、paradox of the heap）は、述語の曖昧性から生じるパラドックスの一種である。ソリテス・パラドックス (sorites paradox) とも呼ばれ、soritesはギリシア語のσωρός（sōros、堆積物）の形容詞化した言葉である (σωρίτης (sōritēs))。簡単に言えば、砂の山があったとき、そこから数粒の砂を取り去っても砂山のままだが、そうやって粒を取り去っていったとき、最終的に一粒だけ残った状態でも「砂山」と言えるか、という問題である。 基本的には相対的で定義がはっきりしないことを扱う学問領域である言語哲学に属する問題である。一方数学では、全ての用語が明確な定義を持っている。このパラドックスは不明確な用語を数学的な論理式に持ち込む際に常に付きまとう問題であり、定義不能な不明確な概念に論理を適用する際の問題である。.
新しい！!: ファジィ集合と砂山のパラドックス · 続きを見る »
順序集合
数学において順序集合（じゅんじょしゅうごう、ordered set）とは「順序」の概念が定義された集合の事で、「順序」とは大小、高低、長短等の序列に関わる概念を抽象化したものである。ただし、順序集合内の2つの元, に順序関係が定まっている（「比較可能」である）必要はなく、両者が「比較不能」であってもよい。 比較不能のケースを許容していることを強調して順序集合の事を半順序集合（はんじゅんじょしゅうごう、partially ordered set, poset）ともいう。一方、半順序集合の中で比較不能のケースがないものを特に全順序集合 という。（「半順序」という言葉が「全順序」の対義語ではない事に注意。全順序集合も半順序集合の一種である。） 全順序集合の簡単な例は整数の集合や実数の集合で、通常の大小比較を順序とみなしたものがある。 一方、全順序ではない半順序集合の例としては、正の整数全体の集合に整除関係で順序を入れたものや、（2つ以上元を含む）集合の冪集合において、包含関係を順序とみなしたものがある。例えば2元集合 において と はいずれも他方を包含していないので S の冪集合は全順序ではない。 実生活に近い例では、「AさんはBさんの子孫である」という事を「A＜B」という大小関係とみなす事で人間全体の集合を半順序集合とみなせる。AさんとBさんはどちらも他方の子孫でない事もありうる（兄弟同士、叔父と甥、赤の他人等）ので、この順序集合は全順序ではない。.
新しい！!: ファジィ集合と順序集合 · 続きを見る »
言語学
言語学（げんごがく）は、ヒトが使用する言語の構造や意味を科学的に研究する学問である。.
新しい！!: ファジィ集合と言語学 · 続きを見る »
関数の台
数学における、ある函数の台（だい、）とは、その函数の値が 0 とならない点からなる集合、あるいはそのような集合の閉包のことを言う。この概念は、解析学において特に幅広く用いられている。また、何らかの意味で有界な台を備える函数は、様々な種類の双対に関する理論において主要な役割を担っている。.
新しい！!: ファジィ集合と関数の台 · 続きを見る »
自然言語
自然言語（しぜんげんご、natural language）とは、人間によって日常の意思疎通のために用いられる、文化的背景を持って自然に発展してきた言語である。分類として、音声言語と文字言語、口頭言語と書記言語、口語と文語といったような分類があるが、いずれも似ているようだが着目点や対比軸が異なる分類であり、混同してはならない。また、以上のような分類がいずれも当たらない言語もあり、例えば日本手話（「日本語対応手話」とは異なる）がそうである。.
新しい！!: ファジィ集合と自然言語 · 続きを見る »
集合
数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。.
集合の代数学
集合の代数学（しゅうごうのだいすうがく、algebra of sets）は、集合の集まりを結び・交わり・補演算といった集合演算、集合の相等関係・包含関係のような二項関係などを持つ体系として捉えたものである。集合の代数学を考えることで、集合に関する基本的な性質・法則を明らかにし、これらの演算や関係に伴って必要となる式の評価や計算の実行に関して系統的な扱いができるようになる。.
新しい！!: ファジィ集合と集合の代数学 · 続きを見る »
連続 (数学)
数学において、連続（れんぞく、continuous）および連続性（れんぞくせい、continuity）とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。.
新しい！!: ファジィ集合と連続 (数学) · 続きを見る »
束 (束論)
数学における束（そく、lattice）は、任意の二元集合が一意的な上限（最小上界、二元の結びとも呼ばれる）および下限（最大下界、二元の交わりとも呼ばれる）を持つ半順序集合である。それと同時に、ある種の公理的恒等式を満足する代数的構造としても定義できる。二つの定義が同値であることにより、束論は順序集合論と普遍代数学の双方の領域に属することとなる。さらに、半束 (semilattice) の概念は束の概念を含み、さらにハイティング代数やブール代数の概念も含む。これら束に関連する構造は全て順序集合としても代数系としても記述することができるという特徴を持つ。.
新しい！!: ファジィ集合と束 (束論) · 続きを見る »
数学的構造
数学における構造（こうぞう、mathematical structure）とは、ブルバキによって全数学を統一的に少数の概念によって記述するために導入された概念である。集合に、あるいは圏の対象に構造を決めることで、その構造に対する準同型が構造を保つ写像として定義される。数学の扱う対象は、基本的には全て構造として表すことができる。.
新しい！!: ファジィ集合と数学的構造 · 続きを見る »
曖昧
曖昧（あいまい）とは、1つの表現や文字列、項目などが2つ以上の意味にとれること、もしくは、周辺が不明瞭なことである。.
ここにリダイレクトされます：
ファジー、ファジー集合論、ファジィ、ファジィ理論、ファジィ集合論。
