自然界に存在する新たな形状「ソフトセル」が発見される、二次元では鋭角を2個持ち三次元では鋭角を持たない形状
ブダペスト工科経済大学とオックスフォード大学の研究チームが自然界に存在する新たな形状クラスタ「Soft cells(ソフトセル)」を発見しました。ソフトセルは「タマネギの断面」「筋繊維」「オウムガイの殻の内側」など多様な場所に存在しており、「二次元空間では鋭角を2個持ち、三次元空間では鋭角を持たない」という特徴を備えています。 Soft cells and the geometry of seashells | PNAS Nexus | Oxford Academic https://academic.oup.com/pnasnexus/article/3/9/pgae311/7754698 What Do Onion Skins and Zebra Strips Have in Common? New Geometric Shapes Identified by BME Mathemat
基礎付け主義 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "基礎付け主義" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2021年11月) 基礎付け主義（きそづけしゅぎ、英: foundationalism）とは、信念や判断の構造に関する立場であり、哲学のさまざまな分野に存在する。 認識論においては、信念が正当化されるのは基本的な信念によって基礎付けられることによってである、という考え方を指す。 倫理学においては、倫理的判断が正当化されるのは基礎的な倫理判断によって基礎づけられている場合である、という考え方を指す。 知識とは、「正当化」された「真」なる「信念」である（Justified Tr
Diaconescu's theorem - Wikipedia
In mathematical logic, Diaconescu's theorem, or the Goodman–Myhill theorem, states that the full axiom of choice is sufficient to derive the law of the excluded middle or restricted forms of it. The theorem was discovered in 1975 by Radu Diaconescu[1] and later by Goodman and Myhill.[2] Already in 1967, Errett Bishop posed the theorem as an exercise (Problem 2 on page 58 in Foundations of construc
数学を解ける言語モデル「Qwen2-Math」が登場、GPT-4o超えの数学性能
中国のAI研究チームが数学特化の大規模言語モデル「Qwen2-Math」を公開しました。Qwen2-MathはGPT-4oやGemini-1.5-Proなどのクローズドソースの大規模言語モデルをしのぐ数学性能を備えています。 Introducing Qwen2-Math | Qwen https://qwenlm.github.io/blog/qwen2-math/ QwenLM/Qwen2-Math: A series of math-specific large language models of our Qwen2 series. https://github.com/QwenLM/Qwen2-Math Qwen2-Mathは、AlibabaグループのAI研究チーム「Qwen Team」が開発した大規模言語モデルで、数学問題の正答率の高さが特徴です。Qwen2-Mathは非常に高い
アインシュタイン・タイル発見〜日経サイエンス2023年11月号より
ある数学愛好家が発見した帽子に似た図形に数学界が沸き立っている 英ヨークシャー在住の数学愛好家スミス（David Smith）が，とある13角形を発見した。数学者による探索を何十年もかいくぐってきた図形だ。いかつい帽子に似たその形（次ページの図で太線で描かれている図形）は，ドイツ語で「1個の石」を意味する「アインシュタイン」という名で呼ばれている。アインシュタイン・タイルを使うと浴室の床を隙間なく敷き詰めることができ，しかも同じパターンが繰り返されることが決してない。浴室の床だけでなく，どんな平面でも，それが無限に広がっていても，これが可能だ。 非周期的にしか敷き詰められないタイル 数学者は長年，敷き詰めが必ず非周期的になる「強非周期的タイル張り」を実現するタイル形状を探し求めてきた。まず見つかったのは形状が様々に異なるタイルのセットだった。1964年に発見された最初のセットは2万426種
FFT:NTT
2020/07/13 HCPC 2020/07/13 HCPC /46 !2 2020/07/13 HCPC /46 f(x) n − 1 ζn 1 n 𝒪(n2 ) 𝒪(n log n) !3 ̂ f(t) = n−1 ∑ i=0 f(ζi n)ti 2020/07/13 HCPC /46 !4 2020/07/13 HCPC /46 (x + x2 + x4 )(x3 + x6 + x10 + x15 )[x7 ] = 2 f(x)[xa ] := xa !5 2020/07/13 HCPC /46 f(x), g(x) n m f(x)g(x) n + m − 1 f(x) = (1 + 2x) g(x) = (3 + x + 4x2 ) f(x)g(x) = 3 + 7x + 6x2 + 8x3 !6 2020/07/13 HCPC /46 !7 f(x), g(x) n m
NTT(数論変換)のやさしい解説 - Senの競技プログラミング備忘録
この記事は、高速フーリエ変換の1つのバリエーションである、Numeric Theory Translation(数論変換)の詳しい解説記事です。 あまりなかったので書きました。 数論変換にありがちな なんで$ 10 ^ 9 + 7 $じゃダメなのか 原始根って何？ とかについてもこれを見ればわかります。 前提知識としては、Fast Fourier Translation(高速フーリエ変換)が必要です。 kaage大先生のQiita記事とかは中高生にもわかりやすく書かれています。 下に一応自分の勉強ノートを載せます。(上の記事の行間を埋めた感じです) では、数論変換について説明したいと思います。 高速フーリエ変換の弱点 高速フーリエ変換は正しいですが、弱点として精度が足りないというのがあります。 なぜならば、複素数の1の$ 2 ^ m $乗根は計算上ではれっきとした64bit倍精度浮動小数点
記述集合論的命題の強制可能性について
ゼルプスト殿下 @tenapyon 可測基数はラムゼイ基数の定義の「サイズκの均質集合」を「定常な均質集合」に書き換えたやつをみたすなあ。#個人の感想です ゼルプスト殿下 @tenapyon @tenapyon いや、いまちょっと《補解析集合に対する完全集合定理が強制法で壊せない》という命題と同値な見かけ上もっと弱い命題がないかと考えていたのよ。んで、《〜》の命題を保証する巨大基数公理としては「いくらでも大きいラムゼイ基数がある」ってのがあるなあと。
ABC予想証明に新理論？ 望月氏「著者は無知」と一蹴、混迷深まる：朝日新聞デジタル
","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=\"
わかりにくい線形代数を操作可能な図で表現することで簡単に理解できる無料の教科書「Immersive Math」
「Immersive Math」は、数学のうちベクトルや行列などの計算を研究する分野である「線形代数」についてインタラクティブな図を用意することでわかりやすさを向上させた無料の教科書サイトです。 Immersive Math https://immersivemath.com/ila/index.html サイトのトップページはこんな感じ。「完全にインタラクティブな図を備えた世界で最初の線形代数本」と述べられています。 中央に表示されている三角形の図はインタラクティブで、左上をクリックすることで回転・停止を切り替えられるほか、各頂点をクリックしてドラッグ＆ドロップすることで位置を調整可能。自由に図を編集できるため理解しやすいというわけです。 ページをスクロールすると目次が現れました。まずは「Preface(序文)」をクリック。 「『百聞は一見に如かず』という言葉の通り、たくさんの言葉を重ね
Immersive Math
immersive linear algebra by J. Ström, K. Åström, and T. Akenine-Möller v1.1. ISBN: 978-91-637-9354-7 The world's first linear algebra book with fully interactive figures. Learn More Check us out on Twitter and Facebook Preface A few words about this book. Chapter 1: Introduction How to navigate, notation, and a recap of some math that we think you already know. Chapter 2: Vectors The concept of a
70年以上未解決であった「ミルズの定数の無理数性」が解決か！？ - INTEGERS
旧知の仲である数学者 齋藤 耕太 氏（筑波大学、学振PD）が、昨日数学の未解決問題を解決したとするプレプリントをプリプリントサーバーarXivに投稿されました： arxiv.org 論文自体は「現状分かるところまで研究しつくす」という素晴らしい態度で執筆されているので主定理の記述は十行ありますが、その特別な場合をとり出した ミルズの定数は無理数である という定理（これは論文のタイトルにもなっています）が、ある程度長い期間未解決であったと思われる数学上の問題の解決を意味しています。 無理数性の証明はかっこいい 実数という数学的対象は有理数と無理数に分けられます。有理数は などのように という表示を持つ実数であり（ここでは自然数は正の整数を意味するものとします）、有理数ではない実数のことを無理数といいます。 高校数学でも証明込みで学ぶことと思いますが、無理数の典型例としては があげられます。こ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Kobe Set Theory Seminar - Abstracts
Evaluating infinite sums in closed form with polylogarithms
Why don't mathematicians like second-order logic?
Incomplete Beta Function in C - Code Plea
平面上のN点のうちちょうど2点を通る直線は存在するか？【ゆっくり解説】
A consequence of the axiom of choice | Journal of the Australian Mathematical Society | Cambridge Core
https://jp.quora.com/%E5%AE%9F%E6%95%B0R%E3%81%A8%E8%A4%87%E7%B4%A0%E6%95%B0C%E3%82%92%E3%81%9D%E3%82%8C%E3%81%9E%E3%82%8C%E5%8A%A0%E6%B3%95%E7%BE%A4%E3%81%A8%E3%81%97%E3%81%A6%E8%A6%8B%E3%81%9F%E3%81%A8%E3%81%8D-%E3%81%9D%E3%82%8C
素数の分解法則（フロベニウスやばい） #math_cafe
