mathに関するsolterのブックマーク (21)

  • ハノイの塔 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "ハノイの塔" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2017年7月) 8つの円盤のハノイの塔 ハノイの塔(ハノイのとう、英: Tower of Hanoi)は、パズルの一種。 バラモンの塔または ルーカスタワー(英: Lucas' Tower)[注 1]とも呼ばれる。 ルール[編集] 以下のルールに従ってすべての円盤を右端の杭に移動させられれば完成。 3の杭と、中央に穴の開いた大きさの異なる複数の円盤から構成される。 最初はすべての円盤が左端の杭に小さいものが上になるように順に積み重ねられている。 円盤を一回に一枚ずつどれかの杭

    ハノイの塔 - Wikipedia
  • ゼロ除算 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "ゼロ除算" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2017年2月) ゼロ除算(ゼロじょさん、0除算、英語: division by zero)とは、0で除す割り算のことである。このような除算は除される数をaとするならば、形式上は a/0と書くことができるが、数学において、このような式を矛盾なく定義することはできない。コンピュータにゼロ除算をさせようとした場合、処理が停止してしまうなど深刻なことが起きることがある。 概説[編集] 現代数学の観点では、いかなるアプローチから定義を試みようとも必ず破綻に至る。結局、「値を定義し得ないため

    ゼロ除算 - Wikipedia
    solter
    solter 2013/02/09
  • レーベンシュタイン距離 - Wikipedia

    レーベンシュタイン距離(レーベンシュタインきょり、英: Levenshtein distance)は、二つの文字列がどの程度異なっているかを示す距離の一種である。編集距離(へんしゅうきょり、英: edit distance)とも呼ばれる。具体的には、1文字の挿入・削除・置換によって、一方の文字列をもう一方の文字列に変形するのに必要な手順の最小回数として定義される[1]。名称は、1965年にこれを考案したロシアの学者ウラジーミル・レーベンシュタイン (露: Влади́мир Левенште́йн) にちなむ。 レーベンシュタイン距離は、同じ文字数の単語に対する置換編集に使われているハミング距離の一般化であると見なすことが可能である。レーベンシュタイン距離の更なる一般化として、例えば一回の操作で二文字を変換する等の方法が考えられる。 例[編集] 実際的な距離の求め方を例示すれば、「kitt

  • ルース=アーロン・ペア - Wikipedia

    ルース=アーロン・ペア (Ruth=Aaron pair) とは、2 つの連続した自然数のそれぞれの素因子の総和が、互いに等しくなる組のことである。非常に少なく、20000 以下では 26 組しか存在しない。 [編集] 名前の由来 アメリカの元プロ野球選手であるベーブ・ルースの1935年に達成した通算塁打記録 714 (当時歴代 1 位)を、同国の元プロ野球選手のハンク・アーロンが1974年に通算 715 目の塁打を放ち、その記録を破った。この時の記録 (714, 715) が上記の性質になる事からこの名がついた。 [編集] 計算 (714, 715) で調べてみよう。 714 = 2 × 3 × 7 × 17 715 = 5 × 11 × 13 2 + 3 + 7 + 17 = 5 + 11 + 13 = 29 となり、(714, 715) の組はルース=アーロン・ペアということ

    solter
    solter 2013/02/09
  • ユークリッド空間 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "ユークリッド空間" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2017年6月) この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。(2023年9月) 三次元ユークリッド空間の各点は三つの成分の座標で決定される。 ユークリッド空間(ユークリッドくうかん、英: Euclidean space)とは、数学における概念の1つで、エウクレイデス(ユークリッド)が研究したような幾何学(ユークリッド幾何学)の場となる平面や空間、およびその高次

    ユークリッド空間 - Wikipedia
    solter
    solter 2013/02/09
  • バナッハ=タルスキーのパラドックス - Wikipedia

    バナッハ=タルスキーのパラドックス: 球を適当に分割して、組み替えることで、元と同じ球を2つ作ることができる。 バナッハ=タルスキーのパラドックス (Banach-Tarski paradox) は、球を3次元空間内で、有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができるという定理(ただし、各断片は通常の意味で体積を定義できない)。この操作を行うために球を最低5つに分割する必要がある。 バナッハ=タルスキーの証明では、ハウスドルフのパラドックスが援用され、その後、多くの人により証明の最適化、様々な空間への拡張が行われた。 結果が直観に反することから、定理であるが「パラドックス」と呼ばれる。証明の1箇所で選択公理を使うため、選択公理の不合理性を論じる文脈で引用されることがある。ステファン・バナフ(バナッハ)とアルフレト

    バナッハ=タルスキーのパラドックス - Wikipedia
    solter
    solter 2013/02/09
  • 任意精度演算 - Wikipedia

    任意精度演算(にんいせいどえんざん)[1]とは、数値の精度を必要ならいくらでも伸ばしたりできるような演算システム(実際上は利用可能なメモリ容量に制限されるが)による演算である。 概要[編集] 多倍長整数(たばいちょうせいすう)などを内部処理に利用し、必要な桁数の浮動小数点計算を行う。固定長の整数や一般的な固定精度の浮動小数点方式は、ハードウェアで高速に処理できるのに対し、任意精度演算はソフトウェアで実装され、重い処理を必要とする。十進の0.1を2進で表現しようとする場合のように、有限の桁数では表現し切れない場合もあることから、2進でなく十進で処理するものや、有理数演算を併用したりもする。 多倍長演算(たばいちょうえんざん)[2]とも言うが、プログラミング言語によっては、多倍長整数 (特に区別する場合は bigint などと言う) の名前が bignum であることもある。 最近のプログラミ

  • 浮動小数点数 - Wikipedia

    浮動小数点数(ふどうしょうすうてんすう、英: floating-point number)は、実数をコンピュータで処理(演算や記憶、通信)するために有限桁の小数で近似値として扱う方式であり[1]、コンピュータの数値表現として広く用いられている。多くの場合、符号部、固定長の指数部、固定長の仮数部、の3つの部分を組み合わせて、数値を表現する。 概要[編集] この節はパターソンらの記述に基づく[1]。 実数は0以上かつ1以下のような有限の範囲でも、無限個の値(種類)が存在するため、コンピュータでは妥当なビット数で有限個の値(種類)の近似値で扱う必要がある。 実数-1/3は10進数表現では無限小数となるが、有限桁の小数で近似値を表記できる。下の例では10進数での4桁としている。 -1/3 -1 x 0.33333333333333... -1 x 0.3333 x 100 -1 x 3.333 x

  • 複素数 - Wikipedia

    複素数 z = a + bi(a, b は実数)は、複素平面では、直交座標 (a, b) に対応し、それはアルガン図上のベクトル空間である。"Re" は実軸、"Im" は虚軸を意味する符牒であり、i は虚数単位と呼ばれる i2 = −1 を満たす数である。 数学における複素数(ふくそすう、(英: complex number)とは、2つの実数 a, b と虚数単位 i = √−1 を用いて z = a + bi と表すことのできる数のことである[注釈 1]。1, i は実数体上線型独立であり、複素数は、係数体を実数とする、1, i の線型結合である。実数体 R 上の二次拡大環の元であるため、二元数の一つである。 複素数全体からなる集合を、太字の C あるいは黒板太字で ℂ と表す。C は可換体である。体論の観点からは、複素数体 C は、実数体 R に √−1 を添加して得られる体の拡大であ

    複素数 - Wikipedia
  • Project Euler - PukiWiki

    Project Euler † プログラムで解く数学の問題集です。 公式サイト 適当に和訳してます。我こそはと思う人はライセンスを確認した上で自由に書いてください。 ↑

  • About - Project Euler

    About Project Euler What is Project Euler? Project Euler is a series of challenging mathematical/computer programming problems that will require more than just mathematical insights to solve. Although mathematics will help you arrive at elegant and efficient methods, the use of a computer and programming skills will be required to solve most problems. The motivation for starting Project Euler, and

    About - Project Euler
    solter
    solter 2013/02/08
  • 万物の生死を司る数式のお話

    単細胞生物から人間、鯨、樹高世界一のセコイアに至るまで、生けるものすべての生死を司る計算式というものが自然界には存在するのだそうです。 NPR司会者で科学記者のロバート・クラルヴィッチ(Robert Krulwich)氏がブログで紹介してました。 万物を生かし、死の時を告げる数式。 興味深いことに、これと同じ体系は、社会、経済など他の事象にも当てはまるんだそうな。しかも全部ひとつのマジックナンバーとも言うべき数で縛られているんです。面白いですね。 物理学者のジェフリー・ウェスト(Geoffrey West)博士はEdgeの必見動画(削除されてます)でこう解説しています。 [...] 例えばY軸に代謝率、X軸にサイズを落としていくとしよう。個々のシステムの多様性・複雑性、歴史的偶発性も作用するから当然、歴史・地理などに応じて点は座標上にバラバラに散ると思うよね。 ところが逆なんだな。点はとて

    万物の生死を司る数式のお話
    solter
    solter 2013/02/05
  • オイラーの公式 - Wikipedia

    数学の複素解析におけるオイラーの公式(オイラーのこうしき、英: Euler's formula)とは、複素指数関数と三角関数の間に成り立つ、以下の恒等式のことである: ここで は任意の複素数、 はネイピア数、 は虚数単位、 は余弦関数、 は正弦関数である。 特に、 とする場合がよく使われ、この場合、 は、絶対値 , 偏角 の複素数に等しい。 オイラーの公式の図形的な表現。複素数平面において、複素数 eiθ は、単位円周上の偏角 θ [rad] の点を表す。 オイラーの公式は、複素解析をはじめとする数学の様々な分野や、電気工学・物理学などで現れる微分方程式の解析において重要である。物理学者のリチャード・P・ファインマンはこの公式を評して「我々の至宝」かつ「すべての数学のなかでもっとも素晴らしい公式」 だと述べている[1][2]。 概要[編集] この公式の名前は、18世紀の数学者レオンハルト・

    オイラーの公式 - Wikipedia
    solter
    solter 2013/02/02
  • ユークリッドの互除法 - Wikipedia

    英語版記事を日語へ機械翻訳したバージョン(Google翻訳)。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Euclidean algorithm|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針につい

    ユークリッドの互除法 - Wikipedia
    solter
    solter 2013/01/30
  • 排他的論理和 - Wikipedia

    「XOR」は論理演算について説明しているこの項目へ転送されています。論理回路については「XORゲート」をご覧ください。 ベン図による排他的論理和 排他的論理和(はいたてきろんりわ、英: exclusive or / exclusive disjunction)とは、ブール論理や古典論理、ビット演算などにおいて、2つの入力のどちらか片方が真でもう片方が偽の時には結果が真となり、両方とも真あるいは両方とも偽の時は偽となる演算(論理演算)である。XOR、EOR、EX-OR(エクスオア、エックスオア、エクソア)などと略称される。 表記法[編集] 中置演算子のある体系では、中置演算子を利用した中置記法により表記されることが多い。演算子は (Unicode: U+22BB ⊻)、。誤解のおそれがないときは、XOR、xor、 (Unicode: U+2295 ⊕)、+、≠ なども使われる。 論理学などで

    排他的論理和 - Wikipedia
    solter
    solter 2013/01/26
  • Rule 90 - Wikipedia

    solter
    solter 2013/01/25
  • Rule 30 - Wikipedia

    If the left, center, and right cells are denoted (p,q,r) then the corresponding formula for the next state of the center cell can be expressed as p xor (q or r). It is called Rule 30 because in binary, 000111102 = 30. The following diagram shows the pattern created, with cells colored based on the previous state of their neighborhood. Darker colors represent "1" and lighter colors represent "0". T

    Rule 30 - Wikipedia
    solter
    solter 2013/01/25
  • Elementary cellular automaton - Wikipedia

    An animation of how an evolution is determined in Rule 30, one of the 256 possible rules of elementary cellular automata. In mathematics and computability theory, an elementary cellular automaton is a one-dimensional cellular automaton where there are two possible states (labeled 0 and 1) and the rule to determine the state of a cell in the next generation depends only on the current state of the

    Elementary cellular automaton - Wikipedia
    solter
    solter 2013/01/25
  • オイラーの等式 - Wikipedia

    オイラーの等式(オイラーのとうしき、英: Euler's identity)とは、ネイピア数 e、虚数単位 i、円周率 π の間に成り立つ等式のことである: eiπ + 1 = 0 ここで e:ネイピア数(自然対数の底) i:虚数単位(自乗すると −1 となる数) π:円周率(円の直径に対する周の比率) である。 式の名はレオンハルト・オイラーに因る。 等式の要素[編集] オイラーの等式は、その数学的な美によって特筆すべきものと多くの人に認識されている。 この等式は次の5つの基的な数学定数を含んでいる。 1:乗法に関する単位元 0:加法に関する単位元、すなわち零元 π:円周率。三角比、ユークリッド幾何学、微分積分学で頻出。およそ 3.14159 である。 e: ネイピア数。自然対数の底でもあり、微分積分学で広く出現。およそ 2.71828 である。 i:虚数単位。複素数における虚数単位で

    オイラーの等式 - Wikipedia
  • パラドックス - Wikipedia

    パラドックスと呼ばれるものの一般的な構造(左側)、そして解決の基的な三つのパターン(右側)[1]。図では示されていないが、前提には明示されるものと、そうでないものがある。パラドックスを取り扱う際は、明示されていない前提にも注意を払っていく必要がある。 パラドックス(paradox)とは、正しそうな前提と、妥当に思える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理とも言われる。 パラドックスとは[編集] 「妥当に思える推論」は狭義には(とりわけ数学分野においては)形式的妥当性をもった推論、つまり演繹のみに限られる。しかし一般的にはより広く帰納などを含んだ様々な推論が利用される。また「受け入れがたい結論」は、「論理的な矛盾」と「直感的には受け入れがたいが、別に矛盾はしていないもの」に分けることができる。狭義には前者の場合のみをパラドックスと言い、広義には後者もパラ

    パラドックス - Wikipedia