オーストリアのウィーン工科大学、スペインのバルセロナ大学、ドイツのハンブルク大学に所属する研究者らが発表した論文「Large cardinals, structural reflection, and the HOD Conjecture」は、無限に関する概念「巨大基数」について新たな発見をしたとする研究報告である。 ▲論文のトップページ 数学において、無限大は単一の概念ではない。たとえば、すべての自然数の集合も無限大であり、すべての実数の集合も無限大である。これらの間には大きさの違いがあり、数学者たちは、無限大の中でも特定の性質を持つ「巨大基数」を研究してきた。 これまで大基数は、小さいものから大きいものへと順序よく並ぶ線形的な構造を持つと考えられてきた。しかし今回導入された「exacting」および「ultraexacting」と名付けられた新しい大基数の概念は、そのような単純な構造で

アメリカで2人の高校3年生が、数学者たちを驚かせる発見をした。これまで不可能と考えられていた「三角法を用いたピタゴラスの定理の証明」に成功したのだ。St. Mary’s Academyに通う彼女らは、定理の証明を作成するという冬休みに出された数学コンテストの課題に答える形でピタゴラスの定理を証明し、アトランタで開催されたアメリカ数学会（American Mathematical Society：AMS）の春の南東部分科会に招待されて、2023年3月18日に学会で発表した。 「三平方の定理」とも呼ばれるピタゴラスの定理は、2000年以上の歴史を持つ数学の基本定理の一つだ。「直角三角形の斜辺の2乗は他の2辺の2乗の和に等しい（a2=b2＋c2）」というこの定理を、日本では中学3年生で学習する。 ピタゴラスの定理の証明自体は2000年前からさまざまな方法で行われてきたが、三角法を用いた証明は不可

アメリカ数学会で2人の10代の少女がピタゴラスの定理について新しい証明方法をプレゼンテーションしたことが話題になっています。応用数学の専門家であるキース・マクナルティ氏は「性別、民族、社会人口学的背景に関係なく、喜びと情熱があれば誰でも、研究分野での卓越性は達成可能であることを示す素晴らしい出来事」と評しているほか、その証明方法自体が波紋を呼んでいます。 Here’s How Two New Orleans Teenagers Found a New Proof of the Pythagorean Theorem | by Keith McNulty | Apr, 2023 | Medium https://keith-mcnulty.medium.com/heres-how-two-new-orleans-teenagers-found-a-new-proof-of-the-pytha

本年1月から開始した月1回の「数学間違い探し」の連載は幅広い読者から読まれているようで、心から感謝の意を表す。 第1回、第2回でも連載の背景や狙い詳しく述べているが、筆者の長年に渡る教育経験から悟ったことの一つに、算数・数学にある「間違い」を見付けるためには、暗記だけの学びはあまり役に立たない一方で、理解の学びが役に立つということがある。この「算数・数学の間違い探し」を通して背景にある「理解の学び」の重要性を少しでも学んでいただければ、筆者として嬉しく思う次第である。 毎回、初級、中級、上級の3題の「間違い探し」問題を順に出題するが、算数・数学として難しい問題を出題するものではなく、あくまでも間違い易い問題を出題する。 初級問題 【問1】円Bの半径は円Cの半径の2倍で、円周と円周は外接している。いま、円Bは固定する。そして円Bの周りを、円Cを外接した状態ですべることなくちょうど1周させると

by engelene 海外の掲示板「4chan」での議論が、数学者を25年以上悩ませてきた「The Minimal Superpermutation Problem(最小超置換問題)」という難問を解決するかもしれないと、世界中の数学者から大きな関心を集めています。解決の糸口となったのは、テレビアニメ「涼宮ハルヒの憂鬱」のエピソードの視聴順についてでした。 /sci/ - The Haruhi problem (lower bound) - Science ＆ Math - 4chan http://boards.4chan.org/sci/thread/10089701/the-haruhi-problem-lower-bound An anonymous 4chan post could help solve a 25-year-old math mystery - The Verge

この記事は、日曜数学アドベントカレンダー７日目の記事です。記事のテーマも７だしいい感じ。偶然だけど。 ......。 ............。 えっルービックキューブ難しくない？　みんな頭いいね？ ほんとは６面揃ってる画像載せて「ルービックキューブ買ってきたよ〜よっしゃ〜解くぞ〜！」からの「えっ難しくない？」って流れにしたかったんだけど、一度崩してしまったが最後二度と６面揃った画像が手に入らなくなったので残念ながらボツになりました。悲しいね。 大きいルービックキューブ ときおり「巨大なルービックキューブ」が話題になることがあります。13×13×13とか。こんなやつです。 （画像はtriboxストアさんより引用。以下同じ） いかついですね。もう少し太刀打ちできそうな範囲では7×7×7とかもあります。 （引用元：http://store.tribox.com/products/detail.

8月がこんなに忙しい年は初めてで、今まで、全くブログを更新する余裕がなかった。 今回は、更新できない間に、ちょこまか読んだ数学書、小山信也『素数とゼータ関数』共立出版の紹介をしよう。 【送料無料】 素数とゼータ関数 共立講座　数学の輝き / 小山信也 【全集・双書】 ジャンル: 本・雑誌・コミック > 科学・医学・技術 > 数学ショップ: HMV＆BOOKS online 1号店価格: 4,320円ぼくが、中学生のための受験雑誌『高校への数学』東京出版で素数についての連載をしていることは、何度か書いた。その参考のために、本書を読むことにしたのだ。しかし、単なる参考を超えて、この本はとてもすばらしい本であった。 何がすばらしいか、と言えば、本書はゼータ関数のことを、本当に丁寧に、至れり尽くせりで解説していることである。 数学書の多くは、「1を聞いて10を知る」人に向けてかかれている。極力、最

自然演繹は、その名の通りに「自然で分かりやすい」と言われたりします。僕は、そうは思いません。むしろ「不自然で分かりにくい」と感じます。導入規則と除去規則のあいだに綺麗な対称性がある、と言う人がいます。僕にはどこが綺麗か分かりません。無理クリに対称に見せてるだけで、むしろ歪んでいて汚ないじゃないか、と思います。 自然かどうか、綺麗かどうかは主観の問題ですから、議論しても不毛です。しかし、代替の定式化を示して、それを自然演繹と比較することにより、自然演繹を相対化することは出来ます。やってみます。 この記事の内容は、ここ10年くらい思っていたことです。口頭でしゃべったことはありますが（最後の節を参照）、まとまった記述はなかったので、割と丁寧に書きました。その結果、けっこう長大な記事となりました。 論理や圏論を学ぶには、まっとうな教科書を手元に置くのがよいでしょう。その教科書が主治医とするなら、僕

美星まどい/bp@THEXDER勝手に移植の人 @beautyplanets 【どうやって問題を解くか？①】 今回のは「学校はもう卒業しちゃったけど、働いているうちに数学に興味が出た。昔は苦手だったが勉強をやり直してみたい」という人がターゲットです。先に予防線を張りますが、押し付ける気は全くありません。「やりなおしたい、やってみたい」という人だけどうぞ。 2015-08-11 23:23:21 美星まどい/bp@THEXDER勝手に移植の人 @beautyplanets 【どうやって問題を解くか？②】 内容としては、「苦手であまり成績が良くなかったけど、やりなおしたい」人向けと「やり方を覚えて成績だけは確保したし問題も解くことはできるけど、やり直して理論をきちんと理解したい」人向けの２回に分けることにします。今回は前者の方向けです。 2015-08-11 23:39:05

圏論が多分野に普及して30年を経た現在、誰もが読める圏論の本が必要だ――本書はこのモチベーションで執筆された。予備知識がほとんどない読者のために、例として半順序集合と半群がゼロから説明され、最後までそれらを用いて話が展開されている。これらのほかにも例が豊富に取り上げられている。なお、予備知識がほとんど必要ないとはいえ、数学的な厳密性は損なわれていない。すべての重要な命題と定理には完全な証明が付されている。本書は情報科学や論理学など、さまざまな分野へ役立てられるであろう。 (Steve Awodey :Category Theory　2nd edition、 Oxford University Press、 2010) 第１章　圏 1.1　序論 1.2　集合の写像 1.3　圏の定義 1.4　圏の例 1.5　同型 1.6　圏の構成 1.7　自由圏 1.8　基本：ラージ，スモール，局所スモール

こんばんは。艦これのメンテが伸びてしまったのでTwitterをダラダラ見ていたら、こんなソフトが紹介されていました。 Download Microsoft Mathematics 4.0 (英語) from Official Microsoft Download Center （英語）とか書かれていますけど、ページに行けば普通に日本語版がダウンロードできます。 試しに起動してみたんですが、こいつが相当にすごい。数学のソフトで無料のものと言ったら、自分が知ってるものではscilabとかfunctionViewとかぐらいしかなかったんですが、このMicrosoft Mathematicsは数学の宿題を消すために生まれてきたかのようなソフトです。 たとえば、とても簡単な例として、ｘを０～１で定積分を求めると、 こんな感じで回答が出るんですが、注目すべきはこの中央の「解法」ってところです。試しに押

講義ノートの目次へ 微分方程式の基礎を学ぶための講義ノートPDF。 独学に使えるオンライン教科書を集めた。院試対策の演習問題と解答もある。 微分方程式は，大学１年で必ず押さえておこう。 そうしないとあちこちで（ほとんど全分野で！）つまづいてしまう。 物理や工学の他にも，化学反応，生き物の個体数，価格の変動…などなど， 「数式で動きをモデリング」する時に何にでも使う。早いうちにマスターしよう。 とくに解が厳密に求められるケースでは， 解き方のパターンを一通り押さえておく必要がある。 求積法　→解を積分で表現 級数解　→解を無限和で表現 演算子法やラプラス変換　→代数的・記号的な操作 こういった基礎ができれば，次はもっと実用的な段階にステップアップできる： 難しい微分方程式の場合，コンピュータで数値的に シミュレーションして解を求める。 ルンゲ・クッタ法などのアルゴリズムを使う。 現実世界では

ああ、だれか教えてほしい。コメント欄かツイッターで返信を。 いまぼくは、無料塾で中学２年の数学を教えている。 無料塾というのは、カネをとらずに小中高の生徒が集まり（うちは小中しかいないが）、講師もボランティアで教えるというもの。教育を貧困克服の一つの回路と考えて、その支援に力を入れている。 ぼくが参加しているのは、基本は小中学校生の「宿題をやる会」みたいな感じで、そこでごく数名が講師にわからない点を聞いているみたいな風景。 ぼくは大卒だけど、家庭教師の経験がない。 だから、教え方に関してはド素人である。 いや、「教え方のド素人」というのは、冷や汗が出るよな、とつくづく思った。 今日苦戦したのは、こういう問題だった。 その子は次の問題を「わからない」と言ってきた。 （問題） 正さんは「偶数と偶数の和は偶数である」ことを説明しようとして、次のように説明した。 ・mは整数である。 ・ゆえに2mは

「数学の美しさ」というものは、数学を深く理解することで初めて得られる感覚と言われます。美しさが伝わると数学嫌いも少しはマシになるのかもしれませんが、数学嫌いの人にはそもそも美しさを伝えることができないということで、歯がゆい思いをしている数学愛好家は多いもの。そんなときに便利な、「数学の概念」を視覚的に理解できるグラフィック集は以下の通りです。 soft question - Visually stunning math concepts which are easy to explain - Mathematics Stack Exchange http://math.stackexchange.com/questions/733754/visually-stunning-math-concepts-which-are-easy-to-explain ◆01：奇数の和 奇数の和が平方数にな

数学者ポアンカレは毎日買っている公称1kgのパンがしばしば軽目なのに気づいた。そこで重さを一年間計り続け、それが平均950gの正規分布にほぼ従うことを確認し、警察に届け出てパン屋に警告させた。つまりパン屋は最初から1kgのパンを目標にしていなかった！ それからまた一年間重さを計り続けたポアンカレは、今度はその分布が正規分布とは異なり、右に裾が長いことを見出し、再び警察に届けでてパン屋の不正を告発した。つまり、パン屋は反省することなく、単に目方の重そうなパンを選んでポアンカレ家に売っていただけであることをデータから見抜いたわけである。 数学セミナー 2010年9月号　通巻 588号　P.35 ソースは不明。だが面白すぎる。 →たまたま―日常に潜む「偶然」を科学する: レナード・ムロディナウ, 田中 三彦: 本 この本に同じ記述発見。 (via deltam) (via matakimika)

小学校の計算問題で「０÷０＝」という問題が出て、(その教師の用意していた)答えが「０」だったらしく、その生徒の親に高校の数学教師が居て、「こんなの不定に決まってるだろ」と猛烈に抗議をしたが、その小学校の教師にはその意味が理解できなかった。それで仕方なく校長のところに話を持っていき、なんとか決着がついた。 まあ、それ自体は昔からよくある話なのだが、何故、いまだに小学校で「０÷０」を計算問題として出してしまう小学校の教師が後を絶たないのだろうか。 その理由を簡単に説明する。 私も高校数学の教免(一種)を持っているのだが、まず、「０÷０＝」なんて学校で習ったことがない。 小学校のときの計算問題でそんな問題を出されたことは一度もない。要するに知らない。考えたこともない。 しかし、小学校では割り算を掛け算の逆操作として定義していて、 ２ × ３ ＝ ６ のような掛け算から、 ６÷３＝２ を導く。 こ