「数学」を含む日記 RSS

はてなキーワード: 数学とは

2026-05-12

数学できないんか!?

。゚(゚இωஇ゚)゚。

アメリカのためを思って供述全部吐き切ったので

今度は世界のために数学勉強したいぞ!

自分楽しい 世界のためになる win win

よって今後の予定や進路を邪魔するのやめてほしいです。

2026-05-11

ブループロトコルはなぜ即死たか

品質が低かったか

以上。とはいえ1年半持ってるけどね。

一応凍結前クローズドβテスト、凍結後ネットワークテストプレイしている。

とにかく時代遅れ品質が低かった。

クローズドβテスト(2020年春)

まずこの時代MMO群雄割拠の最終盤だった。

リネージュ2Mのリリースを翌年に控え、業界全体がPC-モバイルクロスプラットフォームを前提に動いていた。

このテストの同時期にはロストアークJPサーバー(2024年クローズ)、V4(2023年クローズ)が走っていて、この両者がゲームとしてはともかくアプリの完成度は極めて高く、AAタイトル相当の出来だった。

一方ブループロトコルだが、Windows専用だった。そのうえ最適化が全く駄目で、PCが唸りを上げて破壊されないかヒヤヒヤした記憶がある。

イベントシーンの立ち姿は辛うじて戦えるレベルだったが、操作感や感触は正直リネージュ2無印レベルであり、これを2020年に出すのか?と思った

たこ時代オープンワールドというかシームレスマップが行けるか行けないかの境目の時代であり、本作は行けなかった。

秋に原神という黒船が到来しなければギリギリ行けたかも知れないが、他の多くのゲームと一緒に時代遅れ扱いとなった。リリース凍結は順当。

ライザのアトリエ(2019)よりはマシだった記憶はある。

ネットワークテスト(2023年春)

正直、鹿しか覚えていない。

渓谷に囲まれ高台(そもそも何だその地形は?PS2ゲームか?)に登場するボスの鹿が突き飛ばし攻撃を繰り出してくるのだが、狙われたら最期崖下に突き落とされて死ぬっていう。

そういう面白しか記憶にない。

ビジュは良かったしイベントシーンのモーションが良かった記憶はあるが、ゲーム部分はエターナルカオス(ラグハイム)と変わらんなとメモに書いてあった(2001年ゲーム)

ちなみにこの2020年2023年時代を同時に駆け抜けたタイトルサイバーパンク2077である

2020年に発売されるも最適化不足で訴訟沙汰の大モメから2023年にはパッチ2.0DLC「仮初めの自由」が配信され評価された。

同時期にこのクオリティタイトルが出ているのである

miHoYOは原神→崩壊スターレイルリリースを続けていた。奇遇にもライザのアトリエ3も2023年だった。

あ、クラフトピア2020年リリース2023年シームレスアップデートだった。

正式(2023年)

ランチャーインストールはした。プレイはしていない。

日本には技術がない

任天堂ソニースクエニにはある。

でもそれ以外には無かった。ここで言う技術とはUnityやUnrealEngineを低レイヤーで触ることのできるコンピュータサイエンス数学の事を指す。

学部卒のような素人ではなく、プロフェッショナル活躍できる場所日本ゲーム業界にはほとんど存在しなかった。

それは過去から2026年現在までも同じである日本ゲーム業界には高度人材があまりにも少ない。

セガも、バンナムも、コーエーも、技術的にはしょっぱいゲームを作り続けている。

もちろん技術があれば面白いとか、なければつまらないとかはない。ただ大規模開発についていけない体質になった。

そして任天堂ソニーは自社ハードスペック販路の狭さという制約がある以上、作れても作らない。

スクエニファイナルファンタジー地獄人材を注ぎ込んでいるので作れない。

日本からは原神もNTEも出てくることはないだろう。

(ポケットペアが何かの間違いでもう1段階跳ねたら出てくる可能性はありそう)

(セガ龍が如く作ってるのでは?という指摘はもっともだが、現状UBIの技術不足版でしかない。ゲームとしては面白い)

2026-05-10

今年のGWゲーデルに費やした

マジで脳が震えてる。全人類にこの興奮を伝えたい。

今年のGW、お前らがBBQだの旅行だの浮かれてる間、俺は一人で岩波文庫の『不完全性定理』と取っ組み合いをしていた。

正直、今までは「算術を含む公理系には、証明反証もできない命題存在する」っていう、ふわっとした知識しかなかった。

でも、それじゃ納得できなかったんだ。

「なんで数学っていう完璧世界に、そんな穴があるんだ?」って。

で、連休5日間、モンスターエナジーをキメながら不完全性定理の核心、いわゆる「ゲーデル数化」と「対角線論法」を徹底的にシミュレーションした。

そしたら昨日、ついに「見えた」んだよ。論理歯車がカチッと噛み合う音がした。

まず、ゲーデル論理式そのものを「数字」に変換したんだ。

例えば、変数論理記号素数を割り当てていく。

G(s) = 2^n1 * 3^n2 * 5^n3 * ...

こうすることで、数学について語る「メタ数学」を、数学のものの中に閉じ込めた。

この発想がまず天才すぎる。

そして、俺が一番興奮したのがここだ。

自分自身証明できない」という命題を構築するステップ

不完全性定理の核心的な構造は、これだ。

∀x ¬Prf(x, ┌G┐) ⇔ G

これは、公理系の中で「証明不可能であることを主張している。

もし証明可能なら偽のことを言っているか矛盾する。逆に証明可能なら、それは「 証明可能である」という嘘を証明したことになり、公理系が壊れる( 無矛盾性の崩壊)。

さらに、この証明可能性を「算術化」した述語を使って、第二不完全性定理を導くプロセス鳥肌モノだった。

Consis(T) → ¬Bew(┌0=1┐)

この一連の流れを追った瞬間、俺の脳内パッヘルベルカノンが流れたね。

数学は、自分自身が正しいことを、自分自身の力だけでは証明できない。

この限界こそが、数学の「美しさ」そのものだったんだ。

……え? 「お前、GWなにやってんの?」って?いいか、俺たちの背後にはこの「不完全性」が横たわってるんだ。

不完全だからこそ、俺たちの「自由」がある。

ゲーデルはそれを教えてくれた。

俺は今、人生で一番、知的脳汁が滴るいい男になってる自信がある。

論理の海に抱かれて眠るわ。

お前ら、数学舐めるなよ!!

言葉記号性とアナログ性はどこから来るか?

言葉本来定義で言えば記号のものであるが、人の感じ方としては、アナログ無限表現力を持つものに思えるときがある。

これはなぜかと考えていたら、数学的に言えば言葉は切断なのだ結論が出た。

 

言葉自体はデジタル可算集合だが、その行間には、言葉言葉距離という非可算の空間がある。

言葉のもの記号だが、それをどう組み合わせるか(何と何だけでなく、どんな順番で、どんな距離で組み合わせるか)によって、アナログ感覚表現できるし、感じている。

 

これは特に創作においてより意識されるべきだ。

昨今はなんでもマニュアル化で要素を組み合わせれば話ができるかのようなことばかりいうインフルエンサーにみんな騙されているが、同じ要素でも、どんな「間」で組み合わせるかまで感じているのがリアルな読者であり、そこまで気を使うようになって初めて表現と言えるのだ。

2026-05-09

IQ測ったら132だった

タイトルがもう自慢みたいで嫌なんだが、自慢じゃない。むしろ逆だ。

俺はずっと、自分の頭はどこか壊れてると思って生きてきた。だから検査を受けた。

結果が、132だった。

書く順番を間違えると全部嘘くさくなる気がするから最初から書く。

俺は34歳、都内の中堅メーカー営業企画みたいなことをしてる。

仕事ができないわけじゃない。ただ、できる時とできない時の差が異常にデカい。

企画書を書かせると上司が「お前これどこから出てきた発想だよ」と笑うようなアイデアが出る。

一方で、月末の経費精算でレシートの日付を3回連続で打ち間違える。会議電話番号を聞き取れなくて聞き返す。「先週の議事録のあの件だけど」と言われて、議事録存在ごと忘れてる。

20代の頃はそれを「ムラっ気」で済ませてきた。

30過ぎたら誤魔化しが効かなくなった。

去年、得意先への請求書を1ヶ月送り忘れて先方の経理激怒させた。あれは凹んだ。普通こんなミスしないだろ、と自分で思った。

それで精神科に行った。

発達障害検査をしたい、と言った。受付のお姉さんは、こういう客に慣れた感じで「では初診の予約から」と言った。

医者40代後半くらいの男だった。1回目は問診だけ。

「いつから困ってます」「子供の頃の通知表は」「家族に同様の特性は」みたいなことを30分聞かれた。最後に「WAIS-IVを受けてみますか」と言われた。

WAIS-IV。ウェイス・フォー、と読む。世界で一番使われてる大人向けの知能検査だ。

発達障害のものを判定する検査ではない。「あなたの頭の中の凸凹を見る」検査だ、と医者説明した。

検査は2週間後に予約された。

費用保険適用自己負担1350円程度、と言われた。安い。Netflixの月額より安い。

検査当日のことを書く。

検査室は4畳半くらいの個室で、机を挟んで臨床心理士女性と向かい合った。30代くらい。終始物腰が柔らかい

机の上には、検査キットらしき木箱と、何種類もの冊子と、ストップウォッチ。あとティッシュ箱。なぜティッシュなのかは後でわかった。

「これから2時間ほど、いろんな課題をやってもらいます。途中で休憩できます。わからない問題は『わかりません』で大丈夫です。最後までできなくても大丈夫です」

心理士はそう言った。声がやけに優しい。たぶん、緊張してビビってる受検者を山ほど見てきた声だ。

最初は「類似」という課題だった。

「『りんご』と『バナナ』は、どんなところが似ていますか」

俺は「果物です」と答えた。

「『絵画』と『彫刻』は、どんなところが似ていますか」

「両方とも芸術作品で、人間制作するもので、視覚を通して鑑賞される表現形式、という意味で似てます

心理士の手が止まった。一瞬だけ。

これが後でわかったんだが、こういう問題には「採点基準」があって、抽象度の高い回答ほど点が高くつく。「果物」は1点、「植物」は2点、「自然界の生命体」は3点、みたいな構造らしい。

俺はたぶん全部の問題で、聞かれた瞬間に脳が勝手最上位の抽象を引っ張り出した。これは後で結果を見て知ったことだ。本人としては「普通に答えた」だけだった。

次が「積木模様」。

赤と白に塗り分けられたサイコロみたいな積木が9個渡される。心理士が「この絵と同じ模様を作ってください」と図形を提示する。タイマーが鳴る。

最初は4個で簡単。すぐ9個になる。模様が複雑になる。

俺は途中で「あ、これ全部の積木の側面パターンが2種類しかいから、必要な面さえ向ければいい」と気づいた。それからは、図形を見た瞬間に必要な「面」だけ脳内で先にレイアウトして、積木は後から面を合わせるだけになった。

心理士ストップウォッチが、何回か0.5秒くらいで止まった。

俺はその時、自分が褒められてるのか変な目で見られてるのかわからなかった。

そのあと「数唱」というのが来た。

「これから言う数字を、私と同じ順番で繰り返してください」

3-7-2。簡単

8-4-9-1-7-3-2。…7個までは行けた。

「次は、逆の順番で言ってください」

9-6-2-4-8-3-1。逆順。…これが、できなかった。

途中で「あれ、4の前なんだっけ」となって脳がフリーズした。同じ問題を3問続けて落とした。心理士が「次の課題に行きますね」と言った。声色は変わらなかったけど、俺はその瞬間「あ、ここは俺の苦手領域だ」と直感した。

符号」というのが来た。

記号数字対応表が上にあって、下にランダムに並んだ数字の下に、対応する記号を書き写していく。120秒。

これも、できなかった。

正確には、できたけど、遅かった。

俺は5番目くらいで「対応表を覚えれば見なくて済む」と思って、対応表を一回見て覚えようとした。覚えきる前にタイマーガンガン進む。焦って書き写しに戻る。書き写しはできるけど、心が折れてるから手が震える。震えるからケアレスミスが出る。

終わった時、心理士が「お疲れ様でした」と言った。俺は「すいません、これ全然できなかった」と言った。心理士は微笑んで「皆さんそうです」とだけ言った。

休憩を10分挟んで、後半。

行列推理」というのをやった。

4×4くらいのマス目に、ある法則で図形が並んでて、空白の1マスに入る図形を6択から選ぶ。IQテストでよくあるあれだ。

俺はこの課題が、なんというか、楽しかった。

しかったというのは語弊がある。脳の中で、何か正しい場所に正しい部品がカチッとハマる感覚があった。プラモデルで一番小さい部品が、迷ってた手のひらの上から正しい場所に吸い込まれる、あの感覚

全問、考える前に答えが見えていた。

最後は「単語」と「知識」と「理解」だった。

「『遵守』という言葉意味説明してください」「日本首都はどこですか」「人はなぜ法律を守るんでしょうか」

こういうやつ。これも口が勝手に動いた。

特に理解」の問題は、俺の中で勝手映画脚本みたいなのが回り始めて、「法律を守るのは社会契約の維持に必要で、契約を破ることのコスト個人利益を上回る設計になってるから」みたいなことを言った。心理士が「ありがとうございます」とだけ言ってメモを取った。

検査が終わった時、心理士は「お疲れ様でした、結果は2週間後にドクターから説明があります」と言って、ティッシュから1枚抜いて俺に渡した。

俺は何も泣いてなかった。ただ、汗が顎から落ちる寸前だった。

ティッシュ箱の意味、これだったんだなと思った。

2週間後、診察室で結果を聞いた。

医者は紙を1枚机に置いた。レーダーチャートがあって、4本の棒グラフがあって、数字が並んでた。

医者最初一言は、俺が一生忘れない。

あなたIQ132ありますね。…自覚、あります?」

自覚、なかった。

「ない、です」と答えた。

医者は紙を俺の方に向けた。

全検IQ:132。

言語理解(VCI):143。

知覚推理PRI):140。

ワーキングメモリWMI):99。

処理速度(PSI):92

「これね、VCIとPRIだけ見ると上位0.3%です。MENSA基準は楽勝で超えてます。でもね、ワーキングメモリと処理速度が、ほぼ平均ど真ん中。この差が、43ポイントある。これはかなり大きい凸凹です」

医者ボールペンの尻でグラフのへこみを指した。

あなたが感じてた『仕事ができない』は、本当の意味では『できない』じゃないです。あなた言語理解と知覚推理が高すぎて、ワーキングメモリと処理速度が、相対的に追いついてない。本人の中で常に『俺の他の能力が、俺の足を引っ張ってる』状態になってる。これはね、しんどいですよ」

俺は医者言葉を聞きながら、顔の筋肉が固まってくのを感じた。

「自慢ですね、なんかすいません」と俺は言った。

医者は笑った。

「自慢じゃないですよ。自慢じゃない。あなた、たぶん『自分は変だ』って思って生きてきたでしょ。変じゃないんです。ただ、社会の平均的な仕組みが、あなたみたいなプロファイルの人に最適化されてないだけ」

ここからが、書きたかたことだ。

検査結果を聞いた帰りの電車で、俺は新宿駅から自宅最寄りまでの30分間、ずっと自分人生再生してた。

小学校の時、全教科の平均点が異常に高いのに、夏休みの宿題ドリルを毎年8月31日にやってた俺。

中学の時、数学の応用問題10秒で解けるのに、計算問題連続して符号ミスをして100点を取れなかった俺。

高校の時、現代文偏差値75あるのに英単語の暗記がどうしても回らなくて、英語は60を切ってた俺。

大学の時、卒論教授に「お前の文章構造がきれい」と褒められたのに、卒業要件単位を1個落としかけて留年スレスレだった俺。

社会人になって、企画は通るのに事務処理でミスを連発する俺。

全部、つながってた。

俺はずっと、自分のことを「ムラのある人間」だと思ってた。

違った。

俺の頭の中には、競走馬みたいに速い領域と、自転車を後ろ向きに漕ぐみたいな領域が、同居してた。

速い方が「自分の標準」だと思って生きてきたから、遅い方の自分が出てくると「なんで俺、こんなこともできないんだ」と毎回殴られた。

殴ってたのは他人じゃなくて、俺自身の中の、速い方の俺だった。

これが、しんどかった理由だ。

自分の中の優秀な方の自分が、自分の中の平均的な方の自分を、毎日殴り続けてた。

24時間自分DVを受け続けてるのと同じだった。

たとえ話を、もう一個書かせてくれ。

俺の頭は、エンジン2000ccのスポーツカーに、軽自動車タイヤが付いてる状態だった。

エンジンは喜んで吹け上がる。アクセルを踏めばすぐ100キロ出る。

でもタイヤ軽自動車から、コーナーで踏ん張れない。雨が降ると滑る。長時間走ると焼ける。

ドライバー(俺)は、エンジンの音を聞いて「俺の車は走れる」と思って毎回踏み込む

そしてコーナーで毎回横に飛んでいく。

何回も飛んだ。何回も「自分運転が下手だから飛ぶんだ」と思って、運転テクの本を買って勉強した。

違った。タイヤが弱かっただけだった。

タイヤが弱いことを知っただけで、人生ドライブは変わる。

踏み込む場所と踏み込んじゃいけない場所区別がついた。

コーナーでは諦めて減速する。直線で全部取り返す。それでいい、と医者に言われた。

これは「障害があった」って話じゃない。

俺のWMI(99)とPSI92)は、世間的には完全に「平均」だ。一般人と同じ。

ただ、俺の他のスペックが上振れすぎて、平均的な部分が「機能不全」に見えるレベルで足を引っ張ってた、というだけだ。

しろ、平均的な機能を平均的なまま使ってる人のほうが、人生は楽だと思う。

凸凹は、絶対値問題じゃない。差の問題だ。

最後に、検査結果を見て一番ぐっと来たことを書く。

レーダーチャートの紙の右下に、心理士手書きで一文だけメモが入ってた。

「ご自身の得意な領域を活かしつつ、苦手な領域は外部ツールサポートで補うことを推奨します」

外部ツール

俺はこの3文字に、たぶん30秒くらい目が止まった。

「俺の足りない部分は、俺自身で頑張って補わなきゃいけない」と思って34年生きてきた。

違った。

外で補っていい、と国家資格を持った人が文書公認してくれた。

これが、たぶん俺がこの検査を受けた本当の意味だ。

IQが132だったことより、「Excelに任せていい」「カレンダーアプリに任せていい」「同僚の力を借りていい」と、医療として公式許可されたこと。これが効いた。

検査の翌週から、俺は会社メール自動振り分けルール20個追加した。

個人スマホリマインダーアプリを徹底活用した。

会議は全部録音するようにして、議事録文字起こしAIに任せた。

請求書経理に「月末3営業日前にリマインドしてください」と頭を下げて頼んだ。

ミスが、減った。

劇的に減った。当たり前だ。タイヤを4本とも履き替えたんだから

そして、減ったぶんのリソースで、得意な企画の方をもっと深く考えるようになった。

今期、俺の課の売上が部内トップになった。たぶん、IQ132の本領が、初めて発揮された期だ。

これを増田に書いてる理由は、自慢じゃない。

俺と同じように「自分はムラがある」「できる時とできない時の差が大きい」「子供の頃から自分のどこかが壊れてると思ってきた」って人に、たぶんWAIS-IVは効く。

発達障害かどうかを白黒つけるためじゃない。

自分の中の「速い俺」と「遅い俺」を、他人事として眺める視点をくれるから、効く。

検査代は1350円だ。

受けてから2週間で結果が出る。

精神科に行く勇気が要るのは知ってる。俺も予約電話を3回かけ直した。

それでも、行ったほうがいい。

自分自分を殴ってる」状態で生きてる人、世の中に俺が思ってた10はいる気がする。

俺はもう、自分を殴ってない。

速い俺と遅い俺、両方が同じ車に乗ってる。それでいい。

タイヤを履き替えれば、そのスポーツカーは、ちゃんと走るから

追記

IQ132で会社員してるの、もったいなくね?」って言われそうなんで先回りして書く。

全検IQ132って、たぶん同年代の同期100人いたら2〜3人いる程度の数値だ。

日本人の人口で言えば300万人くらいいる。

珍しくない。普通会社にいる。あなたの隣の同僚かもしれない。

レアなのはIQじゃなく、それを「測ってみたかどうか」だ。

測らないまま生きていける人は測らなくていい。

俺みたいに毎日自分を殴ってた人だけ、測ってみてくれ。

数学者が7年悩んだ難問をAIが解いた、とはどういう事か

数学者が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」...と止まってるマスの番号の倍数のマスのどれかに進むか、もしくは双六強制終了する

10」に止まってたら次は「20」「30」「40」「50」...に進むか強制終了するかのどっちかになる

普通双六だったら決まったスタート地点があるけどこの双六ではスタート地点がどのマスなのかはランダムである

このような双六ゲームではマス「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色問題プログラムで力技で解いた時代本質的には変わってないというべきか、

それは人によっては違うんだろう。

2026-05-08

AIを万能で魔法みたいに思ってる男、無理

流石にヤバいでしょ。

だってAIを「なんでも解決してくれる魔法の杖」だと思ってて、その裏にある計算複雑性理論絶望すら知らないって、もうそれ「脳みその半分をクラウドに投げてます」って自己紹介してるのと同じじゃん。

アルゴリズム数学なんだよ。

どんなにニューラルネットワークが深層化しても、背後には厳然たる数学限界がある。

例えば最適化問題

AI万能主義の男は「AIなら最適な答えをすぐ出せる」と信じ込んでる。

でも、現実にはP≠NP予想っていう巨大な壁がある。

NP問題効率的時間で解くアルゴリズムなんて現代数学の誰も見つけてない。

もし巡回セールスマン問題ナップサック問題の真の最適解をAIが瞬時に出せると本気で思ってるなら、それはもう科学じゃなくて宗教

それを全部ディープラーニングがなんとなくそれっぽい答えにまとめてるのを、正解だと思い込んで満足してるのちょっと怖いよ。

もちろんLLMが悪いわけじゃない。TransformerのAttention機構革命的だしツールとして成立してるのは認める。

でもそれって統計的確率で選ばれた「次に来るもっともらしい単語」の羅列であって、そこに知性があるわけじゃないでしょ。

なのにイーロン・マスク発言を切り抜きで読んで「もう人間いらないでしょ」とか、サム・アルトマンインタビュー見て「AGI来るじゃん」とか、雰囲気で語ってるの、ほんと無理。

一度も不完全性定理や停止性問題という限界点を知らないまま、「AIがあれば全知全能になれる」って言うの、雑だよ。

モデルの重み、バイアス、そして勾配消失問題をどう乗り越えてきたか。それを知って初めてああ、AIってここまで綱渡り計算してるんだって分かる。

それすらスキップして「プロンプト叩けば答えが出るじゃん」って。

分かってないよ。全然分かってない。

知性って“出力結果”じゃなくて、その“推論プロセス”の苦悩だから

それを知らないまま「AIで全部解決」って言ってるの、履歴書に「ゲーデル?知らないです」って書いてるのと同じ。

私は絶対、そんな計算の地形を知らないままAIを語る人とは、同じ将来語れない。

anond:20260508160723

「強」の定義について切り捨てという概念があるだの数学的もしくは文学的表現に強い執着を覚えるタイプ増田だと分析している

特定事柄に強い執着を覚えるため元増田関係なくても常人には計りえない熱量レスバする

本文を信じるとそこそこ大きい会社勤めで中堅と読み取ることができ、四捨五入概念ゴミカスな執着増田人物像とは乖離があるというのが俺の分析


俺の増田歴は3年ほどだ

anond:20260508131452

その中で本当の意味での「文系」なんて半分もいないだろ。残りは「数学が出来ない馬鹿」が大量に混ざってるだけ。

2026-05-07

26-05-07

利益率を低く設定した場合シナリオ作成した

製品に関する資料を読んだ

基本文法から学ぶ英語リーディング教本(p.133-136)を読んだ

基本文法から学ぶ英語リーディング教本徹底反復練習(p.110-115)を読んだ

数学1A入門問題精講(p.142-148)を読んだ

詩のこころを読む(p.105-114)を読んだ

2026-05-06

26-05-06

利益率の変更が収支に及ぼす影響を検討した

製品に関する資料を読んだ

基本文法から学ぶ英語リーディング教本徹底反復練習(p.104-109)を読んだ

数学1A入門問題精講(p.138-141)を読んだ

詩のこころを読む(p.100-104)を読んだ

一次関数グラフの最大値最小値の問題

Xの値の間のワイの値のなかで最小最大を求めるとき、大小の符号"<"や">"が使われていると、その数に到達することは永久不可能から、最大最小が出ないって知ってめっちゃ感動した

中学数学

2026-05-05

26-05-05

上司からフィードバックを受けた

製品に関する資料を読んだ

基本文法から学ぶ英語リーディング教本(p.128-132)を読んだ

基本文法から学ぶ英語リーディング教本徹底反復練習(p.96-103)を読んだ

数学1A入門問題精講(p.134-137)を読んだ

詩のこころを読む(p.95-99)を読んだ

先生SPI数学問題、1問1分で解けません!私は頭が悪いのですか?

SPIの本のテキスト、2回解きました!

でもゆっくり解いてたので、実際のテストだと全く時間が足りません!

どうしたらいいですか?

1ヶ月後にテストです!


チャッピー先生のお言葉

テキストを2回解いてるのはええやん!

でもな、SPIスピード勝負やねん!

から次のやり方でやるのがええで!

テキスト(3回目)を1問1分以内に解く

②それができるようになったら、無料アプリや別のテキストをする

ネットなどで模試を受ける

これがええで!

何よりスピードや!

がんばってや!

dorawii@新刊発売(予定)

どうでもいい時事問題の長文書いてる暇あったら岩波講座基礎数学全巻読んでろよ恰好暇つぶしになるぞ。

dorawiiより


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

https://anond.hatelabo.jp/20260505172438# 
-----BEGIN PGP SIGNATURE-----

iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCafmpSAAKCRBwMdsubs4+
SPVvAQC2X9eMXTZQQW14E9/RM+k24UBO/YvIPsvNgtc8yW17TAD+OjJ4c1OVSHkK
UzoGCR4jaJ6jjJRBF9BOm+owPDGFTw0=
=pXjM
-----END PGP SIGNATURE-----

まとまったお金を使うのが苦手

ある程度の年数働いてきて、独身だし結婚する気もないのでお金にはある程度余裕がある。富裕層とはとても言えないが、日常の中で欲しいと思うようなものは買おうと思えば買えるし、高いレストランだって行こうと思えばいつでも行けるだけのお金はある(伝手の有無とかは別として)。

だけど、学生時代にずっと貧乏して来た経験もあってどうも一定額以上のお金を使うことに対する心理的ハードルが高い。大学院まで含めてかなりの年数学生をやっていたので、その間に金銭感覚おかしな方向に向かったらしい。

別に凄く節約しているわけではない。というよりも細かい出費は気にしなくなったせいであまり貯金は出来ない(どころか月ベースでは赤字の時まで)ので、最近になって出費を見直し始めたところだったりする。

それでも毎月積み立て投資はしているし、ボーナスも含めればちゃん黒字にはなっているから、正直お金に関して困っているという事は全くないし、いざ何かあってもしばらくは普通に生きて行けるだけの蓄えはある。

にもかかわらず、一定以上の額を出す際にはやはり躊躇してしまう。その一定ラインというのは・・・もちろん物にもよるが、大体は1万円ぐらいだろうか。

それが本来価値に対してかなり割安でお得だったとして、かつ資金的にも十分に余裕があったとしても、どうしても躊躇して手が伸びなくなってしまう。

別に仮に数万円を失ったって生活に困るなんてことは無い。変な話、いきなり自分銀行口座から5万円が消えていても気が付きもしないと思う。その良し悪しはともかくとして、私の今の財力ならその位でしかないはずなんだ。

なのに能動的に何か物を購入したりサービスを受けたりするのに1万円以上を出すというのは、今の私にとっても凄く心理的な壁がある。

無駄に高いものを買って失敗しないで済むというのは一応メリットとしてあるのだが、ある程度の年齢になってある程度お金も持ったなら、その価値を正しく判断して使えるような大人になるべきだと思う。

そうなれないかいつまでも安物の服を着て安物を身に着けて、ぞんざいに扱って使い捨てて新しいものを買い直している。良いモノを選んで買って大事に使うという感覚が身に付かない。

サービスにしてもそうで、ちょっと良いお店に踏み込むという事が出来ない。夜の街で遊ぶなんてもっての外だ(あんまり興味が無いというのもあるけど)。

こういう金銭感覚って大人たちはどうやって身に着けたのだろうか。今後私はどうすれば身に着けられるのだろうか。

2026-05-04

26-05-04

製品に関する資料を読んだ

変動費の見通しを整理した

基本文法から学ぶ英語リーディング教本(p.123-127)を読んだ

基本文法から学ぶ英語リーディング教本徹底反復練習(p.76-95)を読んだ

数学1A入門問題精講(p.129-133)を読んだ

詩のこころを読む(p.90-94)を読んだ

でもサイゼリヤの話とか聞いてると料理っていうのは料理人の腕とかそういうのより結局コストなんだなって納得する

どうすればおいしいものが出来るか?何ていうのはわかりきっていて、でもそれにはコストが掛かって、それを回収できるかどうかがすべてだ、、、っと。

かなり論理的数学的な発想のもとで料理というのは完結してるんだな、と感心する。

2026-05-03

26-05-03

上司に収支の想定を説明した

製品に関する資料を読んだ

基本文法から学ぶ英語リーディング教本(p.117-122)を読んだ

数学1A入門問題精講(p.125-128)を読んだ

詩のこころを読む(p.86-89)を読んだ

ポリコレのせいで歪められたもの

この前イーロンがXで言ってた「シンプル解決策がポリコレではないために間違った前提をもとに無駄ことをしている」例って具体的には何があるんだろう。女性STEMに行かないのはそもそも数学が嫌いな女性が多いからとか?

数学やりたいんだよおおおう

数学やりたいんだよおおう

ログイン ユーザー登録
ようこそ ゲスト さん