難問「ＡＢＣ予想」京大教授が証明 専門家「歴史に残る成果」 | NHKニュース
世界の数学者が30年余り挑戦して解くことができなかった難問、「ＡＢＣ予想」について、京都大学は数理解析研究所に所属する教授が証明したと発表しました。専門家は「数学の歴史に残る成果だ」としています。 京都大学数理解析研究所の望月新一教授（51）は「ＡＢＣ予想」を証明したとする４本の論文を書き、複数の研究者が審査する数学専門の科学雑誌に掲載されることになったことから、３日、京都大学が会見を開き、望月教授が「ＡＢＣ予想」を証明したと発表しました。 この４本の論文は、望月教授が１人で築いた新しい理論を使って「ＡＢＣ予想」を証明したとしていて、８年前に自身のホームページで公表するとともに、科学雑誌の審査が行われていました。 しかし、この論文は従来の数学の概念や理論の枠組みを離れ、全体で600ページという数学としては異例の長さの論文だったため、審査は長期間に及んでいました。 この間、海外の一部の研究者
幾何学模様のプラレールや立体折り紙について、数学的に研究して実際に作った筑波大教授のすごい作品の数々を見てほしい
三谷 純 Jun MITANI @jmitani 筑波大学 システム情報系 教授（'75生）CG/折紙/幾何/プログラミング，一風変わった折り紙の設計，制作をしてます．令和元年度文化庁文化交流使としてアジア諸国をまわってきました．主に数学と折紙と日常のことについてツイートします．折紙作品の写真をこちらで公開しています instagram.com/mitani.jun/ mitani.cs.tsukuba.ac.jp/ja/ 三谷 純 Jun MITANI @jmitani 2016年に、プラレールで作った幾何学模様をTwitterで紹介したところ、多くの反響をいただきました。 その前後に、いろいろとプラレールの幾何学について考えたりプログラムを作ったりしていたので、その一連の流れを振り返りつつ紹介したいと思います。 pic.twitter.com/Vb3bBDEl7H 2019-12-12
これが現代の科学力……！ 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか
「マリオメーカー学会」というものをご存じでしょうか。自作ステージを作って遊べるゲーム「スーパーマリオメーカー」に斜め上過ぎる楽しみ方を見いだした“研究者”の集まりで、これまでには「クリアに20万年ほどかかるステージ」「ギミックを巧みに活用した計算機」などが開発されています。 話がぶっ飛んでいて何が何だか分からないかもしれませんが、きっとそれだけ研究が進んでいるということでしょう。今回は、5分間で数学を語るイベント「日曜数学会」から、同学会のハイレベルさが伝わる発表「スーパーマリオメーカーはチューリング完全」を書き起こしました。 拡大画像でスライドを見る スーパーマリオメーカーはチューリング完全 イベント：2019年6月29日開催の第15回「日曜数学会」（Twitter：@nichimath） 発表者：yos1upさん（Twitter：@yos1up） 発売から約2週間で、計算機になったスー
頭の体操（IQ130）：二つの円と直線に触れる円はいくつ？｜中島聡
この問題は、数年前にブログに書いたのネタですが、その後、実際のエンジニアの採用面接の際の問題として大いに活用した問題です。私はエンジニアを採用する際には、経験や知識よりも、「自頭の強さ」とコミュニケーション・スキルを何よりも重視しますが、その意味で、この問題は最適なのです。 問題は以下の通りです。 半径の異なる二つの円と、直線（長さは無限大）が下図のような関係になっている時に、両方の円と直線に接する円はいくつ存在しますか？ 数学が強いと自負する人は、ここで読むのをストップして自分なりの回答を見つけようと試みても良いと思いますが、とても難しい問題なので覚悟してください。私が、実際に面接でこの問題を出した相手は１００人以上いますが、ヒントなしで答えにたどり着いた人は一人もいません。 特に、入社面接のように心理的プレッシャーがかかる状況で、この問題を出して、全くヒントを与えないのはフェアではない
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
