タグ

数学に関するhariiibaraのブックマーク (11)

  • 世界は数学で満ちている『世界を変えた17の方程式』 - RyoAnna

    数と数の関係性を明らかにして、数の意味を理解したり別の数を計算する。それが方程式の役割で、鍵となるのは = で表す等号だ。数学は記号を使った言語であり、すべて言葉に翻訳できる。方程式であれば「〜と〜は」という主語で始まり、「等しい」という述語で終わる。 例えばアインシュタインの方程式「E=mc²」は、「物体のエネルギーは、その質量と、光の速さの2乗との積に等しい」と言葉で説明できる。ピタゴラスの定理「a²+b²=c²」なら、「直角三角形の斜辺の2乗は、隣り合った2つの辺の2乗の和に等しい」といった具合だ。 方程式には世界を変える力がある。自然の中に隠れているパターンを発見すると、科学技術のレベルが大きく飛躍する。それをドラマチックに丁寧に教えてくれるのが、数学者イアン・スチュアートによる『世界を変えた17の方程式』だ。 第1章 カバに乗った女房 ピタゴラスの定理 ピタゴラスは、直角三角形の

    世界は数学で満ちている『世界を変えた17の方程式』 - RyoAnna
  • P≠NP予想 - Wikipedia

    出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。(2013年2月) P≠NP予想(ピーエヌピー予想、英語: P is not NP)は、計算複雑性理論(計算量理論)における予想 (未解決問題) の1つであり、「クラスPとクラスNPが等しくない」すなわち「クラスNPの元だがクラスPの元でないような決定問題(判定問題)が存在する」というものである。P対NP問題(PたいNPもんだい、英: P versus NP)と呼ばれることもある。 理論計算機科学と現代数学上の未解決問題の中でも最も重要な問題の一つであり、2000年にクレイ数学研究所のミレニアム懸賞問題の一つとして、この問題に対して100万ドルの懸賞金がかけられた。 概要[編集] クラスPとは、決定性チューリングマシンにおいて、多項式時間で判定可能な問題のクラス

  • ミレニアム懸賞問題 - Wikipedia

    ミレニアム懸賞問題(ミレニアムけんしょうもんだい、英: millennium prize problems)とは、アメリカのクレイ数学研究所によって、2000年に発表された100万ドルの懸賞金がかけられている7つの問題のことである。そのうち1つは解決済み、6つは2023年12月の時点で未解決である。ミレニアム賞問題、ミレニアム問題とも呼ばれる。 これらの問題は、それぞれの分野で非常に重要かつ難解な問題である[1]。 賞金を得るためには、査読つきの専門雑誌に掲載された後、二年間の経過期間を経て解決が学界に受け入れられたことが確認されなくてはならない[1]。なお、P≠NPとナビエ-ストークス方程式については、肯定的、否定的のいずれの解決に対しても賞金が与えられるが、他の問題については、否定的な解決は、それが問題の実効的な解決であるとみなされる場合に限り賞金が与えられる。否定的な解決であっても問

  • 数学者:岡潔文庫

    奈良女子大学附属図書館は、学名誉教授・故岡潔博士の自筆遺稿の寄贈を受けたことを機に、 オリジナルの収録・整備のほか、多変数解析函数の研究を中心とする岡潔博士関係の資料データベースを作成し、 インターネット上に公開することになりました。 文庫として収録している自筆遺稿の目録と、そのうちの一部の画像。 さらに、公表および未公表のフランス語論文とその日語訳についても、画像やTeXなどのかたちで提供しています。 お願い *ブラウザによっては英字特殊文字が表示されないことがありますことをご了承下さい。 * このページ配下のものを、無断で転載・転用することを禁じます。 * 資料の現物を閲覧利用することはできませんのでご了承ください。 ________________________________________________________________________ 奈良女子大学学術情報

  • 数学の歴史2万年+αを250のマイルストーンでまとめてみた

    数学の営みは、我々が想像する以上に古く長い。 先史時代の遺物にも、計数の概念や天体観測に基づいた測時法があったことを示すものが発見される。 今回は、可能な限り(というかやり過ぎなくらいに)遡り、専門研究から数学遊戯、ポピュラー文化まで渉猟し、数学歴史を画するマイルストーン(画期的出来事)を見つけ出そうとするクリフォード・ピックオーバーのThe Math Bookが取り上げる項目を手掛かりに、人類(すらも踏み越えているのだが)の営む数学歴史を振り返ってみる。 c. 150 Million B.C. 経路積分する蟻 Ant Odometer サハラサバクアリCataglyphis fortisは、経路積分によって巣からの位置を把握する。回り道をしながらべ物に辿り着いても最短距離で巣へ戻る。風のために砂丘の高さが変わっても、登りのために増えた分を差し引いて、巣までの水平距離を間違うことがな

    数学の歴史2万年+αを250のマイルストーンでまとめてみた
  • 数学上の未解決問題 - Wikipedia

    数学上の未解決問題(すうがくじょうのみかいけつもんだい、英: unsolved problems in mathematics)とは、未だ解決されていない数学上の問題のことで、未解決問題の定義を「未だ証明が得られていない命題」という立場を取るのであれば、そういった問題は数学界に果てしなく存在する。ここでは、リーマン予想のようにその証明結果が数学全域と関わりを持つような命題、P≠NP予想のようにその結論が現代科学、技術のあり方に甚大な影響を及ぼす可能性があるような命題、問いかけのシンプルさ故に数多くの数学者や数学愛好家たちが証明を試みてきたような有名な命題を列挙する。 ミレニアム懸賞問題[編集] 以下7つの問題はミレニアム懸賞問題と呼ばれ、クレイ数学研究所によってそれぞれ100万ドルの懸賞金が懸けられている。 P≠NP予想 ホッジ予想 ポアンカレ予想(グリゴリー・ペレルマンによって解決済み)

    数学上の未解決問題 - Wikipedia
  • ローレンツ方程式 - Wikipedia

    ρ = 28, σ = 10, β = 8/3 の時のローレンツアトラクターの解 ローレンツ方程式(ローレンツほうていしき)とは、数学者・気象学者であるエドワード・ローレンツ(Edward Lorenz)が最初に研究した非線型常微分方程式である。特定のパラメータ値と初期条件に対してカオス的な解を持つことで注目されている。特に、ローレンツ方程式のカオス解の集合はローレンツ・アトラクターと呼ばれる。いわゆるバタフライ効果の説明に用いられることが多く、決定論的な連立常微分方程式が初期値鋭敏性を持つことは驚きをもって迎えられ、カオス研究の端緒となった。 1963年、エドワード・ローレンツは、数値シミュレーションや数値計算を担当したエレン・フェッターと、ローレンツ方程式の発見に至る初期の数値計算を担当したソフトウェアエンジニア、マーガレット・ハミルトンの協力を得て、大気変動の簡易数学モデルを開発した

    ローレンツ方程式 - Wikipedia
  • 摂動 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "摂動" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2014年11月) 摂動(せつどう、 英語: perturbation)とは、一般に力学系において、主要な力の寄与(主要項)による運動が、他の副次的な力の寄与(摂動項)によって乱される現象である。摂動という語は元来、古典力学において、ある天体の運動が他の天体から受ける引力によって乱れることを指していたが、その類推から量子力学において、粒子の運動が複数粒子の間に相互作用が働くことによって乱れることも指すようになった。なお、転じて摂動現象をもたらす副次的な力のことを摂動と呼ぶ場合がある。

  • 数学に近い分野の情報収集 - Preferred Networks Research & Development

    はじめに 大野です。今回は数学に関する情報入手方法について、自分が知っている範囲でお話をしようと思います。特に4月に大学や大学院に入学した方や、数学の勉強を始めたいけれど何から始めればよいかわからないという方などを想定して紹介していこうと思います。 数学に限らないかもしれませんが、勉強をしようとすると解決すべき問題が色々と生じます。 そもそも文献(・講義録・雑誌)はどこにあるのか 文献はあるけれど、どれから調査・勉強を始めればよいか 勉強を始めたけれどわからなすぎる。誰かに質問したいけれどどこで聞けば良いのだろうか 以下では大体この流れに沿って情報源などを紹介していこうと思います。 文献を探す 図書館 私の地域の公共図書館は比較的数学が充実しており、数学もよく借りています。どの分野でも専門書は通常のよりも高額で、購入するのに躊躇するかもしれません。ですので、まず試しに図書館

    数学に近い分野の情報収集 - Preferred Networks Research & Development
  • 東京大学 講義 UT OpenCourseWare

    東京大学の講義や公開講座の映像・音声をポッドキャストでもお楽しみいただけます。東京大学が誇る「世界の叡智」をいつでも、どこでも、より多くの方々に体験していただきたいと考えています。 MIMA Search とは、UT OCW、MIT OCWに公開されている各授業のシラバスの関係を構造的に見ることができる検索システムです。MIMA Searchは、シラバスに含まれている各種の情報をもとに、検索結果を「点」と「線」でネットワーク表現します。

  • はてなブログ | 無料ブログを作成しよう

    盛岡旅行記 なぜ盛岡か。 白龍 店のじゃじゃ麺 岩手銀行赤レンガ館 白沢せんべい店の南部せんべい 盛岡天満宮と盛岡八幡宮 チーズケーキのチロル 大通店のクリームチーズケーキ フェザン/イオンタウン 盛岡駅前 盛楼閣の盛岡冷麺 福田パン 長田町店のパン マルイチ 材木町店 …

    はてなブログ | 無料ブログを作成しよう
  • 1