hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
ファジィ論理 形式ファジィ論理
数理論理学には、これまで説明してきたファジィ論理をモデルとして形式体系がいくつか存在する。その多くは、いわゆるt-normファジィ論理に属する。なお、各論理体系で使われる演算は前述のザデー演算子とは異なる場合がある。
主な命題ファジィ論理としては、以下のものがある。
これらは、いずれも命題論理（モデルはブール代数）を拡張したものである。
命題論理から一階述語論理が生成されるように、上述のファジィ論理に全称量化子と存在量化子を追加すると述語ファジィ論理となる。量化された論理式のファジィ真理値について、全称量化では下限、存在量化では上限を意味する。
「決定可能部分集合」や「帰納的可算部分集合」は古典数学と古典論理の基本である。すると当然ながら、ファジィ集合論にそれらを拡張するという問題が生じる。このような方向性の最初の提案は、E.S. Santos による「ファジィ・チューリングマシン」、「マルコフ正規ファジィアルゴリズム」、「ファジィ・プログラム」の提唱だった。それに続いて L. Biacino と G. Gerla がそれらの定義が適正でないことを示し、次のようなことを提案した。Ü は [0,1] の有理数の集合を意味する。
ファジィ論理 形式ファジィ論理
ファジィ集合 S のファジィ部分集合 s : S [0,1] が「帰納的可算」であるのは、帰納的写像 h : S×N Ü が存在する場合で、それはすなわち S の全ての x について関数 h(x,n) が n に対応して増加し、s(x) = lim h(x,n) となる場合である。s が「決定可能」であるのは、s とその補集合 –s が共に「帰納的可算」の場合である。Gerla 2006でL-部分集合の一般ケースでのこうした理論の拡張が示されている。提案されている定義はファジィ論理ともうまく整合している。実際、次の定理が成り立つ（ファジィ論理の推論機構が明らかな有効的特性を満たしているならば）。
定理
どのような公理化可能なファジィ理論も帰納的可算である。一般に妥当な論理式のクリスプ集合が帰納的可算でないとしても、論理的に真である論理式のファジィ集合は帰納的可算である。さらに、公理化可能で完全な任意の理論は決定可能である。
ファジィ部分集合の帰納的可算性についての提案された観念が適正なものだとしても、ファジィ論理についてチャーチ＝チューリングのテーゼが成り立つかどうかは未解決の問題である。そのためには、ファジィ文法やファジィ・チューリングマシンのさらなる研究が必要である。さらにその先にある未解決の問題として、ゲーデルの定理群のファジィ論理向けの拡張がある。
ファジィ論理 ファジィ・データベース
ファジィ関係が定義されれば、ファジィ関係データベースを開発することもできる。世界初のファジィ関係データベース FRDB は、Maria Zemankova が論文で発表した。その後 Buckles-Petry モデル、Prade-Testemale モデル、Umano-Fukami モデル、GEFREDモデルといったモデルも生み出されている。ファジィ・データベースという意味では、クエリのためのファジィ問い合わせ言語もいくつか定義されており、SQLf、FSQL などがある。これらはSQL文に、ファジィ的要素（ファジィ条件、ファジィ演算、ファジィ制約、ファジィ制限、ファジィしきい値、言語ラベルなど）を取り入れた構造を定義している。
ファジィ論理 確率論との比較
ファジィ論理も確率も不確かさを別の方法で表現している。ファジィ論理も確率論も主観的信念を表現できるが、ファジィ集合論ではメンバシップの概念を使い、確率論ではベイズ確率の概念を使う。この区別は主に思想的なものだが、ファジィ論理に基づく確率測度は確率論の確率測度とは本質的に異なり、直接的に等価ではない。統計学者の多くはブルーノ・デ・フィネッティの業績を信じており、数学的不確かさを論じる理論は1つで十分であって、ファジィ論理は不要だと考えている。一方バート・コスコは、確率では一種類の不確かさしか表せないのだから、確率論がファジィ論理に包含されるとした。彼はまた、ファジィ集合論の概念からベイズの定理を導出できることを証明したと主張している。ファジィ論理を生み出したロトフィ・ザデーは、ファジィ論理は確率とは異なる性格を持つとし、確率を代替するものではないとした。彼は確率論の代替となる Possibility Theory も生み出している。
HEAVEN (HIMの曲)
「HEAVEN」（ヘヴン）は、1996年12月1日発売のHIMの7枚目のシングル。
野間城 (摂津国)
野間城（のまじょう）は、大阪府豊能郡能勢町野間中にあった日本の城（山城）。
野間城 (摂津国) 概要
仁安3年（1168年）に多田源氏の流れを汲む野間高頼によって築かれたと伝わる。野間氏は、摂津能勢地方において同族の能勢氏、余野氏と共に能勢三惣領の一つとされている。
南北朝時代 (日本)の城主は内藤満幸で、その娘は南朝側の楠木正成の長男楠木正行に嫁いだ。満幸が北朝側の高師直に寝返ったため離縁され、摂津池田氏の池田教依に嫁ぎ直したとされる。
天正年間（1573年‐1591年）には高頼の後裔野間豊後守資持が在城していたと伝わっている。
プレイヤー・オブ・ザ・マンス
プレイヤー・オブ・ザ・マンス (The Player of the Month Award) は、メジャーリーグベースボール(MLB)の賞の1つ。レギュラーシーズンの4月から9月にかけて毎月選出される。ナショナルリーグでは1958年5月から、アメリカンリーグでは1974年から、それぞれ表彰を始めた。
岩井勝次郎
岩井勝次郎（いわい かつじろう、1863年5月28日（文久3年4月11日） - 1935年12月21日）は、京都出身の実業家。岩井商店の創業者であり、多角化戦略により岩井財閥を形成した。京都府南桑田郡旭村の農家に生まれる。旧姓・蔭山。
岩井勝次郎 人物
勝次郎の従兄である岩井文助は、天保13年（1842年）丹波国桑田郡上平屋（現京都府南丹市美山町上平屋）で半商半農の家に生まれ、嘉永6年（1853年）に大坂浄覚寺町の唐物問屋・加賀屋徳兵衛に奉公に出た。その後、文久2年（1862年）大坂京町堀通りで加賀屋文助として西洋雑貨の小売を始め、後に売買仲介業となった。
一方蔭山勝次郎は文久3年（1863年）、丹波国桑田郡旭村の農家に生まれた。父は蔭山源右衛門、母いとは再婚。明治8年（1875年）に文助の経営する加賀屋に奉公に出ると、明治22年（1889年）に文助の長女・栄子と結婚。媒酌人は滝川弁三が務めた。勝次郎は蔭山姓から岩井姓となり、以後加賀屋は文助と勝次郎の共同経営体制となった。
ところが文助と勝次郎の間には事業観に相違があり、文助は旧来の商家に伝統的な「下町風」な所があったのに対して、勝次郎は「国土風」の意識が強かったため、明治29年（1896年）に勝次郎は独立営業に踏み切り、現在の大阪市中央区南久太郎町4丁目に店舗を設けた。これが岩井商店のはじまりである。その「岩井商店」が大正元年（1912年）10月、株式会社岩井商店となり、さらに昭和18年（1943年）6月、岩井産業株式會社と改められた。その後、日商と合併して日商岩井株式会社となった。
岩井勝次郎 人物
明治後期から大正期にかけて、多くの岩井系企業を設立していった。その重要なものは関西ペイント・東亜紡織・日新製鋼・徳山曹達・大阪繊維工業（ダイセルの前身の一つ）などで、日本の産業革命期に多くの工業企業を設立して、自らも大正5年に岩井財閥の持株会社として合資会社岩井本店を創設し関西実業界の立役者になった。
晩年、勝次郎は長岡京に禅道場「長岡禅塾」を設立している。
岩井勝次郎 岩井家
岩井家は代々婿養子が多く、勝次郎も蔭山家から岩井家に入籍した。勝次郎の長女、岩井かのも婿養子を迎え、岩井友次郎が勝次郎の事業の跡を継いだ。その後も、岩井かのと岩井友次郎の長女、岩井たみが、岩井安次郎を婿養子に迎え、住吉村、魚崎村の財産を引き継いだ。岩井たみと岩井安次郎の長女、岩井かつの名は曾祖父であり岩井商店事業の創業者であった岩井勝次郎の「勝」を取って、岩井かつと名づけられた。岩井かつが婿養子に迎えた旧姓「増本義男」改め岩井義男は、自治省警察局課長であったところ、岩井家に婿として迎えられ、住吉村、魚崎村の岩井家財産を引き継いだ。その後、魚崎町町長をはじめ、神港信用金庫（現在の日新信用金庫）代表、魚崎村に勝次郎が移転させた「覚浄寺」（勝次郎奉公時代の覚浄寺町から移転させたと言われる）総代、横屋八幡神社総代、魚崎財産区初代議長、神港実業代表などを歴任した。
岩井たみが建立した岩井家墓所は現在魚崎墓地に存在し、岩井かつ・義男の孫にあたる古倉義彦が管理している。
近藤用義
近藤 用義（こんどう もちよし）は、江戸時代前期の旗本。近藤秀用の四男。のちに秀用の遺領を分割して受け継ぐ「五近藤家」の一つ・井伊谷近藤家の家祖にあたる。
近藤用義 生涯
慶長元年（1596年）、近藤秀用の四男として生まれる。母は秀用の正室（本多信俊の娘）で、近藤季用・用可は同母兄である。
慶長年中（1596年 - 1615年）、徳川家康に御目見。慶長19年（1614年）の大坂冬の陣には父とともに従軍。翌慶長20年/元和元年（1615年）の夏の陣にも従軍し、首級2つを挙げた。戦後は小姓組に属する。
寛永元年（1624年）、秀用が小田原城番に任じられると、秀用からの要請によって小田原に赴き、その職務を補佐した。寛永3年（1626年）、小田原で没する。享年31。同地の早雲寺に葬られた。
Gamebryo
Gamebryo（ゲームブリオ）は、Emergent Game Technologiesが開発、販売していたミドルウェア、ゲームエンジンのブランド。2003年、NDL社のNetImmerse Engineがバージョンアップした際、現在のブランド名に変更された。
2010年11月、Emergent Game Technologiesは業務を停止した。同年12月には会社を清算し、Gamebryoは韓国のGameBase社に買収された。現在はGameBase社の展開するゲームエンジンとなっている。
Gamebryo 概要・特徴
C++で記述されており、ライセンシーは全てのソースコード、検索可能なドキュメント群が提供される。ライセンシーはソースコードを自由に拡張してゲームを制作できる。
このエンジンは柔軟性の高さを大きな特徴として持ち、同エンジン採用ゲームはストラテジーからRPG、FPSまで多岐に及んでいる。現行(2008年)の最新ゲームプラットフォーム、PC、Xbox 360、プレイステーション3、Wiiなどに幅広く対応し、その他の最新ゲームエンジンに比べても遜色ない機能を有している。
マルチスレッドにも積極的に対応を図っており、ゲーム内のタスクを細分化して流し込めば各CPUに動的に配分する「Floodgate」ストリーミング･プロセッシング･エンジンを備える。同様の機構はカプコンの「MT Framework」でも見られる。
サンソー
サンソー（CinsaultまたはCinsaut）は、フランスのラングドック・ルシヨンを発祥地とする赤ワイン用ぶどう品種である。