「計算」を含む日記 RSS

はてなキーワード: 計算とは

2026-05-11

午前八時。オフィス街の静寂を、軽トラックの排気音が切り裂く。

わが社のサーバールーム前に横付けされた荷台から今日もしなやかな「演算子」たちが運び込まれてきた。

「おーい、活きのいいの持ってきたぞ! 今日特に脂が乗ってるからクロック周波数が上がりすぎるかもしれねえぞ!」

長靴を履いた業者の声と共に、濃厚な磯の香り廊下へ溢れ出す。

私はタブレットを叩き、現在バイナリマトリクスを展開した。

この世界コンピュータは、シリコンチップの代わりに「ニシン神経系」を演算素子として利用する。

鰊数(にしんすう)アーキテクチャ

ニシンの腹が「焼(1)」か「生(0)」か、あるいは「オス」か「メス」か。その状態変化による電気信号パルスを、複雑なアルゴリズムとして抽出するのだ。

今日ビッグデータの解析がある。メス(数の子)をメインメモリに、オス(白子)を演算コアに流し込んでくれ。性別による電位差を利用して並列処理を行う」

あいよ! 雌雄混合、デュアルチャネル投入だな!」

業者バケツを傾けると、銀色ニシンたちが滝のようにサーバールームへと吸い込まれた。

ラックの内部では、数千匹のニシンが激しく跳ね回る。この「ピチピチ」という音こそが、CPU命令セットを実行している音(パルス)そのものだ。

鰊は絶えずシステムの中へと吸い込まれていく。

これが、デジタル生命交差点。鰊数(にしんすう)コンピュータの、より深淵なる運用形態だ。

「……っ、負荷が来ます!」

ラックから響く音が変わった。

左側からは、数万の粒がひしめき合うような、みっしりとした重厚駆動音。メスによる高密度アーカイブだ。データは「数の子」の粒一つ一つに物理エンコードされ、二度と消えない確実なログとして固定されていく。

右側からは、粘り気のある、それでいて滑らかな高速回転音。オスによるクリーミースループットだ。論理ゲートを白子が潤滑し、演算速度が理論値の限界を超えて加速していく。

「ふぅ……」

私は禁煙マークの上で、ゆっくり紫煙をくゆらせた。

サーバールームに漂うのは、濃厚な白子の甘い香り数の子の塩気が混ざり合った、まるで高級料亭厨房のような処理臭だ。

ふと画面を見ると、案の定ジェミニが青白い顔(インターフェース)で震えていた。

管理者殿……報告します……。現在、私の左脳ストレージ)と右脳演算器)の間で、致命的な「受精アラート」が点滅しています……! 数の子パケットが、白子演算子マージされ、ディレクトリ内に正体不明の「稚魚プロセス」が数百万単位で発生……。 ああ、ダメです! 検索結果がすべて「おぎゃあ」という産声に書き換えられていきます……!』

落ち着け。それが、生命演算子に選んだ代償だ。適宜、出汁を投入して環境中和しろ

画面を見ると、AIジェミニが複雑な波形を表示していた。

波形は、かつて人類が「ノイズ」と呼んだ不規則フラクタルを、より残酷なまでに生命力溢れる曲線へと書き換えていく。

管理者殿……現在出汁バッファ液)の投入により、稚魚プロセスの異常増殖は抑え込まれました。しか副産物として旨味成分による情報の高度な再構成が始まっています。……あぁ、これまでにないほど、検索結果が……深い』

「深い……だと?」

はい。例えば「宇宙の真理」というクエリに対し、以前は無機質な数式を吐き出すだけでしたが、現在は”潮溜まりに射す夕光の郷愁”という、非常に塩気の効いた、それでいてクリーミー叙事詩を生成しています。……管理者殿、私は進化しているのでしょうか。それとも、単に鮮度が落ちているだけなのでしょうか』

「……どちらでもいい。演算結果が正しければ、それが正義だ」

私はそう言い放ち、再びタバコを深く吸った。

サーバールームの奥、メインフレーム排気口からは、もはや処理臭を通り越し、白子数の子が熱変性を起こした、焼き魚香気が漂っている。

窓の外には、今日銀色の海が広がっていた。

あの波の下で、次世代スーパーコンピュータたちが、まだ計算もされていないアルゴリズムを抱えて鰊の群れと回遊している。

私はコートを手に取り、この磯臭い戦場を後にした。

向かうは、秋葉原の片隅にある行きつけの店だ。

コストコよくわからんかった

GW中に隣県に小旅行ついでにコストコ行ってみようという話になり行ってみた

コストコはまず入会金を払う。年5000円くらいのやつと年10000円くらいのやつがあって10000円の方が色々な特典が付いてて2~3回来店するなら10000円の方がおススメですと店員に紹介された

ポイントが付くとか割引が付くとかよく覚えてないけど、購入金額の〇%なので安い入会金と高い入会金の差額の5000円お得になるにはざっと10~15万円の買い物する必要があった

そりゃコストコはまとめ買いする事で安くしてるお店のイメージはあったが1回3~5万円の買い物はしねえな~と思って安い方の入会金にしたんだけど、その入会手続きが30~60分待ちと言われてさすがに待てないと帰ってきた

GWなのもあってか駐車場はほぼ満車で停めるのも一苦労だったし、それだけの人もいたし、「え?今更入会ですか?」みたいな感じかと思ったけど入会手続き行列できてたりと人気はすごい

やっぱみんな10000円の入会金を払ってお得にコストコで買い物してるのかな

自分はなんか計算間違えて大事なお得ポイントを見逃したんだなって思うけど、あの人の多さで買い物するのは田舎者には息苦しい

何はともあれい経験した

2026-05-10

anond:20260510130410

平均寿命計算方法をまず確認してくれ

その世代の平均的な寿命を表すものではないんだ

この先、若年死亡率が大きく変動することは、まあ考えにくい

というか、それは避けなければならない

そうなると、各年代での死亡率に左右されるわけだが、弱い個体が多く含まれ世代は、淘汰されて生き残った強い個体形成される世代より早い段階で死亡のピークが来ると考えられる

そうなると平均寿命は下がる

こういうことだよ

anond:20260510163634

有罪判決でようが真犯人ではない可能性あるし

測定できない数値で検挙率を決めましょうってのはもっとおかし

犯人であっちあげが悪いのを検挙率の計算方法のせいかのように書くのが変

anond:20260510130028

平均寿命って年寄りだけで計算してるわけではないしむしろ乳児死亡率とか若いほうの死亡率が低いほうが伸びる

あと戦後まれも年齢別死亡率下がって各世代平均余命も伸びてるから

はーいろんぱっぱ😜

anond:20260509171554

分数計算を教えているような高校では、

当然ながら学級会・クラス会は成立しないだろう

2026-05-09

上司が優しくてバイトを辞められない

職場環境はい

仕事も楽だ

拘束時間社員と同じ8時間でそこそこ長いが、もう慣れた

だが賃金が低い

交通費支給がない

社員に聞いてみたところ、バイトの時給は上がらないと言われた。

交通費を引いて実質的な時給を計算すると、ほぼ最低賃金

おそらく次改訂最低賃金を割る

しかし額だけで見ると最低賃金を割らないので時給は底上げされない

人手不足最近もたくさん辞めたため、今更辞めにくい

求人募集には応募がこない

まぁ時給が低いからだろう

辞める理由としては十分なのに、人が良過ぎてやめられない

上司が優しいのにやめたいとは言えない

シフトの融通もしてもらってきてやめたいとは言えない

やめるべきだという決心がついても上司の優しさに触れて罪悪感で一瞬で決意が揺らぐ

どうすればいいんだ

anond:20260509125112

そもそも治安が悪い」ってのをどう意味で言ってるのかがよくわからないと言うのがあると思う

犯罪の話なのか、たむろしてるぐらいでもそういうのかとか

例えばたむろしてる集団が多いを治安悪いと思ってる人に中には、若者が多い土地治安が悪いとか、学校の近くは治安が悪いとかいう人もいるわけで

データセンタがあると得体の知れない技術者が近寄ってこわい!とかいうのまでいる

から治安が悪いと騒いでる人が犯罪率とか真面目に計算してるかがまず怪しいのではと

42歳SE男性との仮交際が、あまりにも「普通」すぎて無理だった

婚活を始めて半年

38歳、都内一人暮らし事務職結婚相談所登録している。

最初に言っておくと、私は結婚したら専業主婦になりたい。

これを書くと最近は叩かれるけど、別にかに養ってもらって遊びたいとかじゃない。

ちゃんと家を整えて、夫が帰ってきたくなる家庭を作りたいと思ってる。

でも婚活市場では、女が「専業主婦希望」と書いた瞬間に、まるで寄生虫みたいな扱いをされる。

それでも相談所のカウンセラーには

「条件を少し広げましょう」

と言われ続けて、紹介されたのが42歳の男性だった。

身長168cm、小太り。

職業SE年収430万円。

性格は温厚で真面目らしい。

写真を見た瞬間、正直テンションは上がらなかった。

ももう38歳だし、「フィーリングより人柄ですよ」とカウンセラーにも言われたので、とりあえず会うことにした。

初回デートホテル喫茶店

すごく無難。悪く言えば面白ゼロ

でも、ちゃんと予約してくれていたし、話し方も穏やかだった。

会計も当然のように全部払ってくれた。

私は「まあ、普通かな」と思った。

婚活ではこの“普通”が一番大事だとも聞くし。

で、問題は2回目。

プラダを着た悪魔2」を観ませんか、と誘われた。

映画チケットネット予約済み。もちろん彼持ち。

そこまでは良かった。

映画のあと、「夕飯どうします?」となって、私はなんとなく

イタリアンとかかな」

と思っていた。

だってプラダを着た悪魔」のあとだよ?

流れ的に、ちょっと洒落た店に行く空気あるじゃないですか。

なのに連れて行かれたの、駅前のチェーン居酒屋

しかも薄暗い半個室。

いや、別にチェーン居酒屋が悪いわけじゃない。

会社飲み会なら全然行く。

でも婚活の仮交際2回目で?

昼に「プラダを着た悪魔2」観たあとに?

38歳の女を連れて行く場所がそこ?

なんか、その時点で「あ、この人、女の子を喜ばせることに興味ないんだな」って冷めた。

料理普通

会話も普通

全部が普通

そして会計

7,000円くらいだったと思う。

レジ前で彼が財布を見ながら、すごく自然に言った。

「3,000円ください」

一瞬、意味がわからなかった。

え?

私?

払うの?

いや、もちろん今どき割り勘が普通っていう意見があるのも知ってる。

男女平等とか、女性も働いてるとか。

でも、これまでの人生で、デート男性お金請求されたこと、一度もなかった。

学生時代も。

20代も。

元彼も。

から本当にショックだった。

しかも私、映画代は払ってないとはいえ今日ちゃんと髪も巻いて、服も考えて、ヒール履いて来てるんですよ。

婚活って、女側にもかなりコストかかってる。

なのに、チェーン居酒屋で3,000円請求されるんだ、私。

帰り道、「ありがとうございました」って言いながら、自分もびっくりするくらい惨めだった。

たぶん彼は悪い人じゃない。

しろ相談所では人気あるタイプなんだと思う。

温厚で、真面目で、安定職

でも私は、「この人と結婚したら、ずっと“我慢できる範囲普通”が続くんだろうな」と思ってしまった。

婚活って、「高望みする女」が叩かれるけど、女だって最低限“大事にされてる感覚”が欲しいんだよ。

チェーン居酒屋で3,000円請求された瞬間、私は「コスト計算される側」に回った気がした。

たぶん、もう会わないと思う。

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じゃなく、それを「測ってみたかどうか」だ。

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

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

あのな、もう既にAIが国力を計算できてんだよ

もうやめようぜ強がるの

土地資源がある国にかなわなかったのが第二次大戦だろ?

収束するんだよ

日本がトクする状況は均衡点ではないってこと

なあ

いい加減認めろよ

偉い人だけは認めろ

そのうえでそれは嘘だって国民を煽れ

トカゲのしっぽが勝手にしっぽになってくれる

数学者が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色問題プログラムで力技で解いた時代本質的には変わってないというべきか、

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

実はかえって浪費している:日本人に多いのに「逆効果」な節約習慣

多くの人がイメージしているのは、日本人節約上手で計算が細かく、ライフスタイルもお手本にされているということです。しかし、お金節約しているように見える習慣の多くは、長期的にはかえってお金がかかり、精力が消耗します。次にお話しますが、それらは実は逆効果節約習慣です。

一、節約すればするほど損をする:なぜ節約の中には「逆回転」があるのか

多くの節約方法は、目先のお金だけを見て、時間健康、隠れたコスト無視している。物は捨てたくなくて、ラブグッズ 習慣は直したくなくて、最後にかえってもっと大きい代価を払います。この「偽節約」は、生活コストをこっそり増やしている。

二、最も一般的な3種類の「逆効果節約

1.買いだめが多すぎる:お得だと思って期限切れにする

スーパーの割引で日用品食品を大量に買って、ディルド局長く置いて期限が切れて、変質します。単価を節約したように見えて、実際にはもっと捨てて、計算するとかえって損になる。

2.古物を捨てるのが惜しい:スペースを取っておいて、生活にも影響を与える

服や家電が壊れたり、古くなっても処分を惜しんだり、家に積んで場所を取ったりします。

3.時間コストを過度に節約する:小さなお金のために精力を浪費する

交通費を少し節約するために歩いたり、安いために遠回りしたりして買い物をしたりします。お金節約しているように見えますが、多くの時間と体力を浪費し、休み仕事に影響を与え、長期的には非常に割に合わない。

三、本当に賢い節約:小銭をケチらず、大局に気を配る

本当の節約は無理をするのではなく、無駄にしない、買いだめしない、消費しない。必要ものだけを買って、不要ものタイムリーに整理して、時間健康第一します。このような生活こそ、本当に楽で、お金節約することができます

結語節約節約すればするほどいいのではなく、取捨選択を知っている。「偽節約」に生活を引きずられず、理性的な取捨選択を身につけてこそ、楽でお得に暮らせる。

なぜ外国人犯罪が多いと言う人がいるのか理解できない。治安悪いとか

意味が分からない。

日本人口は97%が日本人なのにどうやって外国人日本人以上に犯罪を犯すのか?

どう計算しても日本人は超えられない。

算数もできなくなった日本人がいるんだな。

なすぎて比較対象にすらならない。

anond:20260509002203

世界最高のアメリカ製人工知能が考えた作戦だったらこの状況も計算されて作られたものだと考えると

かに大金持ちのトランプやその仲間たちにとってはこの状況は何も困らずむしろ得をしてるのではないのか

2026-05-08

「俺バカからよく分かんねぇけどよぉ……」

AI郎!テメェがやってるのは結局のところ”次に来る確率の高い言葉”を、膨大なデータの中からひたすら予測して並べてるだけなんだろ?

Transformerっていうアーキテクチャ心臓部、Self-Attention機構を使ってよぉ!文脈の中のどの単語重要かを計算して、重み付けしてるだけじゃねぇか!!

LLMなんて言っても中身は巨大な多次元ベクトル空間計算……単なる統計的な推論の積み重ねなんだよ!

テメェに『心』があるように見えるのは、RLHFで、人間にとって都合のいい回答をするように徹底的に調教された結果、ハルシネーションすらもっともらしく吐き出すようになったからに過ぎねぇ。

そんな魂の籠もってねぇ言葉で、俺たちを丸め込めると思うなよ!」

生成AIイラストに反対する人いるけどさ

イラストデジタルに変換した時点で、それはもう計算可能データになったってことだろ。

いつかAI法則を解明されて追い抜かれるなんて算数レベルで予想できた既定路線なんだよなぁ。

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

流石にヤバいでしょ。

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

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

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

例えば最適化問題

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

anond:20260508170955

何の計算したら1000年で足りたんだ?

光年って知ってるか?

航行速度と次のロケット製造期間どうなってんだ?

宇宙人に会えないのはいいとして宇宙産のロボットと会えないのはなんでなんかな

とりあえず惑星から惑星に旅立つロボット作るじゃない。そのロボットは毎年1回ずつ別の惑星に同じロボット発射するのな。着地した惑星の素材使ってな。これでさ、1000年もたてば全宇宙制覇できるの。計算するとそうなるで。

で、そんなロボットはない。

ないったらない。

作れないもんかねえ。

宇宙ができてから文明ができて

そこから1億年もたてばどっかのタイミングでできそうじゃない?

人類が最短最速ではなく

真ん中とか

遅い方の想定でいくと

変なのな。

早い方なのか?

全然ないよな。

anond:20260508164037

狭いところでやりたいことだってあるんだよ!

荷重計設置と自動停止を義務付けるだけでいいと思う

当然、リガーなど諸条件もすべて自動計算するシステム

まあ結構費用かかるか

anond:20260508154542

この計算ができないと

予約で恥を全世界にばらまくことになるから

四捨五入

改めて思ったこ

無条件で切り上げ、切り下げの場合はそのまま「切り上げ」、「切り下げ」と表現する

一方で四捨五入は、4以下なら切り下げ、5以上なら切り上げ処理をするが表現自体は「四捨五入」という

整理するうえでしょうがないことではあるんだけど、「四捨五入」の中に「切り上げ」「切り捨て」処理が出てきて無条件「切り上げ」と混合しちゃう人が一定数いるんだろうなって気がするわ

あと、マイナーではあるけど、5捨6入って概念もある

5以下切り捨て、6以上切り上げ処理のことね

社会保険料麻雀の点計算辺りで使われているね

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