タグ

ブックマーク / ja.wikipedia.org (64)

  • アイルランドの歴史 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "アイルランドの歴史" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2009年10月) アイルランド島の衛星写真 アイルランド島はヨーロッパの北西、ブリテン島の西に位置する アイルランドの歴史(アイルランドのれきし)では、ヨーロッパ北西部に位置するアイルランド島における歴史を記述する。アイルランド史は隣り合うブリテン島におけるイギリスの歴史から多大な影響を受けてきた。近年の歴史学研究においては、イングランド、スコットランド、ウェールズの歴史とあわせて、ブリテンの歴史というカテゴリも用いられている。 概説[編集] アイルランド島に初めて人類

    アイルランドの歴史 - Wikipedia
  • デーモン・コア - Wikipedia

    この項目「デーモン・コア」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。(原文:en:Demon core) 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。(2021年3月) デーモン・コア(demon core)は、アメリカの核兵器開発プロジェクト「マンハッタン計画」で、初期の原子爆弾の核分裂性コアとして製造されたプルトニウムの未臨界塊である。直径89mmの球状で重量は6.2kg。1945年8月21日と1946年5月21日の2度、臨界状態に達する事故が発生した。 このコアは、日に投下される可能性のある第3の核兵器に使用される予定だったが、日の降伏によりその必要がなくなったため、実験に使用された。炉心は、爆弾の爆発を確実にするために、わずかな安全

    デーモン・コア - Wikipedia
    mitsuse
    mitsuse 2019/08/17
  • 排出権取引 - Wikipedia

    排出権取引(はいしゅつけんとりひき、英語Emissions trading)とは、各国家や各企業ごとに温室効果ガスの排出枠(キャップ)を定め、排出枠が余った国や企業と、排出枠を超えて排出してしまった国や企業との間で取引(トレード)する制度である。排出量取引ともいう。京都議定書の第17条に規定されており、温室効果ガスの削減を補完する京都メカニズム(柔軟性措置)の1つ。 排出取引の方式は主に2種類ある。キャップアンドトレード (Cap & Trade) と、ベースラインアンドクレジット (Baseline & Credit) であるが、多くの排出取引で前者が用いられている。 経緯[編集] 硫黄酸化物から温室効果ガスへ[編集] 1990年代前半から、アメリカ合衆国で硫黄酸化物の排出証取引が行われた(国内排出証取引制度)。大気汚染や酸性雨の原因となる硫黄酸化物 (SOx) に排出枠を定めたうえで

    mitsuse
    mitsuse 2017/10/24
  • 逆元 - Wikipedia

    逆元 (ぎゃくげん、英: inverse element)とは、数学(とくに抽象代数学)において、数の加法に対する反数や乗法に関する逆数の概念の一般化で、直観的には与えられた元に結合してその効果を「打ち消す」効果を持つ元のことである。逆元のきちんとした定義は、考える代数的構造によって少し異なるものがいくつか存在するが、群を考える上ではそれらの定義する概念は同じものになる。 厳密な定義[編集] 単位的マグマの場合[編集] 集合 M は二項演算 • をもつ代数系すなわちマグマで、 e は (M, •) の単位元とする。すなわち (M, •, e) は単位的マグマであるとする。M の元 a, b に対して a • b = e となるとき、a を演算 • と単位元 e に関する b の左逆元 (left inverse), b を演算 • 単位元 e に関する a の右逆元 (right inve

    mitsuse
    mitsuse 2013/06/23
  • モノイド - Wikipedia

    数学、とくに抽象代数学における単系(たんけい、英: monoid; モノイド)はひとつの二項演算と単位元をもつ代数的構造である。モノイドは単位元をもつ半群(単位的半群)であるので、半群論の研究対象の範疇に属する。 モノイドの概念は数学のさまざまな分野に現れる。たとえば、モノイドはそれ自身が「ただひとつの対象をもつ圏」と見ることができ、したがって「集合上の写像とその合成」といった概念を捉えたものと考えることもできる。モノイドの概念は計算機科学の分野でも、その基礎付けや実用プログラミングの両面で広く用いられる。 モノイドの歴史や、モノイドに一般的な性質を付加した議論などは半群の項に譲る。 定義[編集] 集合 S とその上の二項演算 •: S × S → S が与えられ、以下の条件 結合律 S の任意の元 a, b, c に対して、(a • b) • c = a • (b • c). 単位元の存

    mitsuse
    mitsuse 2013/06/23
  • 単位元 - Wikipedia

    この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。(2023年9月) 数学、とくに抽象代数学において、単位元(たんいげん, 英: identity element)あるいは中立元(ちゅうりつげん, 英: neutral element)は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。 定義[編集] (M, ∗) を集合 M とその上の二項演算 ∗ のなすマグマとする。 M の元 e が ∗ に関する(両側)単位元であるとは、M の全ての元 a に対して を満たすときにいう。 さらに細かく、M の任意の元 a に対して、 a ∗ e = a を満たすときに右単位元といい、e ∗ a = a を満たすときに左単位元という。 単位元は左

    mitsuse
    mitsuse 2013/06/23
  • 二項演算 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "二項演算" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2017年5月) 数学において、二項演算(にこうえんざん、英: binary operation)は、数の四則演算(加減乗除)などの 「二つの数から新たな数を決定する規則」 を一般化した概念である。二項算法(にこうさんぽう)、結合などともいう。 定義[編集] 集合 A 上で定義される 2 変数の写像 を A 上の二項演算あるいは乗法などと呼び、集合 A を二項演算 μ の台集合 (underlying set) などと呼ぶ。A の 2 元 x, y に対し、順序対 (x, y) の

    mitsuse
    mitsuse 2013/06/23
  • 半環 - Wikipedia

    抽象代数学において、半環(はんかん、英: semi-ring)とは環に類似した代数的構造で、環の公理から加法的逆元の存在を除いたものである。負元 (negative) の無い環 (ring) ということから rig という用語もしばしば用いられる。 定義[編集] 半環は、以下の性質を満たす二つの二項演算、即ち加法(和)"+" と乗法(積)"·" とを備えた集合 R を言う[1]: (R, +) は単位元 0 を持つ可換モノイドを成す: (a + b) + c = a + (b + c), 0 + a = a + 0 = a, a + b = b + a. (R, ·) は単位元 1 を持つモノイドを成す: (a · b)· c = a ·(b · c), 1 · a = a · 1 = a. 乗法は加法の上に分配的である: a ·(b + c) = (a · b) + (a · c), (

  • 推移閉包 - Wikipedia

    推移閉包(すいいへいほう、英: transitive closure)は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 R+ を意味する[1]。 たとえば X を人間(生死は問わない)の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xR+y である。あるいは X を空港の集合とし、「x から y への直通便が存在する」という関係 xRy を考えると、その推移閉包は「x から y まで一回または複数の航空便で行くことができる」という関係 xR+y である。 解説[編集] 任意の関係 R について、R の推移閉包は常に存在する。これを示すため、任意の推移関係の族の共通部分が推移的であることに注意する。さらに少なくとも1つの自明な R を含む推移関係 X × X が存在する。R の推移閉包

  • 素集合 - Wikipedia

    互いに素な二つの集合 2つの集合が交わりを持たない (disjoint) あるいは互いに素(たがいにそ、英語: mutually disjoint)であるとは、それらが共通の元を持たぬことをいう。一般に、与えられた集合族が互いに素(英語: pairwise disjoint)、あるいは素集合系(そしゅうごうけい、英語: disjoint sets)であるとは、その集合族に含まれるどの2つの集合をえらんでも、それらの選び方に依らずそれらが常に共通部分を持たないことをいう。例えば、{1, 2, 3} と {4, 5, 6} は互いに素である。 概要[編集] 2つの集合 A と B が互いに素であるとは、それらの共通部分が空集合であること、すなわち、 であることを意味する。 この定義は任意の個数の集合に拡張できる。集合族が互いに素であるとは、その集合族に含まれるどの2つの集合も共通部分を持たない

    素集合 - Wikipedia
  • パーサジェネレータ - Wikipedia

    パーサジェネレータ(英: parser generator)は、構文解析器(解釈)を作成するプログラムである。 概要[編集] プログラミング言語のコンパイラの開発には技術と手間とを要する。それを支援するために、言語の構文などの定義から、コンパイラを生成するコンパイラジェネレータ(コンパイラコンパイラとも)が研究された。その過程で、入力を処理する構文解析器を自動生成するプログラムが開発され、広く実用に供されるようになった。これがパーサジェネレータである。 歴史[編集] 伝統的には1970年代から開発されている yacc が有名である。名前は「Yet Another コンパイラコンパイラ」の略だが、実際はパーサジェネレータである。yaccの上位互換のものとしてGNUプロジェクトのbisonがある。 近年の発展[編集] パーサコンビネータ[編集] パーサは入力を引数に取って解析結果を返す関数とみ

    mitsuse
    mitsuse 2013/06/23
  • Parsing Expression Grammar - Wikipedia

    Parsing Expression Grammar(PEG)は、分析的形式文法の一種であり、形式言語をその言語に含まれる文字列を認識するための一連の規則を使って表したものである。PEGは再帰下降構文解析を文法を示すためだけに純粋に図式的に表現したものと見ることもでき、具体的な構文解析器の実装やその用途とは独立している。 PEGにおける構文(文法)の定義は文脈自由文法のバッカス・ナウア記法によるそれに似ているが、文脈自由文法では一般に「|」(縦棒、バーティカルバー)で表される「これらのうちどれか」ではなく、「最初の解析がうまくいったらそれを、失敗なら次を順に試してゆき、成功したものを採用」(「/」であらわす)という意味を使う。 このため、文脈自由文法とは異なり、PEGには曖昧さは存在しない。文字列を構文解析する場合、正しい構文木は常に1つしかない。このためPEGはコンピュータ言語の構文解析

    mitsuse
    mitsuse 2013/06/23
  • http://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%A5%E3%83%97%E3%83%AA%E3%83%B3%E3%82%AC%E3%83%BC%E3%83%BB%E3%82%B5%E3%82%A4%E3%82%A8%E3%83%B3%E3%82%B9%E3%83%BB%E3%82%A2%E3%83%B3%E3%83%89%E3%83%BB%E3%83%93%E3%82%B8%E3%83%8D%E3%82%B9%E3%83%BB%E3%83%A1%E3%83%87

  • アムダールの法則 - Wikipedia

    複数のプロセッサを使って並列計算してプログラムの高速化を図る場合、そのプログラムの逐次的部分は、制限を受ける。例えば、仮にプログラムの95%を並列化できたとしても、残りの部分である5%は並列処理ができないため、どれだけプロセッサ数を増やしたとしても、図で示したように20倍以上には高速化しない。 アムダールの法則(アムダールのほうそく、英語: Amdahl's law)は、ある計算機システムとその対象とする計算についてのモデルにおいて、その計算機の並列度を上げた場合に、並列化できない部分の存在、特にその割合が「ボトルネック」となることを示した法則である。コンピュータ・アーキテクトのジーン・アムダールが主張したものであり、アムダールの主張(アムダールのしゅちょう、英語: Amdahl's argument)という呼称もある[1]。 複数のプロセッサを使い並列計算によってプログラムの高速化を図る

    アムダールの法則 - Wikipedia
  • こうもり問題 - Wikipedia

    こうもり問題(こうもりもんだい)とは、情報や物品を分類する際に生じる問題の一つである。例えば A にも B にも分類できる場合に、どちらに分類すればいいのか、といった問題である。 すべてのものや情報は、利用される文脈に応じて複数の属性を持ち得る。しかし、階層構造のように、各項目を木構造の末端にあてはめて分類する方式(図書館資料など)では、項目が持つ複数の属性のうちの一つだけに着目しなければならないという制約がある(たとえば「自民党税制調査会の記録は政治と税金のどちらに分類するか」など)。こうもり問題とは、その制約が原因となって生じる諸問題を指す。 身近な例では、以下のようなトラブルがこうもり問題として挙げられる。 ファイルをフォルダ分けして整理する際に、どこのフォルダに入れたらいいか迷う。 ショッピングセンターで買い物をする際に、目的の商品を探し当てるためにいろんなジャンルのコーナーを歩き

  • JIS Z 8303 - Wikipedia

    JIS Z 8303は帳票の設計基準について規定した日産業規格 (JIS) で、規格名称は「帳票の設計基準」。 帳票の設計に際して考慮すべき仕上寸法、用紙および印刷インキの色、文体および書き方、用字および用語、項目の配置、注意事項、記入欄の大きさおよび余白、文字およびけい、製およびとじ穴についての一般的事項を規定している。 特徴[編集] 一般的にノートなどの文房具や、履歴書などの帳票において日産業規格 (JIS) 準拠という場合には、この規格を指す。 国や自治体などで、証書発行などの際に記載するのに用いる帳票類もこの規格に沿ったものになる。 この規格には参考として、ノート、履歴書、振替伝票、領収書、総勘定日計表、休暇届などの書式が原寸大で載っており、その書式をもとにして帳票などが作られることが多い。 内容[編集] 帳票の仕上寸法[編集] 通常はA版、特殊な場合にはB版を使用する。 細

    mitsuse
    mitsuse 2013/01/31
  • 相互情報量 - Wikipedia

    相互情報量(そうごじょうほうりょう、英: mutual information)または伝達情報量(でんたつじょうほうりょう、英: transinformation)は、確率論および情報理論において、2つの確率変数の相互依存の尺度を表す量である。最も典型的な相互情報量の物理単位はビットであり、2 を底とする対数が使われることが多い。 定義[編集] 形式的には、2つの離散確率変数 と の相互情報量は以下で定義される。 ここで、 は と の同時分布関数、 と はそれぞれ と の周辺確率分布関数である。 連続確率変数の場合、総和の代わりに定積分を用いる。 ここで、 は と の同時分布密度関数であり、 と はそれぞれ と の周辺確率密度関数である。 どちらの場合でも相互情報量は負とならず()、対称性がある()。 これらの定義は対数の底が明示されていない。離散確率変数の場合、最も一般的な相互情報量の尺

  • 情報量 - Wikipedia

    情報量(じょうほうりょう)やエントロピー(英: entropy)は、情報理論の概念で、あるできごと(事象)が起きた際、それがどれほど起こりにくいかを表す尺度である。ありふれたできごと(たとえば「風の音」)が起こったことを知ってもそれはたいした「情報」にはならないが、逆に珍しいできごと(たとえば「曲の演奏」)が起これば、それはより多くの「情報」を含んでいると考えられる。情報量はそのできごとが質的にどの程度の情報を持つかの尺度であるとみなすこともできる。 なおここでいう「情報」とは、あくまでそのできごとの起こりにくさ(確率)だけによって決まる数学的な量でしかなく、個人・社会における有用性とは無関係である。たとえば「自分が宝くじに当たった」と「見知らぬAさんが宝くじに当たった」は、前者の方が有用な情報に見えるが、両者の情報量は全く同じである(宝くじが当たる確率は所与条件一定のもとでは誰でも同じ

  • シグモイド関数 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "シグモイド関数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2017年5月) シグモイド関数(ゲイン5) シグモイド関数(シグモイドかんすう、英: sigmoid function)は、次の式 で表される実関数である。ここで、 をゲイン (gain) と呼ぶ。 シグモイド関数は、生物の神経細胞が持つ性質をモデル化したものとして用いられる。 狭義のシグモイド関数は、ゲインを1とした、標準シグモイド関数(英: standard sigmoid function) を指す。 名称[編集] 標準シグモイド関数 シグモイド(英: sigmoid

    シグモイド関数 - Wikipedia
    mitsuse
    mitsuse 2012/11/02
  • Wikipedia:データベースダウンロード - Wikipedia

    ウィキペディアのコンテンツなどのデータは、再配布や再利用のために利用できる一元化されたデータベース・ダンプでの提供が行われています。クローラを用いてコンテンツを収集しないでください。このデータベース・ダンプの生成は不定期に行われています。 ウィキペディアのコンテンツは Creative Commons Attribution-ShareAlike 4.0 International License (CC BY-SA 4.0) および GNU Free Documentation License (GFDL) の下にライセンスされています(Wikipedia:著作権と利用規約を参照)。画像などのメディアファイルは異なるライセンスで提供されることもあり、ファイルページで明記されています。 より詳しい解説はmeta:Data dumps(英語)を参照してください。 全プロジェクトのダンプ:du

    mitsuse
    mitsuse 2012/09/24