細川頼直 - Wikipedia
『機巧図彙』 『機巧図彙』に記載される和時計の内部構造の解説 『機巧図彙』を元に復元された茶運び人形とその内部構造（復元品）。国立科学博物館。 細川 頼直（ほそかわ よりなお、生年不詳[1][注 1] - 1796年〈寛政8年〉）は、江戸時代の暦算家、からくり技術者、発明家。通称、半蔵（はんぞう）。字は方郷、丘陵、または万象。土佐藩（後の高知県）出身[4]。武将・細川頼之の子孫との説もある[1]。 同郷の暦算家・川谷薊山の弟子である片岡直次郎から天文学と暦学を学んだ後、寛政時代初期に天文学の勉強のために江戸にのぼり、和算家の藤田貞資に師事して数学を学んだ[5]。1795年（寛政7年）に公儀で改暦の議が起き、諸国から技術者が募られた際には、その1人に選ばれ、天文方暦作助手として寛政改暦の事業に参画した[1]。 からくりなどの発明にも長け、写天儀（天球儀または天体望遠鏡）、日時計、行程儀（万歩
小谷の蟻の問題 - Wikipedia
次のような問題である。「立方体を2個つなげた形をしたブロックの、ある頂点に蟻がいる。蟻はブロックの表面を歩いて移動することしかできない（図1）。ブロックの表面で、蟻がたどりつくのに最も遠い地点はどこか?」 直感的に、反対側の頂点だと思うかもしれない。それは正しいだろうか？ もし、ブロックが1×1×2ではなく、1×1×1であれば、あきらかに反対側の頂点が最も遠い。わかりやすくするためには展開図を使えばよい。仮に1×1×1だった場合の展開図を考えると図2のようになる。 左下が、蟻が最初にいる点である。展開したために、立体のひとつの頂点が複数の点に対応している（同じ記号を付してある）。1×1×1の時に、最も遠い場所が反対側の頂点であることは、左下から対応する点までを半径とした円の中に、他の点が全て入ることから確認できる。1×1×2の時はどうだろうか。最も遠い点を定規とコンパスによる作図で指し示す
)
転倒 (数学) - Wikipedia
The permutation (4,1,5,2,6,3) has the inversion vector (0,1,0,2,0,3) and the inversion set {(1,2),(1,4),(3,4),(1,6),(3,6),(5,6)}.The inversion vector converted to decimal is 373. 計算機科学および離散数学における列の転倒（てんとう、英: inversion）は、その列の項の対であって、それらの項の成分が自然な順番から外れているようなものを言う。 きちんと述べれば、 を相異なる n 個の全順序付けられた文字（例えば、数）の成す列として、 かつ が成り立つとき、順序対 を の転倒と呼ぶ[1][2]。 列の転倒数 (inversion number) は、その整列性の測度として広く用いられる[3][2]。きちんと述べれば
マーズ・クライメイト・オービター - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Mars Climate Orbiter|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針につ
アーノルドの猫写像 - Wikipedia
写像がどのように単位正方形を延ばし、モジュロ演算に対してどのようにその断片が再構成されるかを図示したもの。矢印のついた直線は、固有空間が縮小および拡大される方向を表す。 数学におけるアーノルドの猫写像（アーノルドのねこしゃぞう、英: Arnold's cat map）は、トーラスからそれ自身へのあるカオス写像で、1960年代に猫の画像を使ってその効果を示したウラジーミル・アーノルドの名にちなむ[1]。 商空間 としてのトーラス を考える。アーノルドの猫写像は、次の式で与えられる変換 である： また同値であるが、行列を使うと次のように表すことも出来る： すなわち、単位長は正方形の像の幅と等しいものとして、この像は 1 単位上にせん断された後、1 単位右にせん断され、単位正方形の外側にあるものはすべてその内側に来るように戻される。 Γ は行列式が 1 であるため、可逆であり、その逆行列は整数行
ペガーナの神々 - Wikipedia
『ペガーナの神々』（ペガーナのかみがみ、The Gods of Pegāna）は、アングロ・アイリッシュの作家ダンセイニ卿が1905年に委託出版した短編集である。彼の処女作であり、奇抜な作品としてではあるが好意的に評価された。ロンドン・デイリー・クロニクルのジャーナリストでもあった詩人エドワード・トマスによる批評がよく知られる[1]。 収められた一連の短編は、ダンセイニ卿が創作した架空の地ペガーナに住まう神々の体系を共通の背景としてつながっている。続編として短編集『時と神々』、および『ヴェレランの剣』『三半球物語』所収の数編がある。1919年のアメリカ人記者の取材に対して、「『ペガーナの神々』では、大洋と月について語ろうとしました。そういうことをした人を他には知りません」とダンセイニ卿は答えている[2]。 挿絵はシドニー・サイムのもので、原版がダンセイニ城で公開されている。 単行本としても
ダニング＝クルーガー効果 - Wikipedia
ダニング＝クルーガー効果（ダニング＝クルーガーこうか、英: Dunning–Kruger effect）は、ある領域において能力が低い者は自分の能力を過大評価する傾向があるという認知バイアスの仮説である。また、能力の高い者が自分の能力を過小評価する傾向がある、という逆の効果を定義に含めることもある。1999年にデイヴィッド・ダニング（英語版）とジャスティン・クルーガー（英語版）によって初めて報告された。 ダニング＝クルーガー効果は通常、自己評価と客観的な成績を比較することで測定される。例えば、参加者が小テストを受け、その後に自分の成績を推定し、それを実際の成績と比較する。オリジナルの研究では、論理的推論、文法、社会的スキルに焦点を当てたものであるが、同様の研究は幅広いタスクにわたって数多く行われている。ビジネス、政治、医学、運転、航空、空間記憶、学校での試験、読み書きなど多種多様な分野の能
パーキンソンの凡俗法則 - Wikipedia
自転車置き場 パーキンソンの凡俗法則（パーキンソンのぼんぞくほうそく、英: Parkinson's Law of Triviality）とは、シリル・ノースコート・パーキンソン（英語版）が1957年に発表した、「組織は些細な物事に対して、不釣り合いなほど重点を置く」という主張である。パーキンソンがこの法則を説明する際に用いたたとえ話から「自転車置き場のコンセプト」、「自転車置き場の色」または「自転車置き場の議論」などの言い回しで使われることもある。 この法則は、シリル・ノースコート・パーキンソン（英語版）による、経営の風刺書『パーキンソンの法則』[1] の中で出されたものである。パーキンソンはこの法則を説明するたとえ話として、委員会が原子力発電所と自転車置き場の建設について審議する様子を比較している。 原子炉の建設計画は、あまりにも巨大な費用が必要で、あまりにも複雑であるため一般人には理解
ボルツマン脳 - Wikipedia
ボルツマン脳の名前の由来となったルートヴィヒ・ボルツマン ボルツマン脳（ボルツマンのう、英: Boltzmann brain）は、現代科学が想定しているように宇宙が生まれるよりも、単一の脳が自発的かつ簡潔に（私たちの宇宙に存在したという誤った記憶を持った状態で）真空から生じた可能性の方が高いという主張である。宇宙の低エントロピー状態に対するルートヴィッヒ・ボルツマンの初期の説明に対する「帰謬法」として初めて提案された[1]。 この物理学的思考実験において、ボルツマン脳は完全な形の脳であり、 熱力学的平衡状態からの非常にまれなランダムな揺らぎのために発生し、私たちの宇宙での人間としての生活の完全な記憶を備えている。理論的には数千億年の期間を経て、たまたま真空中の原子が自然に集まり、人間の脳（あるいは未知の知的生命体の脳）が組み立てられる可能性がある。そのような状況におかれた脳は、生命維持に必
フォード・ファルカーソンのアルゴリズム - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "フォード・ファルカーソンのアルゴリズム" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2015年11月) フォード・ファルカーソンのアルゴリズム（英: Ford-Fulkerson algorithm）とは、フローネットワークにおける最大フローを求めるアルゴリズムである[1]。レスター・フォード Jr.（英語版、ドイツ語版、フランス語版、ロシア語版） と デルバート・ファルカーソン（英語版、ドイツ語版、スペイン語版、フランス語版） にちなんで命名されたもので、1956年に発表された。フォード・ファルカーソンのアルゴリズムの特殊版であ
行列の分解 - Wikipedia
線型代数学という数学の分野において、行列の分解（ぎょうれつのぶんかい、英: matrix decomposition, matrix factorization）とは、行列の行列の積への因数分解である．多くの異なった行列の分解があり、それぞれがある問題のために利用される。リー群の分解はこれらのより本質的な視点を与える。 数値解析において、異なる分解が効率的な行列アルゴリズムを実装するために用いられる。 例えば、線型方程式系（連立一次方程式）Ax = b を解くとき、行列 A はLU分解により分解できる。LU分解は行列を下三角行列 L と上三角行列 U の積に分解する。系 L(Ux) = b と Ux = L−1b は、もとの系 Ax = b と比べて解くのに必要な加法や乗法が少ないが、浮動小数点のような不正確な計算ではかなりの桁数を必要とし得る。 同様に、QR分解は A を直交行列 Q と
RepRap プロジェクト - Wikipedia
RepRap version 1.0 (Darwin) RepRap version 2.0 (Mendel) 2007年のPoptechでRepRap プロジェクトに関して話すAdrian Bowyer Zaphod試作機によって出力されたReprapを製造するために最初にReprapによって製造された部品 右の機械のすべての樹脂製の部品は左の機械によって製造された。(Adrian Bowyer (左)とVik Olliver(右)はRepRap プロジェクトのメンバー) Version 2 'Mendel' 既に出力された物理的な物体が保持されていてPCの画面上には次の出力物が表示される RepRap の動画 RepRap 0.1 物体の製造 メカノ repstrap の RepRap 0.1 試作機 (Vik Olliverによって開発された) RepRap プロジェクト（レップラッ
ISO 31-11 - Wikipedia
ISO 31-11は、数学記号について定めた国際標準化機構(ISO)の国際規格で、ISO 31の一部である。 2009年に発行された ISO 80000-2 によって置き換えられ、ISO 31-11 は廃止された[1]。 日本工業規格(JIS)では1981年に制定された JIS Z 8201が相当するが、数理論理学や集合の記号が記載されてないなど、内容は一部異なる（同等性は修正を意味する「MOD」）。ISO 31の他の部は JIS Z 8202 が相当するが、ISO 31-11に相当する部分はJIS Z 8201を参照することとなっており、 JIS Z 8202 は第11部が欠番になっている。ISO 80000-2 が発行後もJISは長らく改訂されていない状況が続いていたが、2022年に最新の ISO 80000-2 と「IDT」（一致）の同等性を持つ JIS Z 8000-2 が制定され
Category:整数の類 - Wikipedia
下位カテゴリ このカテゴリには下位カテゴリ 6 件が含まれており、そのうち以下の 6 件を表示しています。
カリーのパラドックス - Wikipedia
カリーのパラドックス（英: Curry's paradox）は、素朴集合論や素朴論理学で見られるパラドックスであり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生されることを示す。名称の由来は論理学者のハスケル・カリーから。 ドイツの数学者マルティン・フーゴー・レープ（Martin Hugo Löb）の名をとって レープのパラドックスとも呼ばれている[1]。 自然言語の場合[編集] カリーのパラドックスの自然言語版は次のような文である。 この文が真なら、サンタクロースは実在する。 この文が真であると仮定する。すると、その内容からサンタクロースが実在するということが結論として得られる。これは conditional derivation（条件付き演繹）と呼ばれる自然演繹技法を使った推論である。 つまり、この文が真であるなら、サンタクロースは実在する — これはその文そのも
AES-NI - Wikipedia
Intel WestmereをベースとしたCPU、具体的には: Gulftown（英語版） Clarkdale（英語版）（Core i3を除く） Arrandale（英語版）（Core i3およびCore i5-4XXMを除く） Sandy Bridge デスクトップ: Pentium、Celeron、Core i3を除くすべてのプロセッサ[2][3] モバイル: Core i7とCore i5のすべて。ベンダーによってはBIOS設定でAES-NI拡張を無効にして販売している場合がある[4]。この場合、BIOSアップデートが必要である[5]。 Ivy Bridge Core i5、i7、Xeonとi3-2115C[6] Haswell i3-4000m[7]、Pentium、Celeronを除く Skylake Intel Core、Pentium、Celeron、Xeon IntelはA
)
Coccinelle (ソフトウェア) - Wikipedia
Coccinelle (フランス語でテントウムシ) は、プログラミング言語のC言語で書かれたプログラムのソースコードのマッチング及び変形（英語版）を行うためのツールである。Coccinelleは当初Linuxの進化を助けるために使用された。それにおいて、関数の改名、何らかのコンテキストに依存した値の引数の追加、データ構造の再編のような、ライブラリのAPIの変更することを支援している。このツールはオープンソースライセンスの基で自由に使用可能である。 マッチングや変換されるソースコードは、C言語にとても良く似たパターン(セマンティックパッチ言語)を使用して指定される[1][2]。 例[編集] @@ expression lock, flags; expression urb; @@ spin_lock_irqsave(lock, flags); <... - usb_submit_urb(ur
ガイ・フォークス - Wikipedia
ガイ・フォークス（英: Guy Fawkes[ˈɡaɪ ˈfɔːks]、1570年4月13日 - 1606年1月31日[1][注釈 1]）、別名グイド・フォークス（英: Guido Fawkes[ˈɡwiːdoʊ ]）は、1605年に発覚した火薬陰謀事件の実行責任者として知られる人物である。 イングランドのヨークで生まれ育ち、母親の再婚相手の影響から、カトリックを信奉するようになる。青年期にはヨーロッパ大陸に渡りカトリック側で八十年戦争に参加した。後にトマス・ウィンターと出会い、ロバート・ケイツビーが首謀した火薬陰謀事件に関わるようになる。1605年11月5日、当局による貴族院地下の捜索が行われ、貯蔵した火薬を見張っていたフォークスは逮捕された。偽名を名乗り証言を拒んだフォークスであったが、拷問にかけられ計画の全容と共謀者の名前を白状した。1606年1月31日、フォークスは絞首刑台から飛び
珪藻 - Wikipedia
様々な珪藻の光学顕微鏡写真（暗視野）。 ヘッケルによる珪藻のスケッチ 珪藻（ケイソウ）は不等毛植物に含まれる単細胞性の藻類のグループである。分類階級は珪藻植物門または珪藻綱が割り当てられる。 細胞が珪酸質の被殻 (frustule) に覆われているのが特徴である。殻の形態が放射相称のものを中心珪藻、一本の対称軸をもって左右対称であるものを羽状珪藻と呼ぶ。 珪藻は全て光合成を行う独立栄養生物で、細胞内に1個から多数の葉緑体を持つ。光合成色素としては、褐藻等と同じくクロロフィルa、c1、c2を持つ。補助色素としては、カロテノイドであるフコキサンチン、ディアトキサンチン、ディアディノキサンチン、βカロテンなどを含み、黄褐色を呈する。葉緑体は包膜が4重膜であり、紅藻の二次共生に由来するものと考えられている。 葉緑体は細胞の周囲に配されるものが多い。核は細胞の中心付近に位置し、その周りを発達した液胞
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
数学記号の表 - Wikipedia