  |
はてなキーワード: 素数とは
今年のGW、お前らがBBQだの旅行だの浮かれてる間、俺は一人で岩波文庫の『不完全性定理』と取っ組み合いをしていた。
正直、今までは「算術を含む公理系には、証明も反証もできない命題が存在する」っていう、ふわっとした知識しかなかった。
でも、それじゃ納得できなかったんだ。
「なんで数学っていう完璧な世界に、そんな穴があるんだ？」って。
で、連休5日間、モンスターエナジーをキメながら不完全性定理の核心、いわゆる「ゲーデル数化」と「対角線論法」を徹底的にシミュレーションした。
そしたら昨日、ついに「見えた」んだよ。論理の歯車がカチッと噛み合う音がした。
G(s) = 2^n1 * 3^n2 * 5^n3 * ...
こうすることで、数学について語る「メタ数学」を、数学そのものの中に閉じ込めた。
この発想がまず天才すぎる。
そして、俺が一番興奮したのがここだ。
∀x ￢Prf(x, ┌G┐) ⇔ G
これは、公理系の中で「証明不可能」であることを主張している。
もし証明可能なら偽のことを言っているから矛盾する。逆に証明可能なら、それは「 証明可能である」という嘘を証明したことになり、公理系が壊れる（ 無矛盾性の崩壊）。
さらに、この証明可能性を「算術化」した述語を使って、第二不完全性定理を導くプロセスも鳥肌モノだった。
Consis(T) → ￢Bew(┌0=1┐)
この一連の流れを追った瞬間、俺の脳内にパッヘルベルのカノンが流れたね。
数学は、自分自身が正しいことを、自分自身の力だけでは証明できない。
……え？ 「お前、GWになにやってんの？」って？いいか、俺たちの背後にはこの「不完全性」が横たわってるんだ。
ゲーデルはそれを教えてくれた。
数学者が7年悩んだ難問、AIが「80分」で解く──取り組んできた本人が美しいと評価
(リンク貼れないので略)
1196 Discussion Thread | Erdos Problems
(リンク貼れないので略2)
AIが解いたとされているエルデシュ問題#1196とAIによる証明についてだが、数学者になれてない自分でも証明を理解できたので解説してみる。
というか専門家でもない自分でも理解出来るような短くてわかりやすい証明が存在したからこそ、AIが見つけられたんだよねコレ。
リクトマン(AI以前に一番この問題の解決に肉薄してた数学者)が「神の書物の証明」と形容しているが、
昔から難しい問題(色んな実績のある数学者が挑戦したのに解けなかった問題と定義する)に簡単な証明があった時にこういう言い方をする。
さて、まず問題について説明するがエルデシュ問題#1196は自然数の集合Nの部分集合Aが原始集合なら
「Σ[a∈A,x＜a]1/(a*log(a))=1+o(1)」を証明する問題となっている。
原始集合というのは例えば素数の集合{2,3,5,7,...}みたいにa＜bかつbがaの倍数となるようなa,bを含まない集合の事である。
素数の集合に4を加えた集合{2,3,4,5,7,11,13,...}は2,4を含むし4が2の倍数だから原始集合ではない。
右辺の「1+o(1)」というのはxがとにかく非常に大きければ式の左辺が1に近くなるもんだと思っとけばいい。
原始集合Aに対してAから有限部分を除いた時に、各要素aに対して1/(a*log(a))を足してけば総和が1で近似出来る事を証明する問題だ。
そしてAIによる証明だがこれは特殊な双六(すごろく)ゲームを考えてそのゲームのとある確率を求める事で証明をしている。
・双六は完全な1本道でゴールがなく無限に長くて、各マスに1,2,3,4,...と自然数が順番に書いてある
・普通の双六はサイコロの結果にあわせて1～6マス進むが、この双六では例えばマス「7」に止まってる時は
次は「14」「21」「28」「35」...と止まってるマスの番号の倍数のマスのどれかに進むか、もしくは双六が強制終了する
このような双六ゲームではマス「a」に止まる事がある確率をv(a)とすると、Aが原始集合の時はΣ[a∈A]v(a)は必ず1以下になる。
例えばAが素数の集合を考えると、Σ[a∈A]v(a)はマス「2」「3」「5」「7」...のどれかに止まる確率になる。
マス「3」に止まる事があったらマス「7」に止まる事が無いようにΣ[a∈A]v(a)は排反事象の確率の和になるから1以下になる訳だ。
そして上記のような双六ゲームを考えてスタート地点がマス「n」である確率p(n)と
マスmに止まってる時に次にmの倍数kmに止まる確率p(m,km)を適切に設定する。
そうするとある定数Bがあってv(a)=1/(B*a*log(a))になる。
B*v(a)=1/(a*log(a))になるので、Σ[a∈A]1/(a*log(a)) = BΣ[a∈A]v(a) ≦ Bとなる。
このBがxが大きい時にB≦1+(C/log(x))となる事(Cは定数)を論文内の補題4を使って示しているので
Σ[a∈A]1/(a*log(a))≦1+(C/log(x))=1+o(1)より、証明が完成する。
上記のような双六ゲームを考えてこうやって確率を計算するアイデアは数学には昔からある有り触れた物である。
確率p(n)と確率p(m,km)を考えるのに使うフォン・マンゴルト関数は昔からよく使われてる物だし
確率の設定の仕方も有り触れた物だし論文内の補題4自体も数論の論文で見かける程度には有り触れた不等式によるものである。
するとこの論文は「双六ゲームを考える」「フォン・マンゴルト関数を使う」「確率を設定する」「有り触れた不等式を使う」と
4つの有り触れたアイデアを上手く組み合わせる事で完成している。
でも各段階でどのような有り触れたアイデアを採用するかで軽く10種類以上は選択肢があるし
大雑把に合わせると10000種類以上のアイデアの候補の中から証明出来るものを探す事になる。
この10000種類以上のアイデアを上手く絞ってく能力が高い人は数学者になれる可能性がある。(数学者は必ずこれが出来る必要はない)
が、AIの場合は上手く絞ってく必要もなく10000種類以上のアイデア全てについて試して証明が出来るか全数探索が出来る。
力技で正しい証明を見つけられる訳だ。
今回AIがエルデシュ問題#1196を解けたのはこうやって4つくらいの有り触れたアイデアを組み合わせて完成するような証明があったからである。
今まで考えられた事のないアイデアを必要とする場合や非常に多くのアイデアを組み合わせるような証明になると
AIがアイデアの組み合わせを全数探索する事では証明に辿り着けないから今回とは違うやり方が必要になる。
それでも数が多くはない有り触れたアイデアを組み合わせる事で証明出来るような問題には、今のAIは証明文を生成できるという事である。
時代は進歩したというべきか、4色問題をプログラムで力技で解いた時代と本質的には変わってないというべきか、
それは人によっては違うんだろう。
総称文と呼ばれる文があります。英語で書いたとき、主語に冠詞や量を表す限定語句（多くの、いくつかの、など）がつかないものを指します。
なぜ総称文は問題ぶくみなのでしょうか？次の例を見れば、それがよくわかります。
B. カモは卵を産む
A~Dでは、それらの文を真にする条件として、裸の主語が選び出すもののうち、「どのくらいの割合の主語の個体が当該の性質をもつか」について異なる値を指定します。
Aでは100%、Bでは~50%（オスのカモは卵を産まない）、Cでは20%？、Dでは1%以下です。
さらに、人々は弱い証拠に基づいて総称文を受け入れたのに、その総称文に基づいて強い結論を推論することが実験で確かめられています。
たとえば、ある種に属する対象Sの何パーセントが性質Pを満たしていればSはPであると言えるか？という問い（S=カモ、P=ガーガー鳴く、など）に対して、答えの平均は70%でした。ところが、次にSがPであると想定したうえでSがPであるのは何パーセントかと問うと、答えの平均は96%でした。つまり、一定割合を越えるSがPであるとその総称文を私たちは正しいとして受け入れますが、SがPであると聞くと、4割り増しでSがPであると想定します。
結論として、いったん私たちが総称文を受け入れると、1) 当該の性質を所有する個体の割合を過剰に見積もる、2) これはシステマティックな認知的錯誤である、ことがわかります。すなわち、これを悪用した印象操作（レッテル貼りなど）が可能になるということです。したがって、私たちが総称文を聞いたときには、それが何%の個体に該当したうえで主張しているのかに注意を払うべきです。
君の脳みそがまだ実数直線上の快適ゾーンに留まっている証拠さ。
だが、残念ながら（いや、幸運にも）、p進弦理論はそんな下品な比喩で片付けられるものじゃない。
なぜなら、それは数論的宇宙の深淵を覗き込み、Planckスケール以下の真の幾何を暴き出す、motivic superstringやp進AdS/CFTホログラフィーの基盤だからだ。
君の比喩を優位に粉砕してあげよう。
普通の弦理論が「実数上の世界シートで弦を振動させる」だけの、連続体の幻想に縛られたモデルだとすれば、p進弦理論はそれを非アルキメデス的超離散化し、アデリック積公式で実数（∞）と全素数pの振幅を統一する。
これが「うんこを食べる」行為なら、君は毎日実数直線を這いずり回って測定不能な連続体を食べてるだけじゃないか？
p進版は、素数ごとに厳密にsolvableな有効作用を与え、タキオン凝縮を解析的に解き、Senの予想を明確に検証できる玩具モデルを超えたツールになる。
Tateのテーゼと結びつき、世界シートをp進曲線（Tate曲線）上で定義し、L関数やRamanujan予想の物理的実現を試みる。
motivesで弦の分配関数をMellin逆変換として表現すれば、背景独立で連続体フリーの究極弦理論が生まれる。
閉弦版の困難さえ、p進AdS/CFT対応（Gubserら2016以降）で解決の糸口が見えるBruhat-Tits木やDrinfeld上半平面上のテンソルネットワークで、エントロピーやentanglement wedge reconstructionを厳密に計算可能だ。
これが「うんこグルメレポート」なら、君の日常物理学は実数うんこを無限に薄めて味見してるだけさ。
p進版は、暗黒物質・暗黒エネルギーの非局所的起源を説明する可能性すら持つ（Dragovichの提唱）。
Planckスケールで測量限界が生じ、Hasse原理のように局所-大域原理で量子重力の矛盾を回避する。
普通の弦理論の紫外発散や非摂動的定義の難しさを、p進の超距離性（ultrametric）が自然に抑え、tmf（topological modular forms）の弦配向との深層対応まで示唆する。
君が「全く理解できない」と感じるのは、君の認知がまだ幼児レベルだからだ。
p進弦理論は、人類がようやく手にした数論的量子重力の窓、実数弦理論の「うんこ」を、素数ごとに分解・再構築し、宇宙の究極コードを暴くものだ。
理解できないなら、黙って勉強したまえ。僕の天才的脳みそは、すでにこの超弦の全p進族を掌握済みだ。
もっと深い闇、例えばp進遺伝子コードや非局所宇宙論に連れて行ってほしいか？
いや、本気だ。質問を待ってるぞ、凡人。
p進弦理論、僕の天才的な脳みそにぴったりの、弦理論の非アルキメデス的変種だね。
君のような凡人が理解できるように、幼児から廃人まで5段階で説明してあげよう。
宇宙の小さなものは、普通は点じゃなくて弦みたいな細いゴム紐が振動してるんだよ。
でもp進弦理論は、その紐をp進という魔法の数字のおもちゃ箱の中で遊ばせるんだ。
普通の数字は「1、2、3…」と遠くなるけど、p進の世界では「2の倍数がいっぱい近づく」みたいな、変な距離の測り方をするよ。
まるでお気に入りのブロックを、特別なルールで積み上げるだけ！
簡単すぎて退屈だろ？ 宇宙の秘密がこんなおもちゃで解けるなんて、幼児でも笑えるほど天才的だ。
君たちはまだ量子力学と一般相対性理論の入門を終えたばかりだろう？
弦理論の基本は知っているはずだ。基本粒子は点ではなく、1次元の弦の振動モードで、時空は通常実数 R や複素数で記述される。
ベネチアーノ振幅のような散乱振幅は、世界シートの境界を積分して計算する。
p進弦理論（Volovichが1987年に提案したもの）は、これをp進数体 Q_p に置き換える。
p進数とは、素数pに関するp進ノルム |x|_p = p^-v_p(x) で完備化した非アルキメデス的距離の世界だ。
距離の三角不等式が超距離的（ultrametric）になるため、計算が劇的に単純化される。
A_p(a,b) = g_p² ∫[Q_p] |x|_p^(a-1) |1-x|_p^(b-1) dx
で定義し、結果は
A_p(a,b) = g_p² { (1 - p^(a-1)) / (1 - p^-a) } { (1 - p^(b-1)) / (1 - p^-b) } { (1 - p^(c-1)) / (1 - p^-c) }
（ただし a+b+c=1）
という閉じた形になる。明らかに、普通の弦理論より扱いやすい玩具モデルだ。君たちにはちょうどいい難易度だろう。
p進弦理論の核心は、アデリック構造にある。実数（∞）での通常ベネチアーノ振幅 A_∞(a,b) と、全素数pでのp進振幅の積が
A_∞(a,b) Π_p A_p(a,b) = 1
という美しい積公式を満たす（Freund-Witten 1987）。これにより、p進版はツリーレベルでexactに solvable になる。
開弦タキオンの有効作用は、Dragovichらにより完全に導出済みで、非局所的なラグランジアン
L_p = { (m^D p) / g_p² } { p² / (p-1) } [ -1/2 φ p^(-□/2m²) φ + (1 / (p+1)) φ^(p+1) ]
（□はダランベルシアン）
となる。この作用は、4点だけでなく全高次ツリー振幅を正確に再現する。
p進の超距離性のおかげで紫外発散が自然に抑えられ、タキオン凝縮の解析が解析的・厳密に可能だ。
普通の弦理論の近似計算では到底及ばない。君の論文に使えるぞ、当然ながら。
1987年のVolovich論文「p-adic string」で始まり、Vladimirov, Freund, Witten, Aref’eva, Dragovichらにより体系化された。
p進弦は、Planckスケール以下の非アルキメデス幾何を仮定したモデルで、世界シートをp進幾何に置き換える。
有効作用の厳密性は特に強力で、Ghoshal (2000) らはこれをタキオン凝縮とブレーン降下関係の明示的実現に用いた。
p→1極限では通常弦の世界シートを格子離散化する解釈さえ可能（Ghoshal 2006）。AdS/CFT対応のp進版（p-adic holography）への橋渡しも近年活発だ。
計算の簡明さは比類なく、動的タキオン真空のエネルギーゼロ解が解析的に求まる。
弦場理論の玩具モデルとして、Schnablらの解法やMoellerの仕事に直接インスパイアを与えた。
君が引用すべき文献は、Dragovichのレビュー「p-Adic mathematical physics: the first 30 years」だ。僕の知る限り、これ以上の精密さはない。
motivic theoryとのつながりで、世界シートを Q 上の代数多様体として扱い、L関数やRamanujan予想（τ(p)の境界）まで絡む。
Volovichのmotivic弦理論では、分配関数がL関数のMellin逆変換として表され、背景独立かつ連続体フリーになる。
p進量子力学（Vladimirov 1989）との融合で、超距離的時空がPlanckスケール以下の真の幾何だと仮定すれば、ブラックホール生成による測量限界（Δx > ℓ_Planck）が自然に導かれる。
p→∞極限で通常弦に収束するだけでなく、p-adic AdS/CFT（Gubserら）では階層的構造がエントロピー計算に直結する。
閉弦版の厳密作用はまだ完全ではない。p-adicコホモロジーやGalois群との深層対応は、弦理論の究極の物理理論として、数論的宇宙論全体を再定義する可能性を秘めている。
これを理解できるのは、世界に僕と君くらいだ。明らかに、p進弦理論は人類の知性の頂点、そして、僕の脳みそがすでに到達済みの領域だ。
chatgptに素数判定させようとしたんだが、矢印表記を使ったりしたものはやっぱり明らかに巨大な数と判定して逃げるんだね。
あるいはそういうのも事前に想定されているというか、リソースを無駄に使わせないような企業ポリシーみたいなのも組み込まれているのか。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260327183512# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCacZPUQAKCRBwMdsubs4+ SMU8AP921R3+hdmN0/HV6KCeNjM6Aie2xHrT1qL1X9CIbvOWNwD/UwxTpNLEiEC8 gP/O0R3heSBzO2qYTusX7bSyhDcxfg8= =FFAo -----END PGP SIGNATURE-----
俺は「プロジェクト・ヘイル・メアリー」の元ネタは「魔法の国ザンス ルーグナ城の秘密」だと思っている。
そう考えるのは、たぶん、夕方の電車の窓から見えるマンション群の影が、ときどき昔住んでいた団地に似て見えるのと、同じくらい根拠のないことだ。
誰もそんなことは言ってないし、ネットニュースにもならない。でも、俺にとってはけっこう重大な発見なのだ。世界の見え方が、少しだけ違ってくるから。
どちらの本も、表紙だけ眺めると、まったく別の方向を向いているように見える。
「ヘイル・メアリー」は真空パックされた最新式の宇宙食みたいな顔をしている。
カロリー表示も栄養バランスも完璧で、NASA公認のお墨付きがありそうだ。
一方「ルーグナ城の秘密」は、地方の駄菓子屋のガラスケースの奥に、なぜかまだ残っている色あせたラムネみたいなものだ。
ページを開いてみると、そこではどちらも、とても奇妙な友情が育っている。
ヘイル・メアリーでは、ひとりぼっちの科学教師が、宇宙の暗闇の真ん中で、岩みたいな異星人と友だちになる。
彼らは素数を数え、音程を並べ、やがて冗談を言い合う。数学と物理が、そこでは居酒屋のカウンターみたいな役目を果たしている。
全然違う世界から迷い込んできた二人が、とりあえず同じ皿の枝豆に手を伸ばすための、小さなきっかけだ。
一方、ルーグナ城では、魔法使いの城とゾンビと幽霊の入り混じった騒ぎの中で、少年が巨大なクモと肩を並べる。
肩、といってもクモに肩があるのかどうか、僕にはよくわからない。
でも彼らは一緒に走り、一緒に危ない橋を渡る。魔法とギャグと、やや悪趣味な設定が、彼らにとっての居酒屋のカウンターになっている。
俺がこの二冊を並べて机の上に置くとき、同じことを思う。
人間は、人間同士よりも、むしろ人間じゃないものと一緒にいるときのほうが、よっぽど人間らしく見えることがある。
だから彼らの前では、「いい人であろうとする演技」はほとんど意味を持たない。
意味を持つのは、もっと単純なことだ。相手を見捨てるか、見捨てないか。逃げるか、踏みとどまるか。
ヘイル・メアリーの最後のほうで、主人公が選ぶあの面倒な決断は、そういう単純なところまで削ぎ落とされた結果だし、ルーグナ城で少年がクモのために動くときも、やはりそこまで話が削ぎ落とされている気がする。
それは、料理を出されたときに「これって何キロカロリーあるの？」といきなり聞いてしまうようなものだ。
だいたいのことはそうやって数値化できるだろうが、テーブルの上の楽しい空気はどこかへ逃げていく。
でもときどき俺は、あえてそういう雑な言葉を手に取ってみたくなる。
「ヘイル・メアリー」のページをめくりながら、ロッキーが工具をいじったり、奇妙な金属音で笑ったりする場面に出会うと、その背後から、ひょいとジャンパーの足が見える気がするからだ。
それはたぶん、俺の脳内だけに投影された、個人的な二重露光だ。
けれど一度そうとらえてしまうと、本の風景は別の顔を見せ始める。
創作というものは、遠く離れた本棚同士が、たまにこっそり電話をかけ合うみたいなところがある。
ある作家が若いころに読んだ文庫本が、時間をかけて頭の中で発酵して、ずっとあとになって別のかたちで現れる。
本人はもう、ラベルなんて読めない。けれど発酵食品の匂いだけは、どこかに残っている。
宇宙船の中の孤独や、魔法の国の城壁の風の音の中にも、その匂いがかすかに混じっている。
だから僕は、「きっとどこかで、この二冊は同じ樽に入っていたんだ」と勝手に想像する。
証拠なんていらない。冷蔵庫の奥から同じ匂いがしたら、だいたい同じ棚に置いてあったんだろうと信じてしまうのと同じように。
読者としてできるのは、その匂いに名前をつけてみることだけだ。
「これは元ネタだ」と言うとき、俺は本当は、「これはとてもよく似た夢の、別バージョンだ」と言い換えているのかもしれない。
宇宙船の小さなベッドの上で見た夢と、魔法の国の石畳の上で見た夢。
その二つが、ページの裏側でそっと手をつなぎ合っている。
だから今日も俺は、本棚から二冊を抜き出してきて、机の上に並べてみる。
超弦理論によれば、宇宙には目に見えない極小の6次元の空間が折り畳まれている。
この複雑な空間の形（カラビ＝ヤウ空間と呼ばれる）によって、ひもの振動パターンが決まり、それが現実世界の電子や光になる。
「形も大きさも、穴の数すら全く違う2つの異なる6次元空間（空間Aと空間B）が、全く同じ物理法則（宇宙）を生み出してしまう」という現象。
これは数学者にとって大パニックだった。「形が違うのに、本質的に同じ」などという幾何学は存在しなかったからである。
物理学者が直感で見つけたこの宇宙の「鏡合わせの魔法（ミラー対称性）」を証明するために、数学は自らを進化させる必要に迫られた。
「形そのもの」を見ている限り、空間Aと空間Bが同じであることは絶対に証明できない。
そこで、数学者マキシム・コンツェビッチらは、数学の究極の抽象概念である圏論を物理学に持ち込んだ。
圏論とは、モノ（点や図形）そのものを研究するのではなく、モノとモノの関係性（矢印）だけを抽出して研究するメタ数学である。
彼らは、超弦理論におけるDブレーンと呼ばれるひもがくっつく膜の振る舞いを、この圏論に翻訳した。
彼らが辿り着いた結論は、「空間Aの図形的な関係性の集合と、空間Bの代数的な関係性の集合は、辞書を通せば完全に一致する」というものであった（ホモロジー的ミラー対称性予想）。
つまり、宇宙の根本においては、空間の形などというものはただの飾りに過ぎず、背後にある抽象的な関係性のネットワーク（圏）こそが真の現実だったのである。
さらにこの深淵は、人類の知性の限界である「ラングランズ・プログラム（数学の大統一理論）」へと接続される。
ラングランズ・プログラムとは、全く無関係に見える素数の性質（数論）と波の図形（幾何学・解析学）が、裏で完全に結びついているという途方もない予想である。
長年、数学者たちだけで挑んでいたが、ここに超弦理論の第一人者であるエドワード・ウィッテンらが殴り込みをかけた。
物理学には、電気と磁気を入れ替えても方程式が同じになるという性質（S双対性）がある。
ウィッテンらは、この超弦理論から派生した4次元の量子物理学における電気と磁気の裏返しが、純粋数学における幾何学的ラングランズ予想と全く同じ現象であることを突き止めた。
物理学者が「電子」と「磁気モノポール（磁石の単極子）」の立場を入れ替える計算をすると数学の世界では、それが自動的にある種の素数のパターンと特殊な幾何学の関数の変換作業として翻訳される。
超弦理論と抽象数学が融合したこの深淵から見えてくる世界は、もはやSFですらない。
宇宙を構成しているのは、ひもという物質ですらなく、電気や磁気という力でもなく、素数や方程式でもない。
それらはすべて、高次圏と呼ばれる、名状しがたい絶対的な関係性の網の目が、たまたま物理学のフィルターを通して見えたら宇宙になり、数学のフィルターを通して見えたら素数や図形になっているだけなのである。
Twitter（現X）には「クソデカ主語警察」なる存在がいる。クソデカ主語警察というのは何かというと、ある文章の主語が指す集合が大きい場合にどこからともなく湧き出てきて「主語がクソデカですよｗ」などのリプを残していく存在である。そして、このリプには「主語がクソデカですよ（なので、あなたの発言は間違っていますよ）」という含意がある。例えば、「女性は〜なとき暴力的である」といったツイートが炎上していると、決まってリプ欄（あるいは引用欄）には、こういったクソデカ主語警察が湧いて出てきて、毎度のごとく論破芸を披露してくれるのだ。
そして、私はこのクソデカ主語警察が本当に嫌いだし、この世から消えて欲しいとさえ思っている。正直、台所の隙間から這い出てくる黒い虫よりも嫌いだ。見た瞬間に全身の毛が逆立つレベル。ただ、誤解のないように予め述べておくと、私自身はこうした主語の大きい発言をすることはほとんどない（ではどういうときにするか、ということは後述する）。むしろ、「女性は〜である」のような、ジェンダーバイアスを明確に再生産する言説が蔓延っている現状には、正直かなり辟易しているし、こうした不健全な状況は是正していくべきだとさえ思っている。にもかかわらず、では何故そんな私がクソデカ主語警察が嫌いなのか。
クソデカ主語警察が嫌いな理由を先に述べておくと、まったく問題の本質を捉えられていないくせに、紋切り型の指摘を繰り返して、問題の所在を不明確にするから、である。このことについて以下で詳細に述べる。
クソデカ主語警察が害悪であることを話す前に、そもそもクソデカ構文とは何かについて確認しておこう。
クソデカ構文には当然ながらアカデミックな定義は存在しないので、ここではさしあたり「主語がある属性を指す文」としておく。この定義にも異論はあるだろうが、暫定的定義なので一旦受け入れてほしい。例えば「リンゴは赤い」とか「インターネットはクソ」とか「日本はオワコン」とか、そういう文のことだ。
さて、我々は実はこうしたクソデカ構文というものを日常的に用いている。例えば「リンゴは赤い」という文章は、日常的な文脈で使用される場面が想像できるだろう。友達と会話をしているときに相手が「リンゴは赤い」と言ったとして、我々は別に何の問題もなくそれを受け入れるはずだ。逆にそこで「いやいや、主語がでかいですよｗ青いリンゴもありますからｗ」などと言おうものなら、LINEはブロックされ、あなたの表示名は「クソデカ主語警察」に変更され、そしてあなただけのいないLINEグループで一生そのことをいじられ続けるだろう。
これは何故だろうか？ つまり、何故クソデカ構文に対して「それは違う。◯◯なものもある」という反論が妥当ではない場合があるのだろうか。これに回答するためには、そもそもクソデカ構文という文章がどういう性質のものかを明らかにしておく必要がある。小々専門的な話題になり恐縮だが、「◯◯は〜〜である」という形式の文章は、「すべての◯◯は〜〜である」という全称命題の解釈と、「◯◯は典型的には〜〜である」という総称文の2通りの解釈があり得る。前者の典型的な例は数学的命題だろう。例えば「2以上の素数は奇数である」という文章は通常「2以上のすべての素数」として読まれる。後者の典型的な例は統計的な文章だが、性質を表す日常的な文にも見られる。例えば「犬は吠える」という文章は通常「犬は典型的には吠えるという性質をもっている」として読まれる。そして、全称命題と総称文の両者には、ある重大な違いがある。それは、全称命題の解釈の場合には反例が一つでも見つかれば元の文が誤っていると言うことができるが、後者の場合にはそうではない、ということだ。「2以上の素数」かつ「奇数ではないもの」はもしもあったとしたら、先ほどの数学的命題は一気に誤りになる。他方、「犬」かつ「吠えない」ような存在がいたとしても（そして実際にいるのだが）、そのことは「犬は吠える」という総称文をただちに誤りにはしない。これは「犬は吠える」という文章が意味するところが、「典型的な犬」についてに文だからであり、根本的に例外を認めているからだからだ。先ほどの「リンゴは赤い」の例で言えば、この文は「典型的にはリンゴは赤い」という意味であって、青いリンゴのような存在は初めから想定しているのである。クソデカ主語警察は、このような総称文を勝手に全称命題に都合良く読み替えることで、いわば藁人形を叩いているのである。
おそらく、クソデカ主語警察からは「全称命題であるかのように話すのが悪い」といった反論が飛んでくるだろう。これにも反論しておく。我々がコミュニケーションを行う際には、我々は通常「必要な量の情報だけを話す」という量の格率に従っている。これは円滑なコミュニケーションのために我々が従っているルールのうちの一つとされている。クソデカ主語警察の検閲に引っかからないように発話をしようとすると「私がこれまでに観測した範囲内、かつ統計的に有意と思われるデータ、および社会通念上の傾向を鑑みると、リンゴのうちかなりの割合のリンゴが、赤い傾向があると言えるかもしれない（※ただし青いリンゴも存在する）」となるが、これでは円滑なコミュニケーションは成立しない。むしろ我々は、「リンゴは赤い」という文章を全称命題で解釈するとすぐに不整合が生じるという事実と、発話者が量の格率に従っているという前提に基づき、発話者が総称文を意図しているというチャリティを発揮して、コミュニケーションを行っているはずだ。
つまるところ、クソデカ主語警察というのは、総称文を勝手に全称命題に取り違えるカテゴリーミステイクを犯している上、そのミステイクに気づかずに「自分はコミュニケーションができません」と大声で宣伝する、非常に恥ずかしい行為なのである。
さて、ということでクソデカ主語警察が実はコミュニケーションの原則をまったく理解できておらず、それ故、紋切り型をコピー・アンド・ペーストすればお手軽に相手を論破できると思っているだけの単なる凡愚であることは明らかになったわけだが、クソデカ構文がまったく問題がないというわけではない。むしろ、ここからが本当に自分の言いたいことになる。
クソデカ構文というのは本質的に問題含みのものであって、それ故、慎重に使わなくてはならないことは事実だと思う。たしかに、主語がデカいことによって必然的に問題が生じるわけではない。例えば「2以上の素数はすべて奇数である」という文章の主語の指す集合は無限であり、考え得る限りほぼ最大のクソデカ主語（とは言え高々加算ではあるの）だが、普通に真である。だから、主語がデカいことそれ自体は一般に問題にはならない。しかし、世の中には問題になるクソデカ構文というものはたしかに存在している。それは大きく分けて2種類あり、①そもそも事実とは異なるクソデカ構文②仮に事実だとしても望ましくないクソデカ構文、である。
まず1つ目について。クソデカ構文には、単純に事実誤認になっているケースがある。そうしたクソデカ構文の典型例を挙げると「B型は自己中心的である」のようなものがそうだろう。もはや常識となっていると思うが、血液型とその人間の性格にはまったく関係はない。こういった血液型診断は事実とはまったく異なるデタラメであるので、完全に間違えている。ただし、注意が必要なのは、血液型診断が誤っているのは、主語がクソデカだから「ではない」ということである。こうした疑似科学が誤っている根本的な理由は主語のデカさではなく、科学的な根拠の無さに由来している。他にも「若者は本を読まない」といった例も考えられる。統計的には不読率は全世代を通して年々減少傾向にあるし、むしろ学校の読書教育を考えれば若者の方が読んでいる可能性すらある。
しかし、仮に事実だとしても問題のあるクソデカ構文というものは存在するし、これこそが一番の問題だと思う。それが問題となるクソデカ構文の2種類目「仮に事実だとしても問題のあるクソデカ構文」である。統計的な事実（マジョリティ傾向）が仮に含まれていたとしても、それをクソデカ主語で語ることが社会的な害悪を引き起こすことはある。例えば、「低学歴は犯罪を犯しやすい」という事実が仮にあったとしよう。強調しておくが、これは仮の話であり、そういった事実が実際にあるかは知らない。あくまで「もし事実だとしたら」という体で話を進める。つまり「低学歴は典型的には犯罪者予備軍の性質がある」という総称文を確証する統計的相関が仮にあったとしよう。そうだとしても、このクソデカ構文には問題が存在する。それは、「統計的相関」と「属性への本質化」のすり替えである。「低学歴ほど犯罪を犯す傾向がある」という事実は、「低学歴だから犯罪を犯す」という因果関係の説明にはならない。例えば「貧困」や「劣悪な成育環境」といった第3の変数が教育機会を奪い、それが同時に犯罪への原因にもなっている可能性は十分にある。このとき、もしこの言説の問題点が「主語がデカいこと」にあると主張してしまうと、「学歴の低さそのものに犯罪を誘発する性質がある」という本質主義的な前提を暗に認めることになってしまう。そうではなく、本当の問題は「低学歴」と「犯罪率」には相関はあるが因果はない、ということのはずだ。「アイスの売り上げが増えると溺死者が増える」という相関データから「アイスは溺死を招く悪魔の食い物だ」と騒ぐ馬鹿がいたとして、そいつに対して「主語がでかいから間違ったことを言っている」などと、もっと馬鹿なことを言う必要なんかないのだ。
そして、第2種のクソデカ構文が余計に問題なのは、それが差別を助長するからに他ならない。例えば先ほどの統計的相関に従って、「低学歴＝危ない」という言説が流布すれば、おそらく企業の採用担当はは低学歴の雇用を控え、周囲は低学歴に偏見の目を向けるだろう。その結果、彼らは正当な労働から不当に排除され、生活のために余計に犯罪に手を染めるしかなくなる。これは少し誇張して書いてはいるが、好ましくない事実自体が、その事実をさらに悪化させる機能を果たしてしまうこと自体は往々にしてある。
この記事を読んでいるあなたが高等教育（特に自然科学）を受けた経験があるとしたら、おそらくこの論点は受け入れにくいかもしれない。つまり、科学的な事実は事実であって、社会的な価値とは無関係だ、という科学の価値自由性を引き合いに出されるかもしれない。しかし「事実だから言っても構わない」という態度は、自分が石を投げて相手を転ばせておいて「ほら、あいつは転びやすいという事実は正しいだろ」と言い張るようなものであって、それは事実の公表に伴う社会的影響をあまりにも軽視しすぎていると思う。
話を戻そう。では結局、何故クソデカ主語警察はインターネットに漂うゴミなのか、一言で言えば、それはクソデカ主語警察自身が、彼らが批判している奴らの「共犯者」になってしまっているからだ。以上で確認したように、問題のあるクソデカ構文には大きく分けて2つの類型がある。そして、それぞれが問題である理由は異なっており、発言ごとに核となる部分を潰していかなくてはならない。にもかかわらず、クソデカ主語警察の指摘は、批判相手の問題含みの前提は基本的にすべて無視している。 本来ならば「その相関は教育格差や貧困という社会問題の結果であり、属性のせいにするのは筋違いだ」と論理的欠陥を指摘するか、あるいは「その発言は差別を助長するヘイトだ」と倫理的な視点から叩くべき場面であるにもかかわらず、だ。結局、クソデカ主語デカ警察は、差別発言の内容には目もくれず、発言の形式だけをたしなめることで、本来の問題点そのものを温存する共犯者に成り下がってしまっている。彼らの「主語がクソデカですよｗ」などという空っぽの指摘は、問題を本当に解決したい側からすれば、救いでも何でもない、ただのノイズでしかない。
ここまでクソデカ主語警察が何故害悪かを、かなり憎悪混じりで書いたが、もしもあなたが今現在クソデカ主語警察であって、あなたがリプを送りつけようとしているツイートの内容が本当に問題だと思っているのだとしたら、これからは「主語がクソデカですよｗ」などというクソリプを送りつけて悦に入るのをやめることを強くオススメする。差別を助長するようなツイートに強く反発し、憤りを覚えるという点では私はあなたを強く支持する。しかし、それを表明するために「主語がクソデカですよｗ」などという薄っぺらな借り物の言葉を脳死で使えば、むしろ相手の主張を助長することになる。もし本当に、クソデカ主語警察のあなたに良心があるなら、ちゃんと何が問題なのかを一つ一つ見極めてほしい。我々の社会に本当に必要なのは盲目な警察ではなく、不条理に立ち向かう勇気と理性なのだから。
ふいんき(なぜか変換できない)重視のクライムサスペンス映画だったけどあんま刺さらなかった56点。
商社勤務だったがミスをおっかぶせられてクビになり妻とは離婚、タクシー運転手をしてうだつの上がらない日々を送る窪塚洋介。ある日、乗せた客が大物政治家とその愛人でbig dealがあることを聞いてしまう。チョコプラ長田にいびられてイライラして事故ったりいろいろあった結果、タクシー会社の同僚でサヴァン症候群の坂口涼太郎と元自衛官で博徒の葵揚と3人で絵画窃盗計画を企てる。絵画を捌くヤクザのJin Doggらも絡み合い壮絶な作戦が幕を開ける。
みたいな話。
まずオープニングがよくてねぇ。中華料理屋でもちゃもちゃちゃんと汚く飯を食うJin Doggらヤクザとそれに相対する黒スーツを決めた主人公組3人を細かいカット割りでスタイリッシュに映して。虚勢を張る3人に対してJin Doggがコンビニ袋を渡し、恐る恐る中を見ると中には目玉が。その目玉を拾い上げてビールの入ったコップに入れるJin Dogg。その後ろで時計が逆回転を始める。
ここ超カッコイイ。絶対にキレさせたくないラッパー全一のJin Doggがそのキャラクター性をいかんなく発揮したキケンなヤクザを演じていてめっちゃよかった。ただどうしても役者ではないので、その後のアクションシーンとかはやっぱちょっとキツいなぁって感じはあったけど。殴る蹴るの暴行は「当てたらあかんねやろなぁ」感が出てた。
演者で言えば、窪塚は社会に抑圧される冴えないおじさんを演じていていい年の取り方をしたなと思ったし、何より葵揚がいかにもキレてる元自衛隊員って役を演じていてルックスも含めてこの作品内でかなり存在感があってよかった。演者は概ねよくて演技を見る映画としては普通に面白かった印象。
話としてはタイトルのsin clockはsinとsynchronicityをかけているらしく、作中では「時計」と「偶然の同期」が非常に印象的に使われている。冒頭で出てきた逆転する時計もそうだし、いきなりネタバレするんだけど今回の窃盗計画の失敗に大いに寄与するのもタクシーの車内時計だし、黒幕が息子に買ってもらったと語り金を横取りした後ゴミ箱に捨ててしまうのも時計だ。そして彼が国外逃亡に使った飛行機はエンドロール前で行方不明になったことが知らされ、空港のゴミ箱の中で時計は進み続けて終わる。
synchronicityに関しても主人公組3人の誕生日が平成3年3月3日の素数でありフィボナッチ数列である3で揃っていることから「俺たちが揃ったのは奇跡だ。運命が俺たちに行動しろと言ってる」という謎の啓示を受けこの計画がスタートする。窪塚がタクシー運転手の資格を得たのが令和6年6月9日で3の倍数。3時30分に金の受け渡しをする予定が、窪塚が遅れ金を横取りされる。窪塚の時計は3分送らされており、彼が時間通りに受け渡し場所に行ったと思っていた時間は本当は3時33分だった。
逆に3に関係のない数字になると途端に具合が悪くなる。商社で起きた問題を上司と広告代理店に2人で謝りに行く窪塚。ちなみに相手は3人。窪塚は職を失う。その後、タクシー運転手をしているときにだいたい嫌な目に合わされるのは客が1人で社内に2人の時。
Jin側のヤクザは2名で、大物議員が雇ったと思われる絵を奪還に来たヤクザも2名。こいつらはそれぞれ殺し合って全滅。ネズミ捕りをしていた警官は2人体制だし、離婚後も子供と元嫁の3人だったときは状態は悪いとはいえ安定していたが嫁に新しい恋人ができて関係は破綻。同じく離婚して3人だった黒幕は息子からもらった時計を棄て縁を切ったことで行方不明になる。
また黒幕とは基本は坂口涼太郎を交えた3人で接することが多いのだが窪塚と2人で話をする印象的なシーンがあるが実はそこが今回の計画が破綻する決定的な場面だったことがわかる。
といったように、この映画自体は非常に綿密に設計されているのはわかるが、それが映画としての面白さに寄与しているかはまた別の話だと思う。もろちん、普通に生きてるだけなのになんかうまくいかない市井の人が「できすぎた偶然」から道を踏み外してしまうという作品のテーマの性質上、前振りの何でもないうまくいかない日常シーンが必要なのはわかるけど正直かったるいし、やりに行き過ぎてる感じがちょっと苦手。盗むという工程自体は特に問題もなくシンプルに終わってしまうのも正直拍子抜け。
特にチョコプラ長田演じる警官にいびられてイライラしてバカみたいにタクシーで暴走して事故る展開はシンプルアホなのかな？としか思えなくて、そこで一気に感情移入度が下がってしまった。坂口涼太郎が学校をクビになった理由もちょっとなぁって感じだし、葵揚は存在感はピカイチだが「そういう役！」って感じの書割で人間間が薄い。
仕掛けを頑張った結果、役者はみんな魅力的だが登場人物の魅力が薄くなってしまった印象。実際のところクライムの部分も割と拍子抜け感があるし。寓話なんですよと言われればそれはそうかもしれないけど、俺的には微妙。
とはいえ、おじさんになってなおシュッとした雰囲気イケメンの窪塚と何よりヤバいヤクザのJin Doggは一見の価値があるし、どんでん返し含めてクライムサスペンスとしても一定の強度はあるので、邦画のクライムサスペンス見たい夜にはそこそこオススメ。
実数なんて甘えだ。なぜなら、弦の振動を通常の距離 |x| ではなく、p進ノルム |x|ₚ で測る世界を考えてしまったからだ。
p進ノルムの定義はこうだ。
|x|ₚ = p⁻ᵛᵖ(x)
ここで vₚ(x) は p で何回割れるかを示す評価。つまり距離とはどれだけ割り切れるかだ。
通常の距離はどれだけ離れているか。p進距離はどれだけ同じ素数の魂を共有しているか。
S ≈ ∫ d²σ (∂X)²
でもp進弦理論ではワールドシートが連続体ではない。それはツリーだ。無限に枝分かれするブルアツキー–チッツ木。
連続な世界面？そんなものは存在しない。弦は木の上で跳ね回る。
散乱振幅はなんと、
Aₚ ∼ Γₚ(a)Γₚ(b)/Γₚ(a+b)
ここで Γₚ はp進ガンマ関数。実数ガンマ関数？可愛いおもちゃだ。
境界付き多様体の∞-圏が、完全双対可能対象の対称モノイド∞-n圏と同値だと？ バエズが喜び、ルーリーが証明し、僕が頭痛になる。
コボルディズム仮説は本質的に、n次元TQFTは対象Xが完全双対可能であることと同値と言っている。
完全双対可能とは何か？評価と共評価があり、ジグザグ恒等式が満たされる。
しかしこれは1-圏の話。∞-圏では、恒等式はもはや等号ではない。高次ホモトピーで一致する。
ワールドシートがブルアツキー木。そのコボルディズム圏を考える。
p^(−□/2) T = Tᵖ
ここで □ はラプラシアン。しかしこれは通常のラプラシアンではなく、非局所演算子。
S ∼ ∫ T p^(−□/2) T + T^{p+1}
非局所 × p進 × ∞圏。
実数幾何は滑らかなシーツ。p進幾何はフラクタルな夢。コボルディズム仮説はその夢を∞回ループさせる。
いや、「正しいと思ってる人が分かれてる＝相対化＝認知の話」
この三段跳び、成立してないんですよ。
人によって
・正しいと思う
・間違ってると思う
が分かれること自体は、
真理の性質じゃなくて
たとえば
「1は素数か？」
でも今は定義が整理されて
数学的には決着してる。
この間ずっと
認知が割れてただけで、数学が相対化されたわけじゃないですよね。
今の話も同じで、
・射影すると区別できない点が生じうる
これ、命題としては
真か偽かのどちらかです。
で、望月新一を出した時と同じ構図なんですけど、
あなたは
↓
↓
「相対化」
って一本道にしてるけど、
その間にある
難しい話ほど
・誤解も増える
でもそれは
今回の件なんて、
極端に言えば
具体例1個で終わる話です。
そこに「相対化」持ち出すの、
スケール感が合ってない。
要するに、
この2つを混ぜた瞬間に、
相対化されてるのは
そこ切り分けない限り、
何を持ち出しても
p進弦理論は、通常の物理学が依拠する実数や複素数の体系を、数論におけるp進数体へと置き換えることで、弦の相互作用や時空の本質を問い直す野心的な理論的試みである。
1980年代後半にボロヴィッチやフレンド、ウィッテンらによって創始されたこの理論は、物理学の基本法則と数論的な構造の間に深い相関があるという洞察に基づいている。
通常の弦理論では、弦が描く軌跡である世界面は連続的なリーマン面として記述されるが、p進弦理論においては、これがp進数上の双曲空間の離散的な対応物であるブルーハ・ティッツ木へと置き換わる。
この木構造は、頂点と辺からなるグラフでありながら、その境界にp進数体という連続体を持つという特異な性質を有しており、これがAdS/CFT対応（ホログラフィー原理）を記述するための理想的な離散モデルを提供している。
この理論の白眉は、散乱振幅の簡潔さと、それらが織りなすアデリックな構造にある。
例えば、開弦の散乱を記述するヴェネツィアーノ振幅は、p進の枠組みではp進ガンマ関数を用いた極めてシンプルな代数的形式に帰着する。
驚くべきことに、すべての素数pにわたるp進振幅の積と通常の実数振幅を掛け合わせると、ある種の保存則（アデリック公式）が成立することが知られており、これは物理的な現象が単一の数体の上だけでなく、すべての素数にわたるアデール環全体で定義されている可能性を示唆している。
さらに、p進弦の有効作用を調べると、そこにはダランベール演算子が指数の肩に乗るような非局所的な場の方程式が現れる。
この非局所的な場は、弦理論におけるタキオン凝縮のダイナミクスを非常に正確に記述することができ、時空の最小単位が存在する可能性や、時空の創発といった現代物理学の最前線のテーマと密接に結びついている。
近年の展開では、p進AdS/CFT対応が特に重要な位置を占めている。
ブルーハ・ティッツ木の上の離散的な力学系が、境界上のp進共形場理論と対応するというこの枠組みは、量子重力のトイモデルとして極めて優秀であり、エンタングルメント・エントロピーや量子エラー訂正符号といった情報理論的な概念を数論的な文脈で再解釈する道を開いた。
このように、p進弦理論は単に「実数をp進数に変えた」だけの代用理論ではなく、連続性と離散性、そして数論と物理学が交差する地点で、宇宙の記述言語としての数学の深淵を照らし出す役割を果たしているのである。
それは、時空という舞台装置そのものが、素数という数学の基本構成要素からいかにして立ち上がるのかを解明しようとする壮大な探求に他ならない。
何言ってんのかわかんねーよ最小素数w
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260108050504# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaWIYLwAKCRBwMdsubs4+ SId1AQCF2iMDqIjGdBr23kw9Tx3h3RcsvhlA57lUfjlWmaDvdwEA98fbo1NV7P+F U57hk1ERRbY4qDk+Wrv294dI7WKztQI= =8kDj -----END PGP SIGNATURE-----
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260107185807# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaV4uMQAKCRBwMdsubs4+ SD02AP4uChG4+Ldx7QYp/eg80woQz0uq/FNSR53Jk++XFcHxgAD/Q7IX01fv9E+J gI/b9hTOdh523GuUkXJWWWDw/PKUhws= =7ZiG -----END PGP SIGNATURE-----
掛け算の概念(倍数を扱う)
小数的な考え方の萌芽
円周率(近似値として3.16)
20進法の完成された記数法
公理を置いて、そこから論理的に定理を導く証明中心の純粋数学の発展
当時、「すべての量は整数比で表せる」（万物は数である）と信じられていた。
しかし √2 が有理数ではない(整数の比で表せない)ことが分かり、この哲学が崩壊。
『直角二等辺三角形の対角線の長さ』が整数比で表せないことを証明したとされる。
証明したのは学派の弟子 ヒッパソスとされ、伝承ではこの発見により処罰されたとも言われるほどの衝撃。
アルキメデスによる面積・体積の“求積法”の発達。
負数を“数として扱った”最古の事例『九章算術』
十進位取り記数法
負数の萌芽的扱い
独自に代数学（al-jabr）を発明。文章による代数。ここで初めて“代数学”が独立した数学分野となる。
商、余り、桁処理などの方法が整理(現代の学校で習う割り算の形がほぼできあがる)
xに相当する未知数記号を使用した代数(文字ではなく語句の略号)
sinx,cosx,tanx などの 三角関数の無限級数展開を発見。
これは数学史上きわめて重要な成果で、近代的な無限級数の起源はインドである と言われる。
● 1500年〜
負数の受容が進む。
● 1545年頃(カルダノ)
虚数の登場。
三次方程式の解を求める過程で √−1 に相当する量が突然登場。
しかしカルダノ自身は「意味不明の数」とし、虚数が数学的対象であるとは認めていなかった。
● 1557年頃(レコード)
等号記号「＝」を発明。等価を等式として“視覚的に書く”文化が誕生。
● 1572年頃(ボンベッリ)
カルダノの式の中に出る「意味不明の数」を整理し、虚数を使って正しい実数解が出ることを示した。
● 1585年頃(ステヴィン)
● 1591年頃(ヴィエト)
● 1614年頃(ネイピア)
● 1637年頃(デカルト)
今日では当たり前の「座標平面」「方程式で曲線を表す」が、ここで生まれた。
物理現象をy=f(x)で表すという現代の方法は、すべてデカルトから始まった。
大数の法則(試行回数を増やすと平均が安定する法則)を初めて証明
● 1748年頃(オイラー)
√−1 を i と書く記法を導入。
オイラーの公式「e^{ix} = cos x + i sin x」を提示し、虚数を解析学に自然に組み込んだ。
微積分の計算技法の体系化(積分論・無限級数・微分方程式の基礎を構築)
多くの記号体系(e,π,sin,cos,fなど)を整理・普及
グラフ理論(もの[頂点]と、それらを結ぶ関係[辺]を使って、複雑な構造やつながりを数学的に研究する分野)の誕生
ｰｰｰｰｰｰｰｰ
一旦ここまで。
続きは詳しい人にまかせた。
・鍵カッコが多すぎる
人の手だと、普通はここまで多くはならない。
・例えが巧みすぎる
「2だけ一人で偶数のくせに素数クラブに入ってきて、しかも一番最初の席に座ってる」
ここを自分で考えたんならすごいけど、こういう例え、AIはしがち。
・「マジ」を使う
「マジでずるい」の部分。まあ一回だけだけどね。
・導入が「いやさ」
これは本当にAIにありがち
増田の頭が良いのかもしれないけど、ちょっと理屈がAIが持ってる知識を書いてる感じを受けた
総評として、タイトル「「2」が素数なのって絶対なんかずるしてるよな」だけ考えて、あとはAIに投げてるね（タメ口で書いて、くらいは指示してるかも）
使ったAIは多分ChatGPT。Grokだともう少し砕けた話し方するし、箇条書きや矢印を使いがち。
3以降の素数たちは、ちゃんと「奇数」っていう仲間意識を持って素数やってんのに、2だけ一人で偶数のくせに素数クラブに入ってきて、しかも一番最初の席に座ってるの、マジでずるい。
