数学「ABC予想」は証明されたか 論文受理から5年、論争は迷宮へ：朝日新聞■《前編》ABC予想は証明されたか 今から5年前、数学の超難問「ABC予想」は証明された……とされる。はっきり断定できないのは、ABC予想をめぐって数学界が異常事態に陥っているからだ。論理的に考えれば…
90 分で学ぶ P 対 NP 問題
第1章 導入 (6～54 ページ) 第2章 P 対 NP 問題の定義 (55～90 ページ) 第3章 P=NP の場合にわかること (91～111 ページ) 第4章 P≠NP の場合にわかること (112～226 ページ) 第5章 まとめ (227～234 ページ)
柏原正樹 数理解析研究所特任教授、高等研究院特定教授がアーベル賞を受賞しました
湊長博 総長のコメント このたび、柏原正樹先生の研究が世界的に評価され、ノルウェー科学文学アカデミーから2025年アーベル賞を受賞されましたことに、京都大学を代表してお祝いを申し上げます。 この賞は、ノルウェー出身の数学者 ニルス・ヘンリック・アーベルにちなみ、傑出した業績をあげた数学者に対して贈られる賞であり、フィールズ賞と並んで数学のノーベル賞とも称されています。長きに亘り、信じる道を貫き、新たな学術の扉を開いてこられた柏原先生の業績が、今回の受賞に結実したことを、私も京都大学の一員として誇りに感じるとともに、本学のみならず、日本中の学生や若手研究者にとっても大いに励みになるものと確信しております。 柏原先生の素晴らしい栄誉に心よりお慶び申し上げます。
Welcome to a World of Rocq
A trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics, computer science and more.
競プロ典型 90 問 - AtCoder
重要な連絡（2021/8/4 追記） コンテストは終了しました。今後は「過去問」としてお楽しみください。（2021/7/12） 皆さんの要望により、「競プロ典型 90 問」は常設ジャッジとなりました。（2021/8/4） 順位表は現在も更新されていますが、コンテスト自体（2021/7/11 19:00 までの提出）の順位表・表彰対象者はこのページ下部をご覧ください。 「競プロ典型 90 問」とは？ これは、AtCoder の問題を解くために必要な実力を付けるために作られた「典型問題」を解いていく企画です。 E869120 によって企画・作題が行われ、有志によって準備されたコンテンツです。（AtCoder 公式制作のコンテンツではありません） 2021/3/30 ～ 2021/7/11 の期間、日曜を除き毎日 1 問ずつ問題が追加されます。現在、90 問すべてが追加されています。 主に、At
クォータニオンとは何ぞや？：基礎線形代数講座 - SEGA TECH Blog
---【追記：2025-02-01】--- 雑誌「数学セミナー」でおなじみ日本評論社さんからのお声がけで「基礎線形代数講座」が書籍化されました。全体的に細かなブラッシュアップ、少しですが加筆もしています。やっぱちゃんとした紙の本でじっくり読みたい！って方など、こちらもどうぞ。 www.nippyo.co.jp ---【追記：2022-04-01】--- 「基礎線形代数講座」のPDFファイルをこの記事から直接閲覧、ダウンロードできるようにしました。記事内後半の「公開先」に追記してあります。 --- 【追記ここまで】--- みなさん、はじめまして。技術本部 開発技術部のYです。 ひさびさの技術ブログ記事ですが、タイトルからお察しの通り、今回は数学のお話です。 ＃数学かよ って思った方、ごめんなさい（苦笑） 数学の勉強会 弊社では昨年、有志による隔週での数学の勉強会を行いました。ご多分に漏れず、
「ピタゴラスの定理」の新たな証明発見した学生、さらに９通り示した論文を発表
（ＣＮＮ） 米ルイジアナ州の学生、ネキヤ・ジャクソンさんとカルセア・ジョンソンさんは２０２２年、高校の数学コンテストのボーナス問題で、２０００年の歴史を持つピタゴラスの定理を証明する新しい方法を発見し、教師たちを驚かせた。しかし、それはほんの始まりにすぎなかった。 ２３年３月にふたりはジョージア州アトランタで開かれた米国数学会の南東部支部会議でこの方法を発表。同会議での最年少の発表者となり、メディアをにぎわせた。 同年、同州の大学に入学したジャクソンさんとジョンソンさんは、当時の証明に加えて９通りの方法を詳述する学術論文を執筆。ふたりの研究は２８日、学術誌「アメリカン・マセマティカル・マンスリー」に掲載された。 ピタゴラスは、２５００年前の古代ギリシャの哲学者であり数学者だった。本人の名を冠した定理を考えついたのが本人なのか弟子たちなのかは明らかでない。この原理は直角三角形の２辺の長さがわ
米国の女子高校生2人「ピタゴラスの定理」を新証明 しかも5通り 査読済みで権威ある学術誌に登場
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 2023年、米国の高校生ネキヤ・ジャクソンさんとカルセア・ジョンソンさんは、地元の高校のコンテストで驚くべき成果を披露した。それは、三角関数を用いてピタゴラスの定理を証明するという方法の発見であった。 「a^2+b^2=c^2」で表されるピタゴラスの定理は、よく知られている数学の基本定理である。この式は、直角三角形において、最も長い辺（斜辺）の2乗が、残りの二辺の2乗の和に等しいことを示している。 これまで数多くの数学者たちが代数学や幾何学を用いてこの定理を証明してきたが、三角関数による証明はより難しかった。三角関数の基本公式自体がピタゴラスの定理を前
天才は死す - pi / 特別読切 | マグコミ
天才は死す pi 学習塾の生徒と先生。出された問題を解き、新たな出題をする。たったそれだけの、しかし決闘のような関係は、突然に終わりを迎える。「私」を天才と認める前に、先生が逝ってしまったことで――。月例賞出身作家が放つ、凡人と天才の物語。
ABC予想証明に新理論？ 望月氏「著者は無知」と一蹴、混迷深まる：朝日新聞デジタル
数学の超難問「ABC予想」を証明したとする京都大の望月新一教授（55）の独自理論をめぐって、「理論を修正し、新たにABC予想を証明した」とする新理論が登場した。疑問が指摘され、正しさをめぐる決着に1…
[A-7-20] 素数の周期性を発見 | 2024年電子情報通信学会総合大会 | Confit
2024年3月7日(木) 11:00 〜 11:15 2024年電子情報通信学会総合大会
![[A-7-20] 素数の周期性を発見 | 2024年電子情報通信学会総合大会 | Confit](https://cdn-ak-scissors.b.st-hatena.com/image/square/a223a24754b86d9c55d36c879c215231f0bde834/height=288;version=1;width=512/https%3A%2F%2Fpub.confit.atlas.jp%2Fimg%2Fandroid-chrome-icon.png){kind=icon}
ラマヌジャンは本当に何も知らなかったのか
$$\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]
Recent advances in computer science since 2010?
Since I left school (early 2010s) a couple of recently developed techniques were widely adopted by the industry. For example, Asymmetric numeral systems for compression (e.g. Ubuntu ships with zstd command line utility which implements ideas from ANS). Raft consensus algorithm for consensus in distributed systems, implemented in many widely used systems such as etcd. are some recent advances in co
【制限時間10秒】「14mおきに17本の木が立っているとき、端から端まで何mか」を暗算できる？
東京大学経済学部卒。プロ算数講師。志進ゼミナール塾長。 プロ家庭教師、SAPIXグループの個別指導塾の塾講師など20年以上の豊富な指導経験があり、常にキャンセル待ちの出る人気講師として活躍している。 現在は、学習塾「志進ゼミナール」を運営し、小学生から高校生に指導を行っている。毎年難関校に合格者を輩出している。 算数が苦手な生徒の偏差値を45から65に上げて第一志望校に合格させるなど、着実に学力を伸ばす指導に定評がある。暗算法の開発や研究にも力を入れている。 ずっと算数や数学を得意にしていたわけではなく、中学3年生の試験では、学年で下から3番目の成績だった。数学の難しい問題集を解いても成績が上がらなかったので、教科書を使って基礎固めに力を入れたところ、成績が伸び始める。その後、急激に成績が伸び、塾にほとんど通わず、東大と早稲田大の現役合格を達成する。この経験から、「基本に立ち返って、深く学
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
京都大学･柏原正樹氏にアーベル賞 ｢数学のノーベル賞｣､日本人初 - 日本経済新聞
Making the arithmometer count
[PDF] "Machine-Assisted Proof" Terence Tao
式の順序で「バツ」はなぜ？ 答えを出すより大切な、数学的な表現を学ぶ意味|もっと算数を好きになる|朝日新聞EduA
京大・望月新一教授らに10万ドルの賞金 ABC予想の証明後初めて：朝日新聞デジタル
Katsuhiko Matsuzaki