バナッハ＝タルスキーのパラドックス - Wikipedia
バナッハ＝タルスキーのパラドックス: 球を適当に分割して、組み替えることで、元と同じ球を2つ作ることができる。 バナッハ＝タルスキーのパラドックス (Banach-Tarski paradox) は、球を3次元空間内で、有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができるという定理（ただし、各断片は通常の意味で体積を定義できない）。この操作を行うために球を最低5つに分割する必要がある。 バナッハ＝タルスキーの証明では、ハウスドルフのパラドックスが援用され、その後、多くの人により証明の最適化、様々な空間への拡張が行われた。 結果が直観に反することから、定理であるが「パラドックス」と呼ばれる。証明の1箇所で選択公理を使うため、選択公理の不合理性を論じる文脈で引用されることがある。ステファン・バナフ（バナッハ）とアルフレト
予備自衛官 - Wikipedia
陸上自衛隊で用いられている予備自衛官標旗[1] 予備自衛官（よびじえいかん、英: Reserve Self-Defense Official）は、自衛隊（陸上・海上・航空）が予備要員として任用している非常勤の自衛官のこと及びその官名である。特に予備自衛官の官職または官職にある者をいう。非常勤特別職国家公務員として、有事・訓練等の際に招集され、自衛隊における各任務に就けられる。一般の軍隊における予備役、大日本帝国海軍における予備員制度などに相当する。「予備自」（予備自衛官）、「即自」（即応予備自衛官）、「予備自補」（予備自衛官補）の略称でも呼ばれる。 予備自衛官は常に維持する常備自衛官の人数を抑制し、必要時のみ効果的に増員するための制度またはその任にある自衛隊員の官職及びその職にある者をいう。身分は非常勤の防衛省職員（非常勤の特別職国家公務員）・自衛隊員で、防衛省職員の定員外とされている。各
デウス・エクス・マキナ - Wikipedia
この項目では、演出技法について説明しています。 烏丸渡の漫画については「デウスXマキナ」をご覧ください。 ナイトメアの曲については「Deus ex machina (ナイトメアの曲)」をご覧ください。 マジカル・パンチラインのシングルについては「DEUS EX MACHINA (マジカル・パンチラインのシングル)」をご覧ください。 この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "デウス・エクス・マキナ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2013年2月） デウス・エクス・マキナ（deus ex machina、羅: deus ex māchinā デウス・エクス・マーキナー
メルセンヌ・ツイスタ - Wikipedia
メルセンヌ・ツイスタ (Mersenne twister、通称MT) は擬似乱数列生成器 (PRNG) の1つである。1996年に国際会議で発表されたもので（1998年1月に論文掲載）松本眞と西村拓士による。既存の疑似乱数列生成手法にある多くの欠点がなく、高品質の疑似乱数列を高速に生成できる。考案者らによる実装が修正BSDライセンスで公開されている。 「メルセンヌ・ツイスタ」は厳密にはある手法に基づいた乱数列生成式（あるいは生成法）の族を指し、内部状態の大きさや周期は設定可能である。以下の長所と短所では、メルセンヌ・ツイスタ自体、よく使われている生成法のMT19937、さらにその実装について、区別することなく述べている。 219937-1 (≒4.315×106001) という長い周期が証明されている。 この周期は、名前の由来にもなっているように（24番目の）メルセンヌ素数であり、保証され
Brainfuck - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "Brainfuck" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年10月） Brainfuck（ブレインファック）はプログラミング言語のひとつ。なお名称に含まれるfuckが卑語であるため、Brainf*ck または Brainf**kなどと表記されることがある。 概要[編集] 開発者Urban Müllerがコンパイラがなるべく小さくなる言語として考案した。 実際、Müllerが開発したコンパイラのサイズはわずか123バイト、インタプリタは98バイトであった。 Brainfuckプログラムは非常に可読性・記述性が低いため実用性
生命、宇宙、そして万物についての究極の疑問の答え - Wikipedia
生命、宇宙、そして万物についての究極の疑問の答え[1]（せいめい うちゅう そしてばんぶつについてのきゅうきょくのぎもんのこたえ、原文: Answer to the Ultimate Question of Life, the Universe, and Everything）は、ダグラス・アダムズのSF作品『銀河ヒッチハイク・ガイド』に登場するフレーズである。 ダグラス・アダムズの『銀河ヒッチハイク・ガイド』(The Hitchhiker's Guide to the Galaxy)は、イギリスのラジオドラマで、のちに小説化、テレビドラマ化、そしてついに映画化がなされた人気シリーズである。奇抜な、ほとんど意味不明の領域に近づいたアイデアと、軽妙な語り口を持つスラップスティック（Slapstick = ドタバタ）SF小説である。作中、「生命、宇宙、そして万物についての究極の疑問の答え」を問
金剛組 - Wikipedia
神社仏閣建築の設計・施工、城郭や文化財建造物の復元や修理等を主に手がけている。旧来からの伝統的な建築を得意分野としてきたが、神社仏閣にもコンクリート建築が増加したことにより大手ゼネコンとの価格競争に巻き込まれた結果、売上の減少や資金繰りの悪化により経営危機に見舞われたため髙松建設が支援を行った。 2005年11月に、同社が設立した受け皿会社（以下「新・金剛組」）に主力の寺社建築事業を譲渡するとともに、従業員の大半も新・金剛組へ転籍した（新旧分離）。現在は本業の宮大工に立ち戻り、100人以上の宮大工を抱えている[4][5][6]。 20世紀初頭の金剛組 578年、四天王寺建立のため聖徳太子によって百済より招かれた3人の宮大工（金剛、早水、永路）のうちの1人である金剛重光により創業。江戸時代に至るまで四天王寺お抱えの宮大工となる。 593年、四天王寺創建。 四天王寺を築いた工法は今も金剛組「組
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
