形式化とは、数学の証明の各ステップを、プログラミング言語に書き直すこと。当時、「凝縮数学」という革新理論を構想中のショルツ氏は、理論の中核をなす難解な定理に行き詰まった。半年ほどかけて証明したが、あまりの難しさに自信がなかった。

数学の中で幾何学は、深い直感が不可欠で、従来のAIには難しかった。創造的なAIと論理的なAIをかけ合わせたことで、高度な推論能力を獲得したことになる。「機械が自力で知識を生み出した」との評価さえある。

算数・数学の実用的な技能を測る、実用数学技能検定「数検」(数学検定・算数検定、以下「数検」)を実施・運営している公益財団法人日本数学検定協会(所在地：東京都台東区、理事長：高田 忍、以下「当協会」)は、株式会社すららネット(所在地：東京都千代田区、代表取締役社長：湯野川 孝彦、以下「すららネット」)が主催の「すらら国際デジタル算数／数学コンテスト2025(SuRaLa International ...

「算数は生活に役立つけれど、数学って結局なんの意味があるの？」 中学生に上がったあたりから、誰もが一度はそんな疑問を抱くかと思います。買い物でお釣りを計算したり、時間を逆算したり、レシピを倍量にしたり――“算数”は実感を伴って生活の中に存在しています。でも、方程式、文字式、関数、証明、三平方の定理……となってくると、突然“日常から離れた世界の話”に感じてしまう。

コンテストは、計算の正確性とスピードを競う「マス計算」と、総合的な算数・数学の力と論理的思考力を競う「算数／数学テスト」の2部門で構成されており、同協会は「算数・数学テスト」部門に数検3級から8級の英語版の問題を提供した。

中央教育審議会教育課程部会の算数・数学ワーキンググループの第3回会合が12日開かれ、教科の一貫性や系統性を持たせるため、学習内容を小中高で7領域に統一する案を事務局が示した。また各領域を区分に分けることも提案した。一方、委員からは「学習内容間の関係が ...

京都大特任教授柏原正樹さん 78 「数学のノーベル賞」とも呼ばれる国際数学賞・アーベル賞※の授賞式が20日、ノルウェーで開かれた。日本人初の受賞者として出席した京都大数理解析研究所の 柏原 （ かしわら ） 正樹・特任教授は、半世紀以上 ...

「インド人は数学が得意」というイメージがあるが、それは本当だろうか。経済格差により十分な教育を受けられない子どもも多いなか、「数学は人生を変える手段」として重視される背景には、この国特有の社会事情があるのだという。新聞記者が ...

～数学専攻の大学生・院生に数学を活用した諸科学や産業界とマッチングする場を提供～ 武蔵野大学（東京都江東区、学長：小西 聖子）は、10月25日（土）に日本数学会、 日本応用数理学会、 統計関連学会連合と共催で数学・数理科学専攻若手研究者の ...

ジブラルタ生命保険株式会社（本社：東京都千代田区、代表取締役社長 兼 CEO：蕪木 広義）は、公益財団法人数学オリンピック財団に、数学教育の振興ならびに青少年の健全育成に寄与することを目的として、本年度も100万円の寄付金を贈呈しました。

「近視になってもメガネをかければいい」と思っている人は少なくないが、実は近視は将来的に失明につながる眼疾患の発症リスクを高める、危険な疾患なのである。しかし、身近に眼疾患の経験者がいなければ、その実感が湧かない人がほとんどではない ...