デーモン・コア - Wikipedia
この項目「デーモン・コア」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。（原文：en:Demon core） 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。（2021年3月） デーモン・コア（demon core）は、アメリカの核兵器開発プロジェクト「マンハッタン計画」で、初期の原子爆弾の核分裂性コアとして製造されたプルトニウムの未臨界塊である。直径89mmの球状で重量は6.2kg。1945年8月21日と1946年5月21日の2度、臨界状態に達する事故が発生した。 このコアは、日本に投下される可能性のある第3の核兵器に使用される予定だったが、日本の降伏によりその必要がなくなったため、実験に使用された。炉心は、爆弾の爆発を確実にするために、わずかな安全
グッドスタインの定理 - Wikipedia
グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる」という主張。ペアノ算術からは決定不能（証明も反証もできないこと）が知られている。 ペアノ算術に決定不能な命題があること自体は、ゲーデルの不完全性定理により示されている。しかし、不完全性定理の一般的な証明で用いる命題が自己言及のパラドックスを利用した「人工的」なものであるのに対し、グッドスタインの定理は「自然な」決定不能命題の例として知られる。 なお、グッドスタインの定理は集合論の公理系、特に無限集合の公理を用いて証明できる。 グッドスタイン数列を定義するに当たり、まず「nを底とした遺伝的記法」を定義する。ある自然数をｎを底とした遺伝的記法で表すためには、まずその数を（ただし、は0とn-1の間の値をとる整数）という形
静的単一代入 - Wikipedia
静的単一代入（せいてきたんいつだいにゅう、英: Static Single Assignment form, SSA）形式は、コンパイラ設計における 中間表現 (IR) のひとつで、各変数が一度のみ代入されるよう定義されたものである。もともとの中間表現における変数は「バージョン」に分割され、全ての変数の定義がバージョンを表現できるよう、通例新たな変数は元の名前に添え字を付けて表現される。SSA ではuse-def 連鎖が明示的であり、連鎖は要素を一つだけ持つ。 SSA はRon Cytron、Jeanne Ferrante、Barry Rosen、Mark Wegman、Ken Zadeck および IBM の研究者たちにより1980年代に開発された。 Scheme、ML、Haskell などの関数型言語のコンパイラでは、Fortran や C などのコンパイラで SSA の利用が期待され
ベイズ因子 - Wikipedia
ベイズ因子（ベイズいんし、英: Bayes factor）は、ベイズ統計学において、伝統的統計学の仮説検定に代わる方法として用いられる数値である。 データベクトルx に基づいて2つの数学的モデル M1 と M2 のどちらかを選択する問題を考える。ここで、ベイズ因子 K は で与えられる。この方法は尤度比検定あるいは最尤法に似ているが、尤度（モデルあるいは母数を定数とし、それを条件とする確率変数x の条件付き確率のこと）を最大化するのでなく、母数を確率変数とし、それに対して平均値をとってから最大化するところが違う。一般にモデルは母数ベクトル（複数の母数をベクトルとして扱う）によって規定される。これらをM1 に対して θ1 、 M2 に対して θ2 としよう。K は で与えられる。このK の対数をとり、「データ x によって与えられる M2 を基準としたM1 の証拠の重み（weight of
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
