アマチュアの方などが、第一級の数学者が長年取り組んでも解決できない問題（フェルマーの大定理*1の初等証明、コラッツ予想、リーマン予想、ふたご素数予想、P=NP問題、etc.）を解いたと主張して論文や本として発表されることは、ありふれたことのように思います。 あなたがプロの数学研究者だとしましょう。 あなたはそれらの原稿を読みますか？ 普通は読まないと思います。なぜなら、 「読まない段階では、その原稿が正しい可能性がある」 ということは、それはそうなのですが、 「その原稿が間違っている可能性の方が圧倒的に大きい」 ということの方が、読むかどうかを検討する側には重大だからです。 定理証明支援系などが更に発展して、近い将来には数学の正しさを効率よく客観的に判定できるようになるかもしれません。 ですが、今のところは、数学の原稿を査読するにはそれなりの時間がかかります。 時間をかけて読んでも間違って

スタンフォード大学の教授で数学者の時枝正（ときえだ・ただし）は、「おもちゃ」を使って数学や物理の定理を解き明かす。スープ皿や木のレール、大きなコインを手に、「ショー」とも呼べそうな講義をいかにも楽しげに始めるその姿に、聴衆は一瞬にして心を惹きつけられるという。 数学者には二つのタイプがいるという──。一つは、チョークを握り黒板に向かう、理論派タイプ。もう一つは、フェルトペンとホワイトボードを使う、どちらかというと応用数学系の人である。 その伝でいうと、時枝正は第三のタイプの数学者である。しかもこの第三のタイプは、世界広しといえども彼一人だけの可能性がある。 時枝は仕事道具をどれも煎餅の空箱から取り出すのだが、箱は「すべて同じブランドのもの」なのだそうだ。たとえばその中身は、見かけはそっくりなのに、転がるものと転がらないものがある二つの不思議な構造物。ひもや輪ゴム、クリップの扱い方は、まるで

https://www.nhk.jp/p/special/ts/2NY2QQLPM3/blog/bl/pneAjJR3gn/bp/pzwyDRbMwp/ (2022年4月10日の放送内容を基にしています) 2020年4月。「ａｂｃ予想」と呼ばれる数学の重要な未解決問題を、日本人が証明したというニュースが駆けめぐりました。論文を書いたのは、京都大学数理解析研究所教授 望月新一博士。世界的天才として知られてきた人物です。 ａｂｃ予想を証明した、博士の「宇宙際タイヒミューラー理論」。査読の完了と専門誌への掲載は、望月博士の偉業が、世界に正式に認められたことを意味しました。ところが…望月の証明はまだ受け入れられないと主張する数学者が多数現れ、今も激論が続いているのです。一つ一つ論理を積み上げていけば、誰もが同じ結論に達するはずの数学の世界。完全に正しいとする数学者がいる一方で、なぜ多くの数学者が理

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

今回紹介するのは、ヤニス・クセナキスの作曲法です。 クセナキスはギリシア人の現代音楽作曲家です。 大学では建築と数学を学んだという異色の経歴の持ち主で、数学や物理の理論を作曲に応用したことで有名です。 形式化された音楽 （単行本） [ ヤニス・クセナキス ] 価格：7020円（税込、送料無料) (2019/1/14時点) 楽天で購入 一般的には非常に難解な数式を音楽の世界に持ち込んだと言われていますが、よく見ると実は学部生レベルです。 「数式を見ると頭がクラクラする…」という方はともかく、数学や物理が得意だった人であれば手も足も出ないわけではありません。 私も理系の端くれなので、こんなもん余裕で解説してやるぜ！ …と言いたいところなのですが、私、学生時代はライブに明け暮れていたため、まともに勉強などしておりませんでした (；-ω-)ゞ と言うわけで、私が理解できた極めて初歩的な範囲のみ、何

はじめに プログラミング自体は文系、理系、年齢関わらず勉強すればある程度ものになります。プログラミングがある程度できるようになるとTensorflow,PyTorchやscikit-learn等のライブラリで簡単にできる機械学習やデータサイエンスに興味を持つの必然! これからさらになぜ上手くいくのか・いかないのかの議論をしたい、社内・外に発表したい、理論的な所を理解したい、先端研究を取り入れたい、応用したい等々と次々に実現したい事が増えるのもまた必然でしょう。このときに初めて数学的なバックグラウンドの有無という大きな壁が立ちはだかります。しかし、数学は手段であって目的ではないので自習に使える時間をあまり割きたくないですよね。また、そもそも何から手を付けたら良いかわからないって人もいるかと思います。そんな人に向けた記事です。本記事の目標は式の意図する事はわからんが、仕組みはわかるという状態に

「事実は小説より奇なり」とはよく言ったものだ。昨年、数学者たちを悩ませた、大昔の数学の問題が解決された。だが解答したのは数学者ではない。なんと現在刑務所に服役している殺人犯だ。 その問題は「幾何学の父」と称される古代エジプトのギリシャ系数学者、エウクレイデス（ユークリッド）が頭を悩ませた「連分数」で、現在では暗号技術などに使われる非常に重要な理論であるそうだ。 殺人罪で刑務所に収容された囚人、数学に目覚める 現在ワシントン州シアトル近郊の刑務所で服役中のクリフトファー・ヘイブンズ（40歳）は、苦難の人生を歩き続けてきた。 高校は中退。仕事が見つからず、やがて麻薬に手を出すようになり、ついには人を殺めてしまった。2011年に25年の実刑判決を受け、刑期はまだ15年残っている。 しかし刑務所の中で数学と出会ったことで、彼の人生に光が差し始めた。独学で高等数学の基礎を学び、情熱を感じるようになっ

4. 公開にあたって ●まえがきに代えて 本書は 株式会社 セガ にて行われた有志による勉強会用に用意された資料を一般に公開するもので す。勉強会の趣旨は いわゆる「大人の学び直し」であり、本書の場合は高校数学の超駆け足での復習 から始めて主に大学初年度で学ぶ線形代数の基礎の学び直し、および応用としての３次元回転の表現の 基礎の理解が目的となっています。広く知られていますように線形代数は微積分と並び理工系諸分野の 基礎となっており、だからこそ大学初年度において学ぶわけですが、大変残念なことに高校数学では微 積分と異なりベクトルや行列はどんどん隅に追いやられているのが実情です。 線形代数とは何かをひとことで言えば「線形（比例関係）な性質をもつ対象を代数の力で読み解く」 という体系であり、その最大の特徴は原理的に「解ける」ということにあります。現実の世界で起きて いる現象を表す方程式が線形な振

Study-AI株式会社は3月23日から、特設サイトとYouTube公式アカウントにおいて、中学生でも人工知能（AI）の勉強を目指せるとうたう「中学生から分かるAI数学講座」動画の無料配信を開始した。 本講座は、一般社団法人日本ディープラーニング協会（JDLA）が提供する「E資格」で出題される数式を読めるようになることを目的としており、中学校や高校の数学を予習（復習）するといった内容だ。 解説範囲は数式の読み方や計算方法で、数式の意味は解説に含まない。到達目標はΣやexpやlogなどの言葉が出てきても抵抗なく受け入れ、計算ができること。対象者はAIの勉強を進めたい人、高校数学を習っていない中学生。 制作意図としては、自分で勉強を進めたり講義を聞いたりするときに「教科書に出てくる数式が読めない」「見たこともない」ということがないように準備体操、予習の一助として作成したとしている。 気になる人

私はタイムラインとトレンドを一切見ないタイプのツイ廃なので、流行の話題に乗り遅れることが多々ある。（それでいいと受け入れている） そのため「不登校だった（？）VTuberが積分についてイチから勉強する配信」が少し前に話題になっていたらしいと今さら知った。 私はVTuberのオタクではない。ときどきのらきゃっとさんの放送を観るくらいで、今をときめくホロライブとかにじさんじについては何も知らない。 ただ、私は数学ガールのオタクである。 数学ガールとは、ラノベ風の数学読み物シリーズだ。ラノベと言っても、扱う数学は高校〜大学レベルかそれ以上と、ガチである。（派生した『数学ガールの秘密ノート』シリーズでは中学〜高校レベルの易しい内容を扱っている） 私は本当に数学ガールシリーズが好きで好きでたまらなく、約1年前からはレビュアーとして出版前の原稿を読ませて頂いている。だから「著者からの回し者とかではござ

私の大好きな数学者の名言で、「音楽は感性の数学であり、数学は理性の音楽である」という言葉があります。 数を原理とするピタゴラス教団がピタゴラス音律を作り出し、そこから純正律という整数比率によるハーモニーを重視した音律が作られたことからも、音楽と数学の関係性は深いと言えるでしょう。 しかし、 実際に数学を多少わかって、音楽を多少嗜んでいる方であれば、音楽で使われる様々な単位への違和感を感じたことがあるのではないでしょうか。 とにかく既存の音楽理論や音楽文化が、「12音種」「7幹音」「5線譜」「1から数える」すべてが噛み合っていない感じがすごい。この噛み合ってない上で究極の覚えゲーを重ねがけして理論作り上げてんのヤバい。 — じーくどらむす/岩本翔 (@geekdrums) July 12, 2020 音楽を取り巻く数への違和感まずこの「12音階」（ド～シまで、＃、♭も含めた1オクターブ以内の

少し前に高校数学をやり直したのですが、徐々に勉強スタイルが整ってきたので使って便利だったツールをまとめておこうと思います。 今から勉強はじめようと思ってる方や、もうすでにはじめられてる方の参考になればうれしいです。 GeoGebra Graphing Calculator 数式を入力するとグラフを描いてくれます。 Webブラウザやスマホ・iPadのアプリでも使用でき、ぱっとグラフの形を確認したいときにとっても便利です。 Webブラウザや iPad などでも使用できます。 Wolfram Alpha図を描いてくれるところは GeoGebra に似ていますが、こちらは入力された数式などに対して構造化されたデータを用いて適切な結果を返してくれる検索エンジンのようです。 いろんなWebページをインデックスして検索結果を返す Google などとはまた違っておもしろいですね。 GeoGebra は非

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

となります。 この $C_i$ を、$0\leq i\leq 2N$ を満たすすべての $i$ について求めるのが今回の目標です。 それぞれ愚直に求めると、$f,g$ の全項を組み合わせて参照することになるので、 $O(N^2)$ です。これをどうにかして高速化します。 多項式補間 愚直な乗算は難しそうなので、$C_i$ の値を、多項式補間を用いて算出することを考えます。 多項式補間とは、多項式の変数に実際にいくつかの値を代入し、多項式を計算した値から、多項式の係数を決定する手法です。 たとえば、$f(x)=ax+b$ という $1$ 次関数があるとします。 $a$ と $b$ の値は分かりませんが、$f(3)=5,f(7)=-3$ がわかっているものとします。 実際に $3,7$ を代入してみると、 $3a+b=5$ $7a+b=-3$ と、連立方程式が立ち、$a,b$ の値が求められま

【編集注 12.29 18:00】 記事の内容に一部不明瞭な点があるとご指摘をいただきましため、内容を精査し、後日改めて訂正記事を公開いたします。 数学が好きな人も嫌いな人も2次方程式を習ったことでしょう。2次方程式を解くための方法は、「解の公式」や「解と係数の関係」など、世界中の人々が学んできました。 しかし最近、数学者ポーシェン・ロー氏が二次方程式の違った解き方を考案。歴史的に見れば決して「新しい」わけではありませんが、2次方程式に苦手意識のある人にとっては、その理解について新しい視点をもたらしてくれるかもしれません。 研究論文の詳細は「arXiv」で公開されました。

結城 浩 さんの「プログラマの数学 第2版」を読みましたので，感想などまとめておくことにいたします。 www.hyuki.com 先日から「リーダブルコード」，「すいません，ほぼ日の経営」に続いてこちら，ということで，なんだか新人とか若手の読書日記みたいになっていますが，いまの自分には必要なことだと思いますので，良しとしましょう。 ただ，kindle 版を購入したのですが，kindle paperwhite だと文字が薄く，濃度調整もできなくて少々難儀しました。iPad のkindleアプリなどでは問題なかったので，kindle paperwhite と相性が悪かったようです。 楽しみました 今回もメモなど取りつつ，本文中のクイズや証明などにチャレンジしつつ，毎日少しずつ読み進めたのですが，気づけば2週間近くかかっていました。とほほ。でも，たいへん楽しかったです。以降，この本を読んで良かっ

今回は，ユークリッドの互除法を図形を使って視覚的に理解してみましょう！ Twitterのフォロワーさんが教えてくれたネタで，感動したので許可を取って当ブログで紹介させていただきます． 「ユークリッド互除法ってなんだっけ？」って方もご心配なく．はじめにしっかり復習してから，図形的理解を試みてみます． では，行ってみましょう!! ユークリッドの互除法の復習 まず，高校1年生の数学で習うユークリッドの互除法とはなんだったかを復習してみましょう． ユークリッドの互除法とは，簡単に最大公約数を求めることが出来る方法のことです ある2つの数字が与えられた時に，その両方をキレイに割り切ることができる数字の中で一番大きいものを最大公約数というのでした． 例えば，28と20の最大公約数は，4になります． さて，それでは次に，この最大公約数をユークリッドの互除法で求めてみましょう． 28と20の最大公約数を求