安全な棺 - Wikipedia
鐘を信号装置にもちいた安全な棺の設計図(1829年) 安全な棺（あんぜんなひつぎ、英: safety coffin, security coffin）は、生きたまま埋葬されることを防ぐ棺のことで、中の人間が生きたまま埋められてしまっていることを外界に知らせるための装置がとりつけられている。安全な棺に関する設計の多くは18世紀から19世紀にかけて考案されたものであるが、その設計思想は変化しつつも現代に生きている。 歴史[編集] 生き埋めにされることへの恐怖がヨーロッパで最もかまびすしく叫ばれるようになったのは、コレラが大流行した18世紀から19世紀にかけてである。しかし、棺に生きたまま埋められてしまった人間の記録はそれ以前にも存在している。たとえばドゥンス・スコトゥスの例が挙げられるだろう。伝えられるところでは、掘り返されたその棺には、逃れ出ようとして引きちぎれ血まみれになったこの哲学者の手
接頭符号 - Wikipedia
接頭符号（せっとうふごう、英: Prefix code）は、語頭属性（prefix property）を満たす符号の事で、通常可変長符号である。主にデータ圧縮に使われる。接頭符号の例として可変長ハフマン符号がある。 日本語では他に語頭符号、英語では prefix-free code、prefix condition code、comma-free code、instantaneous code（日本語では瞬時復号可能符号）などとも呼ばれる。ハフマン符号は接頭符号を生成する数あるアルゴリズムの1つに過ぎないが、ハフマンのアルゴリズムを使わずに生成した接頭符号も「ハフマン符号」と呼ぶことがある。 接頭符号はエントロピー符号の一種で、従って可逆圧縮である。 またクラフトの不等式は、接頭符号として可能な符号語の長さの特性を示している。 接頭符号の定義とその意義[編集] 符号が語頭属性を満たすとは、
)
モーメント (数学) - Wikipedia
この項目では、数学のモーメントについて説明しています。確率論のモーメントについては「モーメント (確率論)」を、物理量のモーメントについては「モーメント」をご覧ください。 数学の確率論および関係した諸分野におけるモーメント (moment) または積率（せきりつ）とは、物理学におけるモーメントを抽象化した概念である。 実変数 x に関する関数 f(x) の n 次モーメント は、 で表される。妥当な仮定の下で高次モーメント全ての値から関数 f(x) は一意に決定される。 は f を密度関数とする測度の重心を表している。 関数 f(x) の c 周りの n 次モーメント は、 で表される。 重心周りのモーメント μn = μ(μ)n を中心モーメントまたは中心化モーメントといい、こちらを単にモーメントということもある。 確率分布のモーメント[編集] 確率密度関数 f(x) のモーメントには、
離散一様分布 - Wikipedia
離散一様分布（りさんいちようぶんぷ、英: discrete uniform distribution）は、確率論や統計学における離散確率分布の一種であり、有限集合の全ての値について、等しく確からしい場合である。 確率変数が n 個の値 k1, k2, …, kn を同じ確率でとりうるとき、離散一様分布と言える。任意の ki の確率は 1/n である。離散一様分布の単純な例としてサイコロがある。その場合の k がとりうる値は 1, 2, 3, 4, 5, 6 で、1回サイコロを振ったとき、それぞれの値が出る確率は 1/6 である。2個のサイコロを振って和をとると、もはや一様分布ではなくなり、とりうる値（2 から 12）によって確率が変わってくる。 離散一様分布の確率変数がとりうる値が実数の場合、累積分布関数を退化分布を使って表すことができる。すなわち、 ここで、ヘヴィサイドの階段関数 は、x
負の確率 - Wikipedia
他にも例として、1932年にユージン・ウィグナーが量子誤り訂正の研究[7]で提案した位相空間上の擬確率分布であるウィグナー関数が挙げられる。1945年バートレットはウィグナー分布が負の値をもつことに数理論理的な矛盾がないことを見出した[8]。ウィグナー関数は量子光学分野でよく利用され、位相空間量子化の基礎となっている。また、量子干渉のある場合に負値となることから、量子干渉があることをわかりやすく示すことができる。ウィグナー関数が負値をとる領域は、量子論の不確定性原理により直接観測することが困難なほど小さいが、可観測量の期待値を求めるときに利用されている。 ファイナンス[編集] 最近になって負の確率は数理ファイナンスに応用されるようになった。計量ファイナンスにおいてはほとんどの確率はリスクニュートラル確率として知られる正の確率や擬確率である。確率論上の一連の仮定の下で、正の確率だけでなく負の
)
トランプ・タワー (ニューヨーク) - Wikipedia
トランプ・タワー (Trump Tower) は、アメリカ合衆国ニューヨーク州ニューヨーク市マンハッタン区ミッドタウン5番街に建つ超高層ビルである。 概要[編集] このビルはアメリカの不動産王ドナルド・トランプとエクイタブル生命保険が共同所有し、デア・スカット (Der Scutt) が設計を担当した。HRH Constructionがこのビルの開発を担当した[1]。高さ202mの58階建てで、ニューヨークでは52番目の高さのビルである。 1983年2月14日にアトリウムとショップのグランド・オープン・セレモニーが行われ、オフィスとマンションはその後すぐにオープンした。11月30日にショップは正式にオープンした。高さ5階建て分のアトリウムには滝が流れている。 1997年以降、ミスUSA、ミス・ティーンUSA、ミス・ユニバース優勝者がここで共同生活している。またNBCのテレビ番組『アプレンテ
小路啓之 - Wikipedia
小路 啓之（しょうじ ひろゆき、1970年7月9日[1] - 2016年10月20日）は、日本の漫画家。大阪府守口市出身[2]。 経歴[編集] 1997年、ちばてつや賞にて「殺しのライセンス」が準大賞を受賞しデビュー[3]（大塚康生名義）。1998年にアフタヌーン四季賞・夏のコンテストにおいて「カゲ切り男をめぐる冒険」が審査員（谷口ジロー）特別賞を受賞（犬塚康生名義）。その他スーパージャンプ漫画大賞準入選など新人賞の受賞多数（後述）。 2000年から2002年まで『月刊アフタヌーン』（講談社）にて初の連載作となる『イハーブの生活』を連載。 以降、2007年から2009年までWebマガジン『GENZO』（幻冬舎コミックス）にて『かげふみさん』を連載。2009年から2011年まで『コミックバーズ』（幻冬舎コミックス）にて『来世であいましょう』を連載。2010年に『スーパージャンプ』（集英社）に
永劫回帰 - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典は脚注などを用いて記述と関連付けてください。（2011年5月） 独自研究が含まれているおそれがあります。（2020年6月） 永劫回帰（えいごうかいき、ドイツ語: Ewig Wiederkehren）とは、フリードリヒ・ニーチェの思想で、経験が一回限り繰り返されるという世界観ではなく、超人的な意思によってある瞬間とまったく同じ瞬間を次々に、永劫的に繰り返すことを確立するという思想である。ニーチェは『この人を見よ』で、永劫回帰を「およそ到達しうる最高の肯定の形式」と述べている。永遠回帰とも言われる。 概要[編集] ニーチェの後期思想の根幹をなす思想であり、『ツァラトゥストラはこう語った』においてはじめて提唱された。 ニーチェは、キリスト教が目標とするような彼岸的な世界を否定し、ただこの世界のみを考え、そしてこの
)
e (mathematical constant) - Wikipedia
The number e is a mathematical constant, approximately equal to 2.71828, that is the base of the natural logarithm. It can be calculated as is the limit of (1 + 1/n)n as n approaches infinity, an expression that arises in the computation of compound interest, or as the sum of the infinite series It is also the unique positive number a such that the graph of the function y = ax has a slope of 1 at
一元体 - Wikipedia
数学において一元体（いちげんたい、英: field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun[note 1] で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、
三進法 - Wikipedia
三進法（さんしんほう）とは、3 を底（てい、基（base）とも）とし、底の冪の和で数を表現する方法である。 概要[編集] 任意の正の数は次のように表すことが出来る。 （ am は0,1,2のどれか）このとき、 と書くのが三進法である。 記数法[編集] 位取り[編集] 三進法では0、1、2の計三つの数字を用い、三を10、四を11…と表記する。三で桁上がりするので、「3」の字が使えるN進法は四進法以降、「3」の字が使えて「1/3」が割り切れるN進法は六進法以降となる。桁の増加も、三進法では、三の冪数で桁が一つ増える。以下の表に、二進法（底が2）、三進法（底が3）、六進法（底が2×3）、十進法（底が2×5）での各表記法の差異を掲載する。 数列の進み方（十八まで） 二進法 三進法 六進法 十進法
Central limit theorem - Wikipedia
In probability theory, the central limit theorem (CLT) states that, under appropriate conditions, the distribution of a normalized version of the sample mean converges to a standard normal distribution. This holds even if the original variables themselves are not normally distributed. There are several versions of the CLT, each applying in the context of different conditions. The theorem is a key
)
最後の審判 (詰将棋) - Wikipedia
「最後の審判」（さいごのしんぱん）は、縫田光司が『詰将棋パラダイス』1997年（平成9年）1月号に発表した詰将棋問題である。将棋のルールにある、連続王手による千日手と打ち歩詰めがテーマであるが、ルールの不備を突く構成になっており解釈が議論中であるという「問題作」として知られる。 概要[編集] 問題図は作者の縫田がホームページ上で公開しているので、そちらを参照のこと（作者による紹介ページ）。 双玉詰将棋であり、同じ手順を繰り返す過程の中で、先手の角行による王手に対して後手が歩兵の合駒をして逆王手をかける手が存在する（歩以外を合駒するか玉を動かすと詰む）。この繰り返しにおいて、1回目・2回目の合駒は歩が打てるものの、3回目の合駒において歩が打たれたとすると、 先手は王手を回避するためにはこの歩を取らなければならない。 この歩を取ると「連続王手による千日手」となり先手の反則負けになる。 反則でし
AKS素数判定法 - Wikipedia
AKS素数判定法（AKSそすうはんていほう）は、与えられた自然数が素数であるかどうかを決定的多項式時間で判定できる、世界初のアルゴリズムである。ここで、素数判定法が多項式時間であるとは、与えられた自然数 が素数であるかどうかを判定するのにかかる時間が の多項式を上界とすることをいう。 の多項式ではないことに注意する必要がある。 AKS素数判定法は2002年8月6日に "PRIMES is in P" と題された論文で発表された。Agrawal-Kayal-Saxena 素数判定法としても知られ、論文の著者であるインド工科大学のマニンドラ・アグラワル教授と、2人の学生ニラジュ・カヤル、ナイティン・サクセナ（英語版）の3人の名前から付けられた。 この素数判定法が発見される以前にも、素数の判定方法は多数知られていたが、リーマン予想などの仮説を用いずに、決定的多項式時間で判定できるアルゴリズムは存
無次元量 - Wikipedia
無次元量（むじげんりょう、英語: dimensionless quantity）とは、全ての次元指数がゼロの量である[1]。慣習により無次元量と呼ばれるが無次元量は次元を有しており、指数法則により無次元量の次元は1である。 無次元数（むじげんすう、dimensionless number）、無名数（むめいすう、bare number）とも呼ばれる。 無次元量の数値は単位の選択に依らないので、一般的な現象を特徴付ける物理量として、物理学、工学、経済など多くの分野で広く用いられる。このようなパラメータは現実には物質ごとに決まるなど必ずしも操作可能な量ではないが、理論や数値実験においては操作的な変数として取り扱うこともある。 歴史[編集] 無次元量は科学において時々現れ、次元解析の分野において形式的に扱われる。19世紀、フランスの数学者ジョゼフ・フーリエとスコットランドの物理学者ジェームズ・クラ
ベンフォードの法則 - ｛ 適用と制限 ｝Wikipedia
上に示した2つの図は、対数スケールの上にプロットした2つの確率分布である[注 1]。どちらの図でも、赤で示した部分の面積が最初の桁が1である確率に比例しており、青で示した部分の面積が最初の桁が8である確率に比例している。 左側の分布では、赤と青の領域の面積比はおおよそそれぞれの幅の比に等しくなっている。幅の比は普遍的で、ベンフォードの法則によって厳密に与えられる。したがって、こうした確率分布に従う数値はおおむねベンフォードの法則に従う。 一方、右の分布では、赤と青の領域の面積比はその幅の比から大きく外れている。右の図でも幅の比は左側の分布と同じになっている。赤と青の領域の面積比は、その幅よりもむしろ高さの比に依存して決定されている。幅と異なり高さはベンフォードの法則に普遍的な関係を満たさない。代わりにその数値の分布の形によって完全に決定される。したがって、1桁目の数値の分布はベンフォードの
カリー＝ハワード同型対応 - Wikipedia
関数型プログラムとして書かれた証明：自然数の加法に関する交換律のCoqによる証明。 カリー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、英語: Curry–Howard correspondence）とは、プログラミング言語理論と証明論において、計算機プログラムと証明との間の直接的な対応関係のことである。「プログラム＝証明」(proofs-as-programs)・「型＝命題」(formulae-as-types)などとしても知られる。これはアメリカの数学者ハスケル・カリーと論理学者ウィリアム・アルヴィン・ハワード（英語版）により最初に発見された形式論理の体系とある種の計算の体系との構文論的なアナロジーを一般化した概念である。通常はこの論理と計算の関連性はカリーとハワードに帰属される。しかしながら、このアイデアはブラウワー、ハイティング、コルモゴロフらが定式化した直観主義論理の操作
神託機械 - Wikipedia
神託機械（しんたくきかい、英: oracle machine）または預言機械（よげんきかい）は、計算複雑性理論や計算可能性理論における抽象機械の一種であり、決定問題の研究で使われる。チューリングマシンに神託（oracle）と呼ばれるブラックボックスが付加されたものであり、そのブラックボックスは特定の決定問題を1ステップで決定可能である。チューリングマシンの停止問題のような決定不能な問題にも神託機械を想定することができる。 定義[編集] 神託機械はオラクル付きのチューリングマシンである。チューリングマシンはオラクルへの入力を自身のテープに書き込み、オラクルにその実行を指示する。1ステップでオラクルはそれを計算し、入力を消去して出力をテープに書き込む。場合によってはチューリングマシンが2本のテープを持つように描かれる場合もあり、一方がオラクルへの入力、もう一方がオラクルからの出力に使われる。
Category:無差別殺人事件 - Wikipedia
カテゴリ「無差別殺人事件」にあるページ このカテゴリには 140 ページが含まれており、そのうち以下の 140 ページを表示しています。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
コンテナ - Wikipedia
