$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]

確率というのものは、数学的構造としては面積とほとんど全く同じなんですよね。 つまり、重なっていない土地の面積は足すことができるとか、重なっている土地を合わせるときは重複を差し引かないと合計面積にならないとか、そういうことです。 普通の意味での面積との違いは「全体の面積は1」ということだけです。 （これを測度論的確率論と言います。より詳しく言うと物理的な面積にとって意味のある測度はルベーグ測度ですが確率空間の場合はそれに限らないため、無限要素数や連続体濃度が関わってくるときに違いが出てくるわけですがまあそれは普通は考えなくていいことです。） 面積とほとんど同じ意味しか持たない確率という構造それ自体に「ある特定の家族の子供が女である確率」とか「家族を100組集めてきたときの頻度として子供が女である確率」とかいう意味を自然に持たせることは不可能です。 そこはユーザーが別途やるしかないわけです。具

田中 草大 (タナカ ソウタ) @_sotanaka 式の数字の部分は固定で、＋-×÷だけが変えられるようになっている。 毎朝、前を通る度に「ほえ～」と感心している。さて明日は……？ pic.twitter.com/W7ogjjzvOz

某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話　「巨大基数の崩壊」 第二話　「クレパの木」 第三話　「ペアノの公理系」 第四話　「ストーンの表現定理」 第五話　「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ（議論が詰まった時のブロックバスター）というのはぼんやりながら固まってました（笑）

ごちすう(ご注文は数オリですか？) @gochisuu 偶然にも日本中が五輪の幕開けに沸いている中ですが、先日リモートで開かれた第62回国際数学オリンピック(ロシア大会)において、今年も日本選手全員のメダル獲得(金1銀2銅3)が決定しました！特に金メダルは2年ぶりの奪還です！みんな本当におめでとう！そしてお疲れ様！2年後はここ日本での開催です！ 2021-07-23 22:12:36 リンク Wikipedia 国際数学オリンピック 国際数学オリンピック（こくさいすうがくオリンピック、英: International Mathematical Olympiad, IMO）は、毎年行われる高校生を対象とした数学の問題を解く能力を競う国際大会である。 テストは2日間あり、出場者は各1日4時間30分で、3問ずつ挑戦する。各問題は7点満点で採点され、満点は42点である。採点の結果、上位1/12位に

「その数自体は0でないのに、2乗するとはじめて0になる数」ってなんですか？ そんな数あるはずがないと思いますか？ でももしそんな数を考えることができるなら、ちょっとワクワクすると思いませんか？ 今回はそんな謎の数のお話。 実数の中には、「2乗して0になる数」というのは0しかありません。 （2乗して0になる実数は0しかない図） ということは、「2乗してはじめて0になる数」というのがあるとしたら、それは実数ではありえません。 「1年A組にはメガネの人はいないので、メガネの人がいたとしたらその人は1年A組ではありえない」くらいの当たり前のことを言っています。 この辺の議論は、複素数で「」を導入したときと同じですね。 「実数の中には、2乗して-1になる数というのは存在しないので、それがあるとしたら実数ではありえない」ということで「虚数」であるが導入されるわけです。 それならばということで、ここでは

ネットの普及がこれほど進んだ現代でも、手書きの通信添削で数学教育を行う雑誌の名物企画がある。雑誌「大学への数学」の「学力コンテスト」だ。60年以上前から難問の挑戦状を全国の高校生に届けてきた。それは読者の学力向上だけでなく、日本の数学研究者育成にもつながっている。同誌編集部と「学コンの伝説」と呼ばれた京大名誉教授・森重文氏のインタビューをお届けする。（取材・文：神田憲行／撮影：鈴木愛子／Yahoo!ニュース 特集編集部） その出版社は東京・広尾の静かな住宅街の一角にある。「東京出版」という社名の看板も小さく控えめで、実際、地図を片手に会社を探して右往左往してしまった。建物の外階段を上がって中に入り、その先の2階に「大学への数学」編集部がある。数学専門誌の編集部なのでホワイトボードに難しい数式が書いてあったりするのかと想像していたが、机が並んだ島が三つあるだけの、意外なほど普通の編集部だった

三谷 純 Jun MITANI @jmitani レターパックは折って立体的にしてもいいらしいので どの形が一番容積が大きくなるのか理論値を求めてみました。 結果、ピローボックス型最強。 pic.twitter.com/1TaXWC1kUw

イギリスの数学者で、初期のテレビゲームの開発などでも知られるジョン・コンウェイ氏が、新型コロナウイルスに感染して亡くなりました。82歳でした。 コンウェイ氏はイギリス・リバプール出身の数学者で、1970年に発表した、生命の誕生や死をコンピューター画面でシミュレーションするテレビゲーム「ライフゲーム」が世界的な人気を集めました。 さらに、「超現実数」に関する研究成果などで世界的な数学者としての立場を確立し、1987年からはプリンストン大学で教べんをとり2013年に名誉教授に就任しました。 大学によりますとコンウェイ氏は11日、アメリカのニュージャージー州の施設で新型コロナウイルスの感染による合併症で亡くなったということです。82歳でした。 大学のウェブサイトにはコンウェイ氏の功績をたたえるページが設けられ、「伝説的な数学者であっただけでなく、中高生にも数学を教え、そのおもしろさを多くの人に伝

未解明だった数学の超難問「ABC予想」を証明したとする望月新一・京都大数理解析研究所教授（51）の論文が、同所が編集する数学専門誌に掲載されることが決まった。3日、京大が発表した。ABC予想は、素因数分解と足し算・かけ算との関係性を示す命題のこと。4編計646ページからなる論文は、斬新さと難解さから査読（論文の内容チェック）に8年かかったが、その正しさが認められることになった。有名な数学の難問「フェルマーの最終定理」（1995年解決）や「ポアンカレ予想」（2006年解決）の証明などと並ぶ快挙となる。【阿部周一、松本光樹】 望月教授は2012年8月、構想から10年以上かけた「宇宙際タイヒミューラー（IUT）理論」の論文4編を、インターネット上で公開した。これを用いればABC予想など複数の難問が証明できると主張し、大きな注目を集めたが、既存の数学が存立する枠組み（宇宙）を複数考えるという構想は

2019年6月に以下の記事が投稿されました。 ループ、再帰、gotoを使わずに1から100までを印字するC++プログラムは書けますか？に対するIchi Kanayaさんの回答 - Quora 英語版の記事「How to print 1 to 100 in C++ without a loop, goto or recursion - Quora」から興味深い回答を抜き出して、それにランク付けをしながら和訳してくださっている記事です。 初級や中級は「まぁあるよね（C++知らないけれど……）」という感じですが、 上級とされた「マイクロソフト社のデータサイエンティスト Conner Davis 氏」の回答が面白かった ので、ご紹介を兼ねてその発想の源泉を推測してみることにしました。 Conner Davis 氏の回答 以下に Conner Davis 氏の回答の和訳を引用します。 マイクロソフト

数学の超難問「リーマン予想」を証明したと、昨年９月に発表した、英エディンバラ大名誉教授のマイケル・アティヤ氏（８９）が今月死去していたことがわかった。科学誌に投稿中だった論文はどうなるのか？ １６０年前に提案された謎の行方は――。 リーマン予想は、ドイツの数学者ベルンハルト・リーマンが１８５９年に提案した素数に関する未解決問題。２、３、５、７……と無限に続く素数の不思議な性質の解明につながるとされる。名だたる数学者が試み、証明の名乗りも何度もあったが、その度に誤りが判明し、１６０年間挑戦をはねつけている。 アティヤ氏は、幾何学とトポロジーが専門で、２０世紀の数学の金字塔と言われる「アティヤ＝シンガーの指数定理」で名をはせた。数学の「ノーベル賞」と称されるフィールズ賞（１９６６年）やアーベル賞（２００４年）などを受賞し、世界で最も偉大な数学者の一人に挙げられる。英王立協会などによると、１月１

数学的な内容を表現したアニメーションをいろいろ作って遊んでます。例えばこんなのとか。 素因数ビジュアライズ。大きく灰色で表示された数字の素因数が線を横切ります pic.twitter.com/z1MHJzPtbv — 鯵坂もっちょ🐟 (@motcho_tw) February 7, 2018 たくさんの点を、それぞれの点に書かれた数に応じた速度で回すことにより、大きく灰色で表示された数の素因数を表現しているわけです。楽しいですね。 こんなのもあります。 3Dで図示してみました。 pic.twitter.com/AF2R1QEtqk — 鯵坂もっちょ🐟 (@motcho_tw) April 12, 2017 九九におけるの段の「一の位」は、ぐるぐる回る点によって表現することができます。面白いですね。 変わったものでは、こういうのもあります。 惑星が「惑星」と呼ばれる理由ですhttps:/

一般に、境目は大事です。どこまでが友人で、どこからが恋人なのか、とか。 この記事は「好きな証明」アドベントカレンダー1日目の記事です。 上記の式のことを考えます。今回はは正の実数とします。そのが無限に乗じられているわけです。一見面食らってしまう見た目をしていますが、という列の極限として捉えられる、と考えればそこまで異常な概念でもないと思います。あるいは、この式全体を「」とでも置けば与式はと閉じた見た目にできるので怖くないです。（※極限値があると仮定） さて、当然のこととして、に値を入れてみたときにこの式がどう振る舞うのか知りたくなるのが人情です。とりあえず試しにだとしてみましょう。これはすなわち「」のことなわけですが、これはまあ1を何回乗じても1なのでも1になると予想がつくでしょう。 今度はだとしてみます。という数列は、実際に計算するととなり、明らかに発散（いくらでも大きくなる）しそうな雰

「月を入力すると日を返す多項式」の話が、Twitterのタイムライン上で話題になりました。 togetter.com どんな話題かというと、多項式 を以下のように定義したとき この に を代入すると、 となり、月を入力すると日を返す多項式になっています！すごい！ こんな多項式をいったいどうやって求めるんだろうかと、気になったかたはいるんじゃないかと思います。 これについては 中国剰余定理 が使えるということを、Iwao KIMURA ( @iwaokimura ) さんが、以下のツイートで教えてくださいました。 月を入力すると日を返す多項式．中国の剰余定理のいい例ですね．sagemathだとコマンド一発． pic.twitter.com/F15nosE2ia— Iwao KIMURA (@iwaokimura) 2018年10月21日 中国剰余定理は私の好きな定理の一つですが、このような応

理数系ネタ、パソコン、フランス語の話が中心。 量子テレポーテーションや超弦理論の理解を目指して勉強を続けています！ --------------------------------- 9月25日に追記： 月曜の深夜にこの記事を投稿したが、その後、アティヤ博士の発表に対して専門家の間では懐疑的、否定的な意見が支配的になってきた。証明は失敗している可能性が高い。しかし結論を急がず専門家による査読の結果を待つべきだ。今後の成り行きを見守っていきたい。 --------------------------------- ひとつ前の記事を書いている最中に、とてつもないニュースが飛び込んできた。あの「リーマン予想」が証明されたというのだ。ドキドキして気もそぞろである。これは今から160年前（日本は幕末）にドイツの数学者「ベルンハルト・リーマン」により提唱された予想で、「ミレニアム懸賞問題」という難問の

慶應義塾大学大学院理工学研究科 KiPAS 数論幾何グループの平川義之輔（博士課程 3 年）と松村英樹（博士課程 2 年）は、『辺の長さが全て整数となる直角三角形と二等辺三角形の組の中には、周の長さも面積も共に等しい組が（相似を除いて）たった 1 組しかない』という、これまで知られていなかった定理の証明に成功しました。 線の長さや図形の面積は、私たちの身の回りにあるものを測量する際に欠かせない基本的な「幾何学」的対象です。例えば、辺の長さが 3、4、5 の直角三角形は教科書でもおなじみの図形ですが、辺の長さが全て「整数」となる直角三角形はどのくらいあるか？という問題は、古代ギリシャ時代に研究がなされた重要な問題でした。この流れを汲んで 20 世紀に大きく発展した現代数学の一分野が「数論幾何学」です。 本研究では、数論幾何学における「p 進 Abel 積分論」と「有理点の降下法」を応用するこ

「読み書きそろばん」と言うように、昔から数学は学校で教育されてきました。しかし、学校で習う数学は数学の分野のほんの一部分でしかありません。その幅広い分野を一枚の図にまとめたものが公開されています。 Science Infographics Breakdown STEM Subjects as Visual Maps https://mymodernmet.com/science-infographics-dominic-walliman/ The Map of Mathematics - YouTube 私たちは学校で数学を学びますが、それは数学のほんの一部分でしかありません。数学の分野は非常に多様なものです。 数学は最初「ものを数える」ところから始まりました。そして長さを測るようになり、紀元前3000年にはエジプトで方程式が誕生。その後も負の数やゼロなどの発明が続きます。 現在の数学は「