バナッハ＝タルスキーのパラドックス - Wikipedia
バナッハ＝タルスキーのパラドックス: 球を適当に分割して、組み替えることで、元と同じ球を2つ作ることができる。 バナッハ＝タルスキーのパラドックス (Banach-Tarski paradox) は、球を3次元空間内で、有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができるという定理（ただし、各断片は通常の意味で体積を定義できない）。この操作を行うために球を最低5つに分割する必要がある。 バナッハ＝タルスキーの証明では、ハウスドルフのパラドックスが援用され、その後、多くの人により証明の最適化、様々な空間への拡張が行われた。 結果が直観に反することから、定理であるが「パラドックス」と呼ばれる。証明の1箇所で選択公理を使うため、選択公理の不合理性を論じる文脈で引用されることがある。ステファン・バナフ（バナッハ）とアルフレト
燃料気化爆弾 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "燃料気化爆弾" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年4月） 洋上の標的艦に対して使用された燃料気化爆弾 燃料気化爆弾（ねんりょうきかばくだん、Fuel-Air ExplosiveBomb, FAEB）は、爆弾の一種である。単に気化爆弾とも呼ばれる。 開発当初からアメリカ陸軍では管理プログラムの都合上（FAE）が使われてきたが[1]、燃料でなく専用爆薬を用いるなどの語義変化もあり、サーモバリック爆弾（Thermobaric）と呼ばれることが増えている。サーモバリックとはギリシャ語の熱を意味するthermosと圧力を意味す
Encyclopedia (Japanese) : Wikipedia丸ごとぶちこんでオフライン辞書だ。オクラホマ！891 | AppBank
Encyclopedia (Japanese) : Wikipedia丸ごとぶちこんでオフライン辞書だ。オクラホマ！891 下記の発言が気になったのでEncyclopedia (Japanese) を購入。 Encyclopedia (Japanese)が気になるけど、1200円は高い気がする。でもローカルでwiki……悩む 教えてくれた発言者様の質問に早速答えたい。 １：データのダウンロード時間、 2GBのウィキペディアを丸ごとDLです。私はWifiで1時間弱かかりました。 ２：文字リンクのバグフィクス、 問題はありませんでした！動画をご覧ください ３：操作、表示がスムーズかどうか ぐらいです。 基本は検索窓と内部リンクのみ、各ページの移動は2,3秒以下、ストレスないです。 ということで、WikipediaをまるごとiPhoneに入れてしまうという悪魔的iPhoneアプリ！encyclo
アナログシンセサイザー - Wikipedia
音声信号を担当する機能は以下の3つである。 VCO ボルテージコントロールドオシレータの略。基本波形を作る発振器。 アナログシンセサイザーでは、のこぎり波・矩形波・パルス波・三角波などの倍音を豊富に含む波形が主に使用される。倍音を含まない正弦波は、後述するVCFで音色を加工できないという難点があり、使用頻度は比較的少ない。 VCF ボルテージコントロールドフィルターの略。ハイパスフィルター、ローパスフィルター、バンドパスフィルター、バンドエリミネーションフィルターを組み合わせて波形を加工する回路。 VCA ボルテージコントロールドアンプリファイアーの略。音量を制御する回路。 この3つの機能によって、倍音が豊かな基本信号からフィルター回路によって任意の倍音を抜き最後に音量を決定する。これを減算方式と呼ぶ。 その際に重要な点は、3つの機能が全て電圧（ボルテージ）で制御（コントロール）出来る様に
逆ポーランド記法 - Wikipedia
HP-32SIIの8×6の計算で押すキー 逆ポーランド記法（ぎゃくポーランドきほう、英語: Reverse Polish Notation, RPN）は、数式やプログラムの記法の一種。演算子を被演算子の後にすることから、後置記法 (Postfix Notation) とも言う。 その他の記法として、演算子を被演算子の中間に記述する中置記法、前に記述する前置記法（ポーランド記法）がある。 名称の由来は、演算子と被演算子の順序がポーランド記法の逆になっていることによる。 概要[編集] 例えば、「3 と 4 を加算する」という演算を、一般的に数式の表記に用いられる中置記法で記述すると、以下のようになる。 3 + 4 一方、逆ポーランド記法では、加算を表す演算子 + を、被演算子である 3 と 4 の後（右）に置いて、以下のよう記述する。 3 4 + 逆ポーランド記法による表現は日本語などSOV型
ジャン・ジロー - Wikipedia
ジャン・アンリ・ガストン・ジロー（Jean Henri Gaston Giraud、1938年5月8日 - 2012年3月10日）は、メビウス（Mœbius）のペンネームでも知られるフランスの漫画家（バンドデシネ作家）。40年にわたって続けられた西部劇漫画『ブルーベリー（英語版）』シリーズでは「ジャン・ジロー」（ジル）を、より自由な筆致でSF・ファンタジー作品を手がける際には「メビウス」を用いた。特に後者の活動で国際的な名声を得ており、エルジェ以降もっとも重要なバンドデシネ作家とも言われている[1]。大友克洋、宮崎駿、谷口ジローなどへの直接的な影響を通じて日本の漫画界へも多大な影響を与えた。『エイリアン』をはじめとして、多数のSF映画にもデザイナーとして関わっている。 1938年、パリ郊外のノジャン＝シュル＝マルヌで生まれる。3歳のときに両親が離婚し、以来フォントネー＝スー＝ボワの母親の家
ウルトラQ - Wikipedia
『ウルトラQ』（ウルトラキュー） は、1966年（昭和41年）1月2日から7月3日まで、TBS系列で毎週日曜19時から19時30分（JST、タケダアワー枠）に全27話[注釈 1]が放送された、円谷特技プロダクション、TBS制作の特撮テレビドラマ。ウルトラシリーズ（空想特撮シリーズ）の第1作。武田薬品工業による一社提供番組。 概要 この節は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ウルトラQ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年11月） 万城目淳（星川航空パイロット）、戸川一平（パイロット助手）、江戸川由利子（毎日新報報道カメラマン）の主人公3人が、毎回遭遇する不可思議
ドナドナ - Wikipedia
「ドナドナ」 (Dana Dana, Dona Dona, Donna Donna, Donay Donay) は、世界の多くの国で歌われているイディッシュ（中東欧ユダヤ文化）の歌である。 1938年に Dana Dana （ダナダナ）として作られたイディッシュ語の歌で、ウクライナ生まれのユダヤ系アメリカ人ショロム・セクンダ作曲、ベラルーシ生まれのユダヤ系アメリカ人アーロン・ゼイトリン（英語版）原作詞である。1940年から1941年にイディッシュ語ミュージカル Esterke [1]に使われた。 牧場から市場へ売られていくかわいそうな子牛を歌っており、これに関して、ユダヤ人がナチスによって強制収容所に連行されていくときの様子を子牛に見立てた反戦歌とする説があるが、前述の通りこの曲は1938年に作られ、ミュージカルで1940年に使用されているため、1942年に始まったナチスによるホロコースト
電波ジャック - Wikipedia
電波ジャック（でんぱジャック）とは、電気通信における正規の伝送路を乗っ取り、正規の受信者に向けて独自の内容を送信することをいう。 なお、「電波ジャック」はハイジャックに由来する日本独自の表現であり、英語では「Broadcast signal intrusion（放送信号割込み）」または「Broadcast pirating」と呼ぶ。 手法[編集] 無線通信[編集] エラー訂正や暗号化がされていない放送（アナログ信号を使った放送など）の場合には、同一周波数の電波を同一のフォーマットに準じて発射することで乗っ取れる。 ラジオ放送の場合、正規の放送においても容易に混信が発生する特性を持っており、電波ジャックは比較的容易である。ラジオ放送の周波数帯に対応した強力な送信機が使用される。国家間でラジオ放送局を利用したプロパガンダや通信妨害の放送を互いに相手国領土内に流し合うという事例が多く見られる[1
バカゲー - Wikipedia
バカゲーとは、コンピュータゲームを分類する俗称のひとつ。「馬鹿馬鹿しいゲーム」の略で、主に奇抜なストーリーやデザイン、常軌を逸したセンスなどを持つゲームを指す[1][2]。「くだらないゲーム」の呼称の一つとして「クソゲー」と似た扱いをされることもあるが「クソゲー」が単純に面白くないゲームや完成度の低いゲームの蔑称として使われることが多いことに対し「バカゲー」は比較的ポジティブな用語として扱われることが多い[2]。 初出は1992年、コンシューマーゲーム専門誌『BEEP!メガドライブ』の単発企画（後に「バヵ王」のコーナータイトルで連載）にて提唱されたもの。この時の定義は、ただ単に「バカなゲーム」である。コーナーでは大別して、妙な演出や奇抜な表現などで意図的にバカっぽくなる（笑いをとる）ように作られた「真正バカゲー」と、狙っていないのに笑えてしまう「仮性バカゲー」の2つに分類していた。 後に上
生命の起源 - Wikipedia
生命の起源（せいめいのきげん、Origin of life）は、地球上の生命の最初の誕生・生物が無生物質から発生した過程[1]のことである。それをテーマとした論や説は生命起源論（英: abiogenesis）という。 生命はいつ、どのようにして生まれたのか。 生命の起源に必要な条件はゆるいものなのか、それとも非常に厳しいものか。 最初の生命はこの地球上で生まれたのか、それとも地球外からの移入によるものなのか（パンスペルミア説）。 生命の誕生は地球だけの現象（レアアース仮説）か、それとも宇宙全域での現象か。 地球外生命もしくは地球外生物はいるのか、いないのか。生命は、いつ、どこで、いかにして誕生したのかという問いとそれに対する説明は古くから行われていた。遡れば、古代には神話においてそれを説明した。また、様々な宗教においても同様のことが行われ、形を変えつつ現在でも続いている。 古来人々は、生命
ゲーメスト - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2016年9月） 独自研究が含まれているおそれがあります。（2016年9月） 正確性に疑問が呈されています。（2016年9月） 出典検索?: "ゲーメスト" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 『ゲーメスト』（GAMEST）は、新声社が1986年から1999年まで発行していたゲーム雑誌である。アーケードゲームを専門に扱っており、その専門性の高さから全盛期には売り上げが30万部に達し人気を得ていたが、新声社の倒産と共に廃刊となった。 新声社が当時大手であったビデオゲームサークルVG2（ベリーグッド・ビデオゲーマーズ）に「VG2の会報を
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Perfect Day - Wikipedia