数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
AIが数学オリンピックの難問証明 ひらめき獲得 数学者「ついに」：朝日新聞デジタル
","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
なぜ、微積分は役に立つのか
なぜ、微積分は役に立つのか 2023.11.27 Updated by Atsushi SHIBATA on November 27, 2023, 14:58 pm JST 今回紹介する書籍：『はじめての物理数学』永野 裕之（SBクリエイティブ、2017） 朝起きてから寝るまで、我々は何種類もの「数」を見ます。 私自身、朝起きるとネットやニュースで降水確率、予想気温のように気象にかかわる数、為替、海外の株式市場の指数など、いろいろな種類の数をチェックします。しばらく前なら、コロナウイルスの感染者数や増加傾向を表す指数を毎日のように確認していました。 自分を取り巻く環境を知るために、私たちはいろいろな「数」を確認します。そして数を手がかりにして、行動を決めます。現代を生きる私たちにとって「数」は、世界を知るための「目」としての役割を持っています。 現代人が日常的に見るこの種の数は、たいてい計
ラマヌジャンは本当に何も知らなかったのか
$$\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]
最適輸送の解き方
最適輸送問題（Wasserstein 距離）を解く方法についてのさまざまなアプローチ・アルゴリズムを紹介します。 線形計画を使った定式化の基礎からはじめて、以下の五つのアルゴリズムを紹介します。 1. ネットワークシンプレックス法 2. ハンガリアン法 3. Sinkhorn アルゴリズム 4. ニューラルネットワークによる推定 5. スライス法 このスライドは第三回 0x-seminar https://sites.google.com/view/uda-0x-seminar/home/0x03 で使用したものです。自己完結するよう心がけたのでセミナーに参加していない人にも役立つスライドになっています。 『最適輸送の理論とアルゴリズム』好評発売中！ https://www.amazon.co.jp/dp/4065305144 Speakerdeck にもアップロードしました: https
数学に専念するため桜蔭高1中退→東大3年で修士→23歳で京大助教。27歳で国際賞に選ばれた京大准教授が本物のギフテッドみたい
Dr. すきとほる | 疫学専門家 @iznaiy_emjawak 凄すぎて理解が追いつかない… 数学に専念するため桜蔭高校を1年で中退 ↓ 偏差値51の通信制高校へ転入 ↓ 数オリ銀メダル ↓ 東大入学 ↓ 3年で中退して修士入学 ↓ 博士5ヶ月で中退 ↓ 23歳で京大助教 ↓ 27歳で数学の国際賞受賞＆京大准教授 asahi.com/articles/ASR9H… 2023-09-16 09:14:02 リンク 朝日新聞デジタル 大学院飛び級に博士課程中退、27歳数学者が国際賞 トポロジー研究：朝日新聞デジタル 米グーグルの創業者らが出資して賞金300万ドルを誇る「ブレークスルー賞」が14日に発表され、優れた若手女性数学者に贈る「マリアム・ミルザハニ・ニューフロンティア賞」に山下真由子・京都大准教授（27）… Dr. すきとほる | 疫学専門家 @iznaiy_emjawak 『研究ラ
「そうだ、数理最適化、やろう。」ってなった時にめっちゃ参考になったリンク集＆参考書｜CO-WRITE
数理最適化案件とAI/機械学習案件とのアナロジー 「やってみなければわからない」中で僕たちDSはどうするか本記事では表題に関して、脳筋系ゆるふわVTuberこと入社2年目DSの岡部がお送りいたします。（DS=データサイエンティスト） 発... ◆【理論・実践】（2021年時点で）オススメの参考書 最大のアップデートはこちらの2冊です。参考書は時代の流れに合わせていいものが出てくるものですね。もちろん過去の参考書にもいいものはたくさんありますが、日進月歩の分野である以上、新しいものに軍配が上がりやすい構図はあると思います。 しっかり学ぶ数理最適化 モデルからアルゴリズムまで Pythonではじめる数理最適化： ケーススタディでモデリングのスキルを身につけよう 以下それぞれの所感です 【理論】「最適化分野全般を知るための『最適解』」とも言われている教科書 僕が最適化にハマっていた当時は様々な本
Riemann多様体上の連続最適化 - Qiita
はじめに 数理最適化 Advent Calendar 2020 イロモノ枠。 Riemann多様体上の連続最適化は、Euclid空間上の制約付き最適化問題を、Riemann多様体上の無制約最適化問題に落とし込む手法である。 Riemann多様体上の連続最適化は汎用的な手法だが、近頃の若いもんが興味を持ちそうな範囲で言えば、双曲空間での機械学習などに応用がある。基本的な部分では固有値分解、特異値分解、主成分分析、独立成分分析、角度データのモデリングなどに用いられうる。 この分野のバイブルは Absil らの『Optimization Algorithms on Matrix Manifold』であり、レトラクションを用いた効率的な手法が導入された。PDFも公開されている。本記事の内容もその書籍に基づく。 日本語の資料はほとんどないが、数学が得意な人は佐藤寛之氏らの『リーマン多様体上の共役勾配
数学の未解決問題「アインシュタイン問題」が解決？ 1つの図形だけで敷き詰めても“周期性が生まれない”
Innovative Tech： このコーナーでは、テクノロジーの最新研究を紹介するWebメディア「Seamless」を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。Twitter: ＠shiropen2 英国の数学者らと、カナダのウォータールー大学と米アーカンソー大学に所属する研究者らが発表した論文「An aperiodic monotile」（プレプリント）は、繰り返しパターンを作らず、2次元の表面を無限に敷き詰めることができる単一のタイル形状を発見した研究報告である。 このような図形を非周期的なタイルと呼び、2次元の平面にタイルを隙間なく敷き詰めるが決して周期的ではない形状を指す。 非周期的なタイルの最初の集合は、1966年に発見された2万種類以上のタイルの組み合わせだった。その後、タイルの種類を減らす方向に研究が進んだ結果、最も有名な非周期的なタ
社会人が数学を勉強するには - パンの木を植えて
last updated 2024.02.25 2023.12.16 追記 ⚠ この記事の情報は古く，私の勝手な想像や推測が多分に含まれています．内容を信頼しないでください …どうしたらいいかなって考えてるんですよ．いま． タイトルから「社会人がバリバリ数学を勉強する方法」が書かれていると期待された方，ごめんなさい． 私が個人的に悩んでるというだけの話です． 働きながら数学の勉強がしたいんですが，そういう要求に応える仕組みって意外とないんですよ． 発端 放送大学 母校の社会人コース OCWを利用する まとめ 2023/04/16 追記 2023/05/4 追記 発端 私は院を卒業した後，趣味で数学ブログの運営を続けているわけですが． 正直に申しまして，かなり限界を感じてます． 独学だときついですね． モチベーションの面でもそうですし，実力がつかないという意味でもきついです． 最近アクセス数
藤巻健太 衆議院議員 on Twitter: "車の安全な運転の仕方を知ることは大事だが、車の構造は知らなくていい。 電子レンジの操作方法は知る必要があるが、電子レンジの仕組みは知らなくていい。 三角関数が多くの技術に応用されているのはわかるが、必ずしも知っている必要はない。 https://t.co/NyiLBbyEJT"
車の安全な運転の仕方を知ることは大事だが、車の構造は知らなくていい。 電子レンジの操作方法は知る必要があるが、電子レンジの仕組みは知らなくていい。 三角関数が多くの技術に応用されているのはわかるが、必ずしも知っている必要はない。 https://t.co/NyiLBbyEJT
藤巻健太 衆議院議員 on Twitter: "三角関数は人類の叡智であり、私達の生活の基盤を支えているものです。 しかし特定の職業に就く方々に必要とされる専門知識の範疇ではないでしょうか？ 全国津々浦々の高校生に教える知識としては、三角関数よりも金融経済の基礎の方が優先度が高… https://t.co/QBSj96rb9k"
三角関数は人類の叡智であり、私達の生活の基盤を支えているものです。 しかし特定の職業に就く方々に必要とされる専門知識の範疇ではないでしょうか？ 全国津々浦々の高校生に教える知識としては、三角関数よりも金融経済の基礎の方が優先度が高… https://t.co/QBSj96rb9k
「散乱の逆問題」を解決することで、見えない内部を透視できるとは～数理科学によって広がる見える化技術（前編） | みんなの試作広場
普段の私たちの世界では見えないものを見えるようにする。科学の重要な役割です。たとえばＸ線を使ったレントゲン撮影やMRIもそのひとつです。しかし、X線よりももっと弱いエネルギーの波、可視光、マイクロ波、超音波などを使って、ほとんどあらゆるものの「中身」を、死角なく見えるようにする技術を世界で初めて開発したのが、神戸大学大学院理学研究科教授の木村建次郎（きむら・けんじろう）氏です。 木村氏は自身の技術を実用化するための大学発スタートアップ企業Integral Geometry Science（インテグラル・ジオメトリー・サイエンス）の創業者で、取締役CSO（Chief Strategy Officer、最高戦略企画責任者）でもあります。本記事では３回にわけてその新技術と、それによって可能になったさまざまな実用化の事例について紹介していきます。今回は、その技術の根幹となる、木村氏が確立した世界初
数学者は宇宙をつなげるか？ａｂｃ予想証明をめぐる数奇な物語（前編）スペシャル - NHK
https://www.nhk.jp/p/special/ts/2NY2QQLPM3/blog/bl/pneAjJR3gn/bp/pzwyDRbMwp/ (2022年4月10日の放送内容を基にしています) 2020年4月。「ａｂｃ予想」と呼ばれる数学の重要な未解決問題を、日本人が証明したというニュースが駆けめぐりました。論文を書いたのは、京都大学数理解析研究所教授 望月新一博士。世界的天才として知られてきた人物です。 ａｂｃ予想を証明した、博士の「宇宙際タイヒミューラー理論」。査読の完了と専門誌への掲載は、望月博士の偉業が、世界に正式に認められたことを意味しました。ところが…望月の証明はまだ受け入れられないと主張する数学者が多数現れ、今も激論が続いているのです。一つ一つ論理を積み上げていけば、誰もが同じ結論に達するはずの数学の世界。完全に正しいとする数学者がいる一方で、なぜ多くの数学者が理
「数学は人間がいなかった時から存在するし人間が死滅しても残る」と言ったら文系の人たちに反論された→様々な意見が集まる
さ @sachiko_KuKaKo mathematics/U+U+U+(-E8)+(-E8)/lattice-polarized K3 surface/mixed hypersurface singularity さ @sachiko_KuKaKo 先日、某所で、「数学(もっと広く自然科学)の事実は人間がいなかったときから存在するし、人間が死滅しても残る」と言ったら、 文系の人たちに、「人間が存在してこそ認識できる」と反論された。 2021-12-07 20:15:44 さ @sachiko_KuKaKo で、例えば、わかりやすい例として、元素の周期表とか、人間が死滅しても、別の知的生物が発見すれば、 同等の結果が得られると思うし、 発見されなかったとしても、 存在し続けるとわたしは思うのですが、 どうなんでしょう？ 2021-12-07 20:19:02
「2乗してはじめて0になる数」とかあったら面白くないですか？ですよね - アジマティクス
「その数自体は0でないのに、2乗するとはじめて0になる数」ってなんですか？ そんな数あるはずがないと思いますか？ でももしそんな数を考えることができるなら、ちょっとワクワクすると思いませんか？ 今回はそんな謎の数のお話。 実数の中には、「2乗して0になる数」というのは0しかありません。 （2乗して0になる実数は0しかない図） ということは、「2乗してはじめて0になる数」というのがあるとしたら、それは実数ではありえません。 「1年A組にはメガネの人はいないので、メガネの人がいたとしたらその人は1年A組ではありえない」くらいの当たり前のことを言っています。 この辺の議論は、複素数で「」を導入したときと同じですね。 「実数の中には、2乗して-1になる数というのは存在しないので、それがあるとしたら実数ではありえない」ということで「虚数」であるが導入されるわけです。 それならばということで、ここでは
世界的数学者も生み出した、60年以上続く学力コンテストの凄み（Yahoo!ニュース 特集）
添削の一例。添削者によってスタイルがあって、クリティカルに端的に指摘する人もいれば、赤文字をたくさん書き込む人も。解答者は添削者の指名もできる 解答の応募用紙には通信欄があり、そこに近況を書いてくる人もいる。「学校の宿題が多くてつらい」と書いてくると、「お疲れさま。大変だね」とひとこと添えて返す。そのちょっとした寄り添いが高校生を励まし、さらに難問に向かう力を奮い立たせる。メールではない、生の書き文字だけが織りなせる世界である。 そうすると面白い現象が起きてくる。学コンに応募していた高校生が大学に入学して、学コンマンのアルバイトをして、そのまま編集部に入るという数学を軸にした生態系が生まれるのだ。実は横戸さんも、山崎さんもそのひとり。横戸さんは「浪人生時代に学力コンテストに応募するようになって、大学に入ってすぐ学コンマンに。そのまま編集部に居着いちゃいました」と笑う。 生態系はゆりかごでも
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
藤巻健太 衆議院議員 on Twitter: "たしかに私は三角比と三角関数を混同していたのかもしれない けれど私は高校時代、三角比も三角関数もしっかりと勉強していた。 数学は得意だったし、好きだった。 受験前は一日中、数学を勉強していた。 しかし何も覚えていないし、全て忘れた。 なぜならばこの15年ほど、一度も使っていないからだ。"
https://twitter.com/Kenta_Fujimaki/status/1526511432417783808
中学1年生が「数学をなんで学ばなくてはいけないの？いつ役に立つの？」と聞いてきた時、どう答えたら納得させられる？
