アポロニウスの円 - Wikipedia
アポロニウスの円。AP:BPが一定になるようにPを動かすと軌跡は円を描く。 アポロニウスの円（アポロニウスのえん）は、2定点A・Bをとり、点PをAP:BPが一定となるように（但しAP≠BP）したときの点Pの軌跡である。ペルガのアポロニウスの名前を残すが、起源はより古いと思われる。例えば、既にアリストテレス『気象論』第三巻で虹の形状を論じるのに用いられている。 証明[編集] 初等幾何による証明[編集] 点PをAP:BPが一定となるようにしたときの点Pの軌跡のうち、線分ABの上の点をQ、ABの延長線上の点をRとすると、 AQ:QB=AP:PB AR:RB=AP:PB 内角と外角の二等分線の関係の逆より、PQとPRはそれぞれ∠APBの内角と外角の二等分線である。 よって、∠QPR=90° ゆえに、点Pの軌跡は線分QRを直径とする円である。 ベクトルによる証明（1）[編集] m, n を互いに異な
ジュラルミン - Wikipedia
この項目では、合金の一種について説明しています。『よつばと！』のキャラクターについては「よつばと!#小岩井家」をご覧ください。 飛行船アクロンの廃ジュラルミン材で造ったオーナメント ジュラルミン (Duralumin) とは、アルミニウムと銅、マグネシウムなどによるアルミニウム合金の一種。 歴史[編集] 1903年頃[1]からドイツ中西部のデューレン（ドイツ語版）に住むアルフレート・ヴィルム[1]は、鋼と同じように他の金属でも適当な元素を添加して焼入れを行えば硬さが増すと考え、実験を繰り返したもののまったく硬くはならなかった[2]。薬莢の材料として従来は銅と亜鉛の合金の黄銅を用いていたが、ヴィルムは「もっと軽いアルミニウムを銅と混ぜたらよいのではないか」という発想から4%の銅を混ぜたアルミニウム合金を考えた[1]。1906年9月のある土曜日、ヴィルムは銅4%とマグネシウム0.5%を含むアル
ラヨ数 - Wikipedia
この項目「ラヨ数」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。（原文：en:Rayo's number#Explanation (16:54, 22 September 2022)） 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。（2022年10月） ラヨ数（ラヨすう、英: Rayo's number）とはアグスティン・ラヨ（スペイン語版）にちなんで名付けられた巨大数であり、彼の手掛けた最大の数と主張されている[1][2] 。これは元々2007年1月26日にマサチューセッツ工科大学 (MIT) にて行われたイベント「巨大数決闘（big number duelもしくはLarge Number Championship）」にて定義された[3][4][5
年問題 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "年問題" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2012年6月） 年問題（ねんもんだい）は、暦上のある年や日付が到来すると、社会や日常生活に深刻な影響が起きる社会問題のことである。「Y年問題」や「Y年M月D日問題」のように呼ばれる。年問題は主に下記の3種類のものがある。 コンピュータの時刻処理における「桁溢れ」などの想定外の事態 人の動きや唐突な社会制度の変化による歪みの発生 暦そのものの構造的な欠陥（旧暦2033年問題など） 年問題という表現の発端は、コンピュータシステムにおける2000年問題が騒がれた出来事であり、それ以後は社
ベルの不等式 - Wikipedia
ベルの不等式（ベルのふとうしき）とは、隠れた変数理論などの局所実在論が満たすべき相関の上限を与える式である。 1964年にジョン・スチュワート・ベルによって導かれた。この不等式は実験に適していないので、後に多くの研究者がそれとは少し異なる形の不等式を導いた（ベル型の不等式と呼ばれる）。この不等式の実験的検証により、局所的隠れた変数理論は否定された。 定理[編集] 2つの異なる場所A、Bで測定を行う。測定では+1か-1という2つの結果のみが得られる。 A,Bの測定装置の設定はそれぞれ2種類あり、1回の測定ごとに設定をランダムに切り替えて、その設定に対応する物理量を測る。Aの測定では物理量か、Bの測定では物理量かを測り、その測定値はいずれも+1か-1のどちらかである[注 1]。 ベル型の不等式の1つであるCHSH不等式（英語版）は次のような形である。局所実在論の下では ただし ここではの平均値
社会的責任投資 - Wikipedia
社会的責任投資（しゃかいてきせきにんとうし、SRI。別名：社会的投資、サステナブル投資、倫理的投資）とは、市場メカニズムを通じ、株主がその立場・権利を行使して、経営陣に対して企業の社会的責任（CSR）に配慮した持続可能な経営を求めていく投資のこと。 概要[編集] 一般には、社会的責任投資（SRI：socially responsible investment）とは企業の社会的責任（CSR：corporate social responsibility）を考慮して行う投資のことである。経済的リターンと社会・環境的メリットの両方に配慮しながら、ポジティブな変化をもたらそうとする戦略的投資を指す。 広義には企業の経済状況以外の社会的価値観に基づいて投資先を選択して投資する手法もSRIと呼ぶ。このようなSRIの代表的な例としては、キリスト教やイスラム教などの宗教団体が投資を行う際に、各宗教の教義に
GTバイシクルズ - Wikipedia
Logo 2008 Zaskar Pro Carbon 2011 GTR Series4 2013 KARAKORAM3.0 2012 PERFORMER 26 GTバイシクルズ（GT Bicycles ）は、マウンテンバイク、BMX、ロードバイクなどの自転車ブランド。もとは1970年代にアメリカ合衆国のカリフォルニア州で設立されたメーカーである。GTとは創立者ゲーリー・ターナーのイニシャルである。コーポレートカラーは青と黄色。 沿革[編集] GTの生みの親であるゲーリー・ターナーは、高度な溶接技術が要されるトランペットなどの修理をする傍ら、高強度のクロモリ鋼を溶接しドラッグレーサーカーを制作、プロのドライバーとしても活躍していた。 1973年に得意の溶接技術で息子のBMXを制作すると、他の子供達からの制作要望が殺到、その噂が一気に広まった。 そして後の共同経営者となるバイクショップを経営
ちんびん - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ちんびん" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2013年10月） ちんびん（煎餅）は、琉球（沖縄県）の菓子。水で溶いた小麦粉に黒糖を加えたものを鉄板などで薄く焼き、細長い棒状に巻いたもの。家庭で手軽につくるためにあらかじめ配合したちんびんミックスも市販されている。食感や見た目はクレープに近い。沖縄製粉のちんびんミックスのパッケージには「沖縄風黒糖入りクレープ」と表示してある。 名前の由来は中国語の煎餅 (中国)（中国語版）によると思われ、北京語の「チエンビン、jiānbǐng」もしくは他の方言音に基づくものと考えられる。中国の
パニア - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "パニア" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2011年12月） パニアの絵図 パニア(英: Pannier)とは、ウマやロバ、ラクダなどの家畜（使役動物）に、荷物を背負わせるための鞍に取り付けた背負いかご、バッグや荷台（荷鞍）のことである。あるいは、馬の背の両側に吊り下げて対になったかごや荷物の様からの連想が語源となっている「対になったもの」も指す。 家畜輸送のパニア[編集] 家畜輸送（駄獣）では、帆布や皮革、籐篭でできたパニアを用いる。そして農産物や、岩塩、生活物資など様々な品物をパニアで運ぶ。家畜による運搬には、自動車の通
プランク温度 - Wikipedia
プランク温度（プランクおんど、英: Planck temperature）は、プランク単位系における温度である。プランク温度 TP（単位 : KP） は、次のように表される[1]。 ここで、c は真空中の光速度、はディラック定数、k はボルツマン定数、G は万有引力定数である。 一般的な数字で換算すれば約1溝4168穣°Cである。 この温度が発生する場所は、ビックバン時の中心温度とされている。 ビックバン時は多数の物質が1点に圧縮されており、多数の物理法則が適用できなくなってしまう。 理論上はそこへエネルギーを追加すれば、温度を上げることはできるものの、物理的意味がそもそも存在せず、現在はこれが物理上の最高温度となっている。 脚注[編集] 出典
ブラックレター - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ブラックレター" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2018年10月） ラテン語の聖書（1407年）に書かれたブラックレター ブラックレター (blackletter) はアルファベットの書体の一つ。 概要[編集] 西ヨーロッパで12世紀から15世紀にかけて使われていたが、ドイツにおいてはフラクトゥール（ドイツ文字）と呼ばれるものが20世紀まで用いられていた。このため、ブラックレター全体を指してフラクトゥールと呼ぶこともある。 また、日本語においてゴシック体と呼ばれる書体はアルファベットの書体としてはサンセリフであり、英語にお
サンセリフ - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "サンセリフ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2019年10月） サンセリフ（仏: Sans-serif）とは、セリフのない書体 (フォント) の総称である。セリフとは、文字の線の端につけられる線・飾りで、「うろこ」、「ひげ飾り」、「ひげ」とも呼ばれる。旧来のセリフのついた活字書体（セリフ体・ローマン体とも呼ぶ）と区別するために用いられる用語。「サン」とは、フランス語で「〜のない」という意味で、「セリフのない書体」を表している。グロテスク体とも呼ばれる。 このような「うろこ」のない書体のことを日本ではゴシック体とも呼ぶが、欧
アルミニウム合金 - Wikipedia
アルミニウム合金（アルミニウムごうきん、英: aluminum alloy）は、アルミニウムを主成分とする合金である。アルミニウムには軽いという特徴がある一方、純アルミニウムは軟らかい金属であるため、銅(Cu)、マンガン(Mn)、ケイ素(Si)、マグネシウム(Mg)、亜鉛(Zn)、ニッケル(Ni)などと合金にすることで強度など金属材料としての特性の向上が図られる。アルミニウム合金を加工する場合、大きく分けて展伸法と鋳造法が採用される。 アルミニウム合金の軽さと強度を応用した例として、航空機材料としてのジュラルミンの利用が挙げられる。ジュラルミンはAl-Zn-Mg-Cu系のアルミニウム合金である。 アルミニウム合金は高い強度を持つ反面、溶接・溶断は特に難しく、用途変更に応じた改造や、破損の際の修繕は鋼などに比べて困難である。 なお、近年ではリチウムを添加した合金も実用化されている[1][2]
アペリーの定数 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "アペリーの定数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年4月） アペリーの定数（―のていすう、英: Apéry's constant）は、数学定数の一種である。これは、ゼータ関数を ζ とすると、ζ(3) で定義される。 （オンライン整数列大辞典の数列 A002117） この値は無理数である（⇒アペリーの定理）。 「アペリーの定数」という名前は、1977年、ロジェ・アペリーがアペリーの定理を発表した際、彼自身によって命名された。 表現[編集] 1772年、レオンハルト・オイラーによって、次のような表示が与えられた。 また
ダランベールの収束判定法 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2022年10月） ダランベールの収束判定法（ダランベールのしゅうそくはんていほう、ratio test）とは、実数や複素数を項にもつ級数が、収束するか発散するかを判定する方法である。級数における、前後の項の比を考える。もし、この比の極限が 1 未満であれば、級数は絶対収束する。 この判定法は、ジャン・ル・ロン・ダランベールによって発表された。 判定法[編集] 厳密には、ダランベールの収束判定法は、次のように述べられる。 であれば、級数 は絶対収束する。また、 であれば、級数は発散する。 もし、極限がちょうど 1 であれば、級数は収束する場合もあるし、発散する場合もある。従って、この場合は、ダランベールの収束判定
東京都道428号高円寺砧浄水場線 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "東京都道428号高円寺砧浄水場線" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2015年8月） 東京都道428号高円寺砧浄水場線（とうきょうとどう428ごう こうえんじきぬたじょうすいじょうせん）は、東京都杉並区梅里から東京都世田谷区喜多見に至る特例都道である。道路の地下に荒玉水道の水道管が埋設されている水道道路で、ほぼ全線が一直線の道路形状となっている。通称は荒玉水道道路で、東京都の通称道路名ではないが、自治体などにより通称として使われている[1][2]。 1934年（昭和9年）竣工、当初は歩行者専用道路であった。1962年（昭和3
時間反転対称性 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|T-symmetry|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります
公理的集合論 - Wikipedia
公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。 集合の公理系[編集] ツェルメロ＝フレンケル集合論（ZF公理系）[編集] 現在一般的に使われている集合の公理系はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる選択公理（Axiom of Choice）を加えた ZFC公理系（Zermelo-Fraenkel set-theory with the axiom of Choice）である。ZC, ZでそれぞれZFCおよびZFから置換公理を除いたもの、Z-, ZF-, ZC-, ZFC- で各体系から正則性公理を除いたものを表す。キューネンは『The Foundations of Mathematics』で「初等数学のほとんどはZC-での中でなされる」と述べている[1]。 基本的なZFの公理[編集]
ビジービーバー - Wikipedia
ビジービーバー（英：busy beaver）とは、計算可能性理論で扱われるある種のチューリングマシンである。この名称は「仕事人間」を意味する英語の慣用句に由来する。ビジービーバーは空のテープから処理を開始し、可能な限り走り続けるが、最終的には停止する。これは停止するチューリングマシンのクラスが消費し得る時間と領域（テープ）の長さの上限を与える。 ビジービーバー関数はこの上限を数値化するものであり、計算不能関数の一例でもある。この関数はいかなる計算可能関数よりも急速に増大するということを証明できる。ビジービーバー関数の概念は、ティボール・ラドー（英語版）による1962年の論文 "On Non-Computable Functions" の中で、「ビジービーバー・ゲーム」という名称で初めて導入された。 ビジービーバー・ゲーム[編集] ティボール・ラドーは、1962年の論文で以下のように「ビジー
Racket - Wikipedia
Racket (旧称 PLT Scheme) は、Schemeから派生したプログラミング言語である。Racket プロジェクトは以下の４つから構成されている。 スクリプト処理系、Racket (リッチなランタイムシステム, 豊富なライブラリ, JITコンパイラ などが含まれる） Racketプログラムの開発環境、DrRacket (旧称 DrScheme) コンピューティングとプログラミングを"教養教育カリキュラムの必須分野にする"試み ProgramByDesignアウトリーチ・プログラム。[2] Racketのユーザ作成パッケージの配布システム PLaneT[3]。 歴史[編集] Racket を開発したPLT project は、1990年代中ごろに, Matthias Felleisenによってまず研究グループとして立ち上げられ、その後すぐに、プロジェクトは初心者プログラマ向けの教
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
