数学 - プログラミングスレまとめ in VIP
数学の考え方 † プログラムで「関数（function）」って言うよね。数学で扱う関数から見れば異質としか言いようが無いけど、しかし、やはり関数は関数なのです。では、関数とはなんぞや。 ところで数学（者）は、厳密な論理を重視し、高度な抽象化を行い、命題を導くことを目的とします。一見堅苦しい作業に思えるのですが、厳密に且つ抽象的に処理を行うことが、驚異的柔軟性を導いてくれます。譬えば「線型接続」の素晴らしさは、柔軟さゆえの事でしょう。 つまり、関数を抽象化してやると、「任意の値に関する答えを返してくれる処理」とも考えられるわけで、プログラムの処理も「関数」に該当するわけ。これもまあ柔軟と言えばそう。 プログラムだと、動けばいいやと思ってしまえば、動画変換のプログラムは何でもいいことになる。でも実際はそうじゃない、なるべく効率的で高速な物を考え、実現する。プログラムと同じように、数学にも効率化
ポアンカレ予想 - Wikipedia
予想の提唱者アンリ・ポアンカレ （3次元）ポアンカレ予想（ポアンカレよそう、Poincaré conjecture）とは、数学の位相幾何学（トポロジー）における定理の一つである。 3次元球面の特徴づけを与えるものであり、定理の主張は 単連結な3次元閉多様体は3次元球面 S3 に同相である というものである[2][3]。2014年現在まで7つのミレニアム懸賞問題のうち唯一解決されている問題である。 ポアンカレ予想は各次元で3種類（位相、PL、微分）があり、かなり解けているが 「4次元微分ポアンカレ予想」「4次元PLポアンカレ予想」「高次元微分ポアンカレ予想の残り少し」は未解決である。 これらは非常に重要な問題である[4][5][6]。 図のトーラス上の2色のループは双方共に1点に収縮できない。よってトーラスは球と同相では無い。 ポアンカレ予想は、1904年にフランスの数学者アンリ・ポアンカレ
数学上の未解決問題 - Wikipedia
数学上の未解決問題（すうがくじょうのみかいけつもんだい、英: unsolved problems in mathematics）とは、未だ解決されていない数学上の問題のことで、未解決問題の定義を「未だ証明が得られていない命題」という立場を取るのであれば、そういった問題は数学界に果てしなく存在する。ここでは、リーマン予想のようにその証明結果が数学全域と関わりを持つような命題、P≠NP予想のようにその結論が現代科学、技術のあり方に甚大な影響を及ぼす可能性があるような命題、問いかけのシンプルさ故に数多くの数学者や数学愛好家たちが証明を試みてきたような有名な命題を列挙する。 ミレニアム懸賞問題[編集] 以下7つの問題はミレニアム懸賞問題と呼ばれ、クレイ数学研究所によってそれぞれ100万ドルの懸賞金が懸けられている。 P≠NP予想 ホッジ予想 ポアンカレ予想（グリゴリー・ペレルマンによって解決済み）
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
