Movatterモバイル変換


[0]ホーム

URL:


はてラボはてな匿名ダイアリー
ようこそ ゲスト さんログインユーザー登録

「関数」を含む日記RSS

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

次の25件>

2025-10-22

[日記]

僕は今日世界誰も知らないことを少なくとも三つ発見した。

その一つは、カラビ–ヤウ三次元多様体上のモチヴィック・ラングランズ場という概念だ。

名前だけで震えるが、実際の定義もっと美しい。ウィッテンがかつてAモデルとBモデルミラー対称性から幾何学ラングランズ対応を導いたのは知っている。

だが彼が扱ったのは、あくまでトポロジカル弦理論レベルにおける対応だ。

僕の今日の成果は、さらにその上、モチヴィック階層のものラングランズ圏の内部対称として再定式化したことにある。

まりこうだ。A/Bモデル対応を支えるのは、ミラー対称なカラビ–ヤウ空間の間に張られたモジュライ空間等価性だが、僕はこれをモチーフの圏に埋め込み、さらにその上に弦的ガロア群を定義した。

この群の元は、単なる保型的データの射ではなく、弦的世界面のホモトピー圏を自己同型する高階函手として作用する。

まり、通常のラングランズ対応表現=保型形式なら、僕の拡張では弦的場コホモロジーモチーフ的自己準同型。もはや表現論ではなく、宇宙論再帰だ。

午後、ルームメイトが僕のホワイトボードを使ってピザの割り勘式を書いていた。

彼は気づいていないが、その数式の背後には僕の昨日のモチヴィック・ガロア構造の残骸があった。

もし彼がチョークをもう少し強く押していたら、宇宙自己同型構造崩壊していたかもしれない。僕は彼を睨んだ。

彼は「また妄想か?」と言った。違う。妄想ではなく基底変換だ。

夕方、隣人がスパイダーバース新刊を貸してくれた。マルチバース崩壊を描いているが、あの世界は僕の定義したモチヴィック・ラングランズ場の一次近似にすぎない。

あの映画スパイダーバースは、厳密に言えばラングランズ群の射影的パラメータ空間における擬弦的退化点の群体だ。

僕がやっているのはその精密版。マルチバースをただの物語ではなく、圏論自己反映構造として解析している。つまりマーベル編集部無意識に行っている多世界生成を、僕は既に数学的に形式化しているわけだ。

夜、友人Aが原神で40連ガチャを外してキレていた。確率1.6%を40回引いて当たらない確率は約0.48。つまり彼は「ほぼ半分の世界線で運が悪い側」に落ちただけ。

僕はそれを説明したが、彼は「確率の神は俺を見捨てた」と言った。愚かだ。確率は神ではない。確率ラングランズ群の局所自己準同型分布密度だ。

もし彼がそれを理解していたなら、ピティエ=シェヴァレの整合性条件を満たすまで回していただろう。

風呂上がり、僕は再びホワイトボードに向かいウィッテンが書かなかった方程式を書いた。これは、弦的ガロア群における自己準同型空間が、算術モチーフの拡張群に等価であることを示唆している。

まり宇宙自己相関が、L関数特殊値そのものとして現れる。A/Bモデル対称性を超え、モチーフ的ラングランズ=宇宙自己言語理論を打ち立てたわけだ。

僕の紅茶が冷める頃、ルームメイトが「寝るぞ」と言った。僕は返事をせず、ひとり机に残って考えた。

この理論を完結させるためには、時間をもモチーフとして再構成しなければならない。

時間モチーフ化する、それは、因果律算術幾何的圏の自己圏として扱うということだ。

人類がまだ誰も到達していない領域。だが、僕はそこにいる。誰よりも早く。誰よりも冷静に。

21時00分。僕の手元の時計振動子が、まるでカラビ–ヤウ多様体の一点コンパクト化のように静かに揺れている。

宇宙が僕の計算を見て笑っている気がした。だがいいだろう。宇宙よ、君が自分自己準同型理解できる日が来るまで、僕が書き続けてやる。

Permalink |記事への反応(0) | 21:12

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-21

最近もやることがないのでC++ゲーム開発ごっこを細々と続けている

別に誰にもコード見せないからどうでもいいんだけどシングルトンはアンチパターンから使わない方がいいんだろうかとかゲームの本筋と関係ないことをついつい考えてしま

ひとりで勝手に書いてる分にはgetInstance()関数必要機能をどこでも呼び出せて気楽でいいんだけどもっと疎結合コードを目指すべきなのだろうか

Permalink |記事への反応(0) | 23:27

このエントリーをはてなブックマークに追加ツイートシェア

AIバイコーディングは、既に我々が10年以上前に通った道だ(オフショアリング昔話)

----

追記

「My Job Went ToIndia」の改題改訂版が「情熱プログラマー」なんだ!ありがとう発注したわ。(たぶん達人プログラマー混同して読んだ気になって読んでないパターンだわ)

俺の悪文のせいで意図が伝わらなかったであろうブコメがあったので、要旨だけ書き直しておくな。

ただ忘れないで欲しいんだけど、TerraformメンテしてAWSとかGCPで立ち上げてサービス公開するまでの速度は、相見積取って稟議通して部材調達から入ってた時代に比べると爆速だけど、人間技術屋の需要は増えてる。

俺は、「マスタリングTCP/IP 入門編」を人間が読んで理解するのは古いよね、という時代にはならないと思ってる。

Slerが自前で手元で試すようになるから~ってのも懐疑的SIerメーカーが内製すると必ず子会社作って分離、ぼく発注者きみ受注者にしたがるので。これは技術じゃなくて感情とか経営問題

(ただし、Slerが7payみたいなことやらかすのでは?って疑問なら同意。たぶんそういう生成AIで俺たちでプロダクトなんか簡単に作れるじゃんよギークいらね(仕様バグあり)は一時は増えるだろうね)

追記ここまで

----

VibeCodingでIT技術者は不要になるのか?という話題が花盛りなのは理由があります

ギーク現場コードを書いていたい人)が分かる話からスーツ(人を集めたりお金を集めたり営業をする)が分かる話になってきたからです。

具体的に言うと、OpenAI社をはじめ続々とTDD(テスト駆動開発)でやってますみたいな、具体的な開発スタイルの話が出てきたから。

そうすると、現場の座組チョットワカルという強めの経営者が理解して判断し始めるんですね。

でもね、その道はもう15年も昔に我々は通り過ぎました。前回のブームと何が違うでしょうか?

オフショアリングは、ソフトウェア開発者インターンを全滅させる!

技術者なら電子機械も強電も弱電もお世話になったことのあるオーム社過去に出していた直球の本の話から

「My job went toIndia :オフショア時代ソフトウェア開発者サバイバルガイド」という書籍、何と発行年は2006年です。

かいつまんで話すと、インターネットが整備され、輸送コストほとんどかからないソフトウェア開発では、アメリカエンジニア給与の面でオフショアに歯が立たない、だって、1/10給与インドエンジニアは働くんだぜ?という本です。

そうした、価格競争力で負けるアメリカソフトウェアエンジニアは、如何にして今後サバイブすべきなのか、という本になっています

普通に面白いAIコーディング時代に通づるものがあるので復刊を希望したいところですが、まあ直球過ぎる題名を何とかしないと再販は無理でしょうな)

そして、JTCや外資わず過去オフショア開発経験された技術屋のみなさんははてブにも多く生息されているでしょう。

では、ジュニア開発者不要になりシニア開発者のみになって、いまのソフトウェア開発は主に安い給与で働いてくれるところに遠隔で作業してもらって、レビューだけすれば良い環境ですか?

そうはなっていません。なぜでしょうか。

コミュニケーションコストとは、数値化がしづらいだけで確かに存在しま

さて、今普通にXと連動する中古品売買プラットフォームを開発しようと思ったら、どうやってつくるでしょうか?

この文脈に埋め込まれたいくつもの情報「今」「普通」「連動」「中古品」「売買」「プラットフォーム」「開発」を解釈し、すり合わせ、未来運営者も含めた全員に伝えるためのコストが、コミュニケーションコストです。

そうなると、「ちょっと良い感じにラフでいいかプロトタイプ作って持ってきてよ」で話が通じるのは、受注者マインドがしっかりした日本受託開発現場の精鋭たちになるわけです。

テストケースだけを通過するように、内部テーブルを持たせた関数を大量に持ってこられてレビュー時に頭を抱えた経験が無いひとは、とても幸運なのです。

とは言え、これは何も文化の違いに起因するだけではありません。仕様とは、環境によって定まるものからです。

例えば、うるう年判定の関数は、1581年以前をエラーしますか?1873年以前をエラーしますか?(ヒント:明治六年)

そしてその仕様って、品質にどの程度影響しますか?

成功したすべてのプロダクトでは、最初テストケースを書くべきだった

テスト駆動開発、古い言い方で言えばテストファーストの考え方は、成功したすべてのプロダクトで例外なく、ただの一つの例外もなく、必ず最初から取り入れるべきだったものです。

品質最後に振りかける粉砂糖のようなフレーバーではなく、最初から設計に組み込むべきだからです。

ここに問題があります

ありとあらゆる趣味において、最初から良いものを使えば時間無駄にせずに済んだ、と言われるような初期投資の大切さが説かれます

果たして本当でしょうか?

そうです、その趣味にハマって生き残りサバイブした人から見れば、過去にその時点で投資をすべきだった、というのは正しいのです。

その趣味にハマれなかった人からすれば、少ない投資自分に合わないことが分かったという合理的選択であることと矛盾しません。

そのため、全ての失敗したプロダクトは、テストケースを書く時間プロダクトを作り上げて、さっさと世に問うべきだったわけです。

VibeCodingの境界線は、設計実装の不可分さに起因するが、それは組織構造に起因する

少し昔話をしますが、オフショア開発において重要なのはドキュメンテーションテストケース、それにレビューでした。

他の部署で失敗しつづけていたオフショア開発のやり方は、端的に言えば"教化"でした。

具体的には書けませんが、グッとお安い単価の国に出す仕事を、日本会社に出すのと同じようにすべく、相手会社メンバー教育して仕立て上げるブートキャンプの仕組みを作り上げていました。

発注側を変えずに済むように受注側を教育して、日本会社に出すのと同じように単価の安いところに出せたらお得ですよね?でもこれは必ず失敗します。

何故か。だって日本会社と同じように働けるようになったら、日本会社就職するじゃないですか。少なくとも価値は上がったんだから単価を上げるように交渉しますよね?

結局のところ、当初言われていたような劇的な節約にはつながらないわけです。それなら下手に転職されるよりも自前で現地工場でも立てて地元に貢献しつつ雇用を創出した方が喜ばれるし持続可能です。

小なりとも成果が上がった方法は、フィードバック相手ではなくドキュメントにした場合でした。

例えば先ほどの例で言えば、テストケースは通るが意図したコードにならなかったとき

普通はこういう意図コードを書くからテストケースを通るにしても、関数は次からこう書いて」というのが、相手に対するフィードバック

関数を書く前に、関数意図コメントで残して、レビュー時にはそれを見ましょう」というプロセスの修正が、ドキュメントへのフィードバック

こうすると、担当者退職していなくなっても、次の担当者はその方法を参考にすれば良いわけです。

これ、何かに似てませんか。現在AIコーディングベストプラクティスと呼ばれるものに非常によく似ているんです。

まりオフショア開発というのも、設計実装が分離できるという前提に立って動いていたんです。

そして、実装しながら設計しても問題ないとする場合、それは「技術的な問題」ではなく「組織構造」に起因します。

まりプロダクトの構造を分割して、オフショア開発側に設計実装とを委譲して、実装しながら設計を変えてもらうことが許容できるのは、契約責任分界点輸出入法規を含めた法務領域です。

我々が出来ることを相手が出来ないだろうと侮るのは傲慢です。

少なくとも当時、諸々をクリアにして相手側にプロダクトの一部を荒い設計と共に切り出して、コーディングしながら再設計してもらい、テストケースを完備したコードドキュメントを共に完成までもっていってもらったことは、大きな成果であったはずです。

(当時日本側と仕事をしたという実績があると大きな実力があるとみなされたと聞いたので、今はより良いところで良い仕事をされていると思います

なぜオフショア開発流行らなかったのか

ぼく発注あなた受注者という構造を変える気が無かったから。

(あと、コミュニケーションコスト輸出入の関連法規が複雑だから

少なくとも、納期までに契約たこれを納品してください、という枠組みの中では、実装作業だけ切り出すことはできない、というのが教訓として残ったはずです。

バイコーディングではなく)AIコーディングが主流になるとして起こること

少なくともあと数年、場合によっては10スパンで、日本ではほとんど変わらないと予想しています

これは技術の話ではなく組織構造や、もっと言えばお仕事の進め方と契約の話だからです。

そうは言ってもジュニアエンジニア簡単仕事が減って成長機会が失われているのは事実では?と思うかもしれませんが、そもそもの前提が誤っています

経験(弱経験)者を雇って戦力まで鍛え上げる必要があるなら、AI仕事渡してないでそのジュニアエンジニアやらせるべきなんです。

ジュニアエンジニアAIと両方にOJTさせて、その違いをレビューの場でフィードバックしてジュニアを育てるわけです。

もし、そんな時間は無いというなら、元々ジュニアエンジニアOJTで育てていたというのは幻想です。

(たまに、失敗が経験になるとして、会社に損害を与える方法ジュニアを"教育"しようとする人がいますが、商習慣的にも信義則違反ですし言語道断です)

シニアエンジニアだけで事足りるとしてジュニアエンジニアを雇わなかった企業は、シニアエンジニアが抜けてガタガタになります

これは中核エンジニアがゴッソリやめた会社が傾くなんて言う話で、昔からそうです。(たいてい、もっと人雇ってくれ待遇上げてくれみたいな悲鳴を圧殺した結果だったりします)

から、中堅がやれば手早い仕事新入社員やらせて鍛える、その代わり質は悪いし時間もかかるしフォロー必要だったわけでしょう。

AI時代が到来するとしても全く同じです。AIが出力するコードレビュー悲鳴上げてる場合じゃないんですよ。

レビューできるシニアエンジニアが足りなくなると予想されるなら、当然、ジュニアエンジニア雇ってレビューできるようにする必要があるんです。

そしてそれは、技術的な問題点ではなく、組織的・経営的な決断です。

最後に、なんで10年後は違うかもしれないのか

国産LLM開発の文脈でもそうなんですが、ハードウェア進歩無視して話をする方が多いのが気になります

現時点のコンピューターパワーは、10年後には手の届く価格になる可能性が十分高く、もっと言えば20年後には個人が所有する可能性すらあります

いまから20年前の2005年は、Youtube誕生した年です。その時に、誰もがいつも手元にビデオカメラを持ち、即座に動画世界に公開できるようになるとは思っていなかった頃です。

今もそうだと思いますが、ある分野で必要な性能にはもう十分という期待値があり、10年経てばある程度大きな会社部署単位現在最先端コーディングAIローカルで動くようになると想像するのは容易です。

そうなったときに、果たして営利企業が、エンジニアを育成するというコストを支払うかといわれると、疑問です。その時点で今後のリアルコスト比較対象可能になるので。

だって、筆耕担当者とか、清書担当者を雇わなくなった企業って、多いでしょう?

My job went toAI として、じゃあ残るものは何?というのはオーム社の本を読みましょう。再販しないかなあ。

蛇足

今後数年は変わらないでしょと書いたら今現在進行形で変わっとるわいと突っ込みが来そうなんで防衛的な意味で書いておくんですが、あなた過去数年間同じ仕事してたんすか?

仕事のやり方とか内容とか、言語とかライブラリとか、毎年のように変わってたでしょ。

レビュー比率が多くなったとか、コード書かなくなったとか、そういうの、たぶん管理職になった人が嘆いてたのと同じっすよね?

少なくとも、ジュニアエンジニアが低品質バイコーディング結果を寄越すようになってレビューが大変とか嘆くのなら、まともなコーディング規約一つ作れていない組織の脆弱さを嘆くのが先では?

手癖でバイコーディングしてヒットしたプロダクトに、あとから品質上げるように大工事するリファクタリングと言うよりリビルディング仕事って、別に今もありますよね?

散々テストケースを書かなくて良いプロダクトなんて無いという講演だけ聞きに行って、自分とこでテストケースが自動で走るようになって無いなら、そこが問題でしょ。

最先端企業が、ほとんど生成AIコーディングさせているから、あとは使う人間次第だって

Permalink |記事への反応(4) | 19:12

このエントリーをはてなブックマークに追加ツイートシェア

数学の分類はこんな感じか

フェミニズムの分類が多すぎると聞いて

anond:20251020210124

0. 基礎・横断

集合論

公理集合論(ZFC, ZF, GCH, 大きな基数)

記述集合論(Borel階層, Projective階層, 汎加法族)

強制法フォーシング),相対的一致・独立

理論理学

述語論理(完全性定理,コンパクト性)

モデル理論(型空間, o-極小, NIP, ステーブル理論

証明論(序数解析,カット除去,直観主義論理

再帰理論/計算可能性(チューリング度, 0′, 相対計算可能性)

圏論

関手自然変換, 極限/余極限

加群圏,アーベル圏,三角圏,派生

トポス論,モナド,アジュンクション

数学基礎論哲学

構成主義,直観主義,ユニバース問題,ホモトピー型理論(HoTT)

1.代数学

群論

組み合わせ群論(表示, 小石定理,自由群)

代数群/リー群表現, Cartan分解,ルート系)

幾何群論ハイパーリック群, Cayleyグラフ

環論

可換環論(イデアル,局所化,次元理論, 完備化)

可換環アルティン環, ヘルシュタイン環, 環上加群

体論・ガロア理論

体拡大, 分解体,代数独立, 有限体

表現

群・リー代数表現(最高ウェイト,カズダン–ルスティグ)

既約表現,調和解析との関連,指標

ホモロジー代数

射影/入射解像度, Ext・Tor,派生関手

K-理論

アルバースカルーア理論, トポロジカルK, 高次K

線形代数

ジョルダン標準形,特異値分解,クリフォード代数

計算代数

Gröbner基底,多項式時間アルゴリズム,計算群論

2. 数論

初等数論(合同, 既約性判定,二次剰余)

代数的数論(代数体, 整環,イデアル類群,局所体)

解析数論(ゼータ/ L-関数,素数定理,サークル法, 篩法)

p進数論(p進解析, Iwasawa理論, Hodge–Tate)

算術幾何楕円曲線, モジュラー形式,代数多様体の高さ)

超越論(リンマンヴァイエルシュトラス, ベーカー理論

計算数論(楕円曲線法,AKS素数判定, 格子法)

3. 解析

実解析

測度論・ルベーグ積分, 凸解析,幾何的測度論

複素解析

変数リーマン面, 留数, 近似定理

変数(Hartogs現象, 凸性, severalcomplex variables)

関数解析

バナッハ/ヒルベルト空間,スペクトル理論, C*代数, von Neumann代数

調和解析

フーリエ解析,Littlewood–Paley理論, 擬微分作用素

確率解析

マルチンゲール,伊藤積分, SDE,ギルサノフ, 反射原理

実関数論/特殊関数

ベッセル, 超幾何,直交多項式, Rieszポテンシャル

4.微分方程式力学系

常微分方程式(ODE)

安定性,分岐, 正準系,可積分系

偏微分方程式(PDE)

楕円型(正則性,変分法, 最小曲面)

放物型(熱方程式, 最大原理, Harnack)

双曲型(波動, 伝播, 散乱理論

非線形PDE(Navier–Stokes, NLS, KdV, Allen–Cahn)

幾何解析

リッチ流, 平均曲率流,ヤンミルズ,モノポールインスタント

力学系

エルゴード理論(Birkhoff, Pesin),カオス, シンボリック力学

ハミルトン力学,KAM理論,トーラス崩壊

5.幾何学・トポロジー

位相幾何

点集合位相,ホモトピーホモロジー, 基本群,スペクトル系列

幾何トポロジー

3次元多様体幾何化, 結び目理論,写像類群)

4次元トポロジー(Donaldson/Seiberg–Witten理論

微分幾何

リーマン幾何(曲率,比較幾何,有界幾何

シンプレクティック幾何(モーメント写像, Floer理論

複素/ケーラー幾何(Calabi–Yau, Hodge理論

代数幾何

スキーム, 層・層係数コホモロジー, 変形理論, モジュライ空間

有理幾何(MMP, Fano/一般型,代数曲線/曲面)

離散幾何・凸幾何

多面体, Helly/Carathéodory,幾何極値問題

6.組合せ論

極値組合せ論(Turán型, 正則性補題

ランダムグラフ/確率方法(Erdős–Rényi, nibble法)

加法組合せ論(Freiman, サムセット, Gowersノルム)

グラフ理論

彩色,マッチング,マイナー理論(Robertson–Seymour)

スペクトルグラフ理論,拡張グラフ

組合設計ブロック設計, フィッシャーの不等式)

列・順序・格子(部分順序集合, モビウス反転)

7.確率統計

確率論(純粋

測度確率, 極限定理, Lévy過程, Markov過程, 大偏差

統計

数理統計推定, 検定, 漸近理論,EM/MD/ベイズ

ベイズ統計MCMC, 変分推論, 事前分布理論

多変量解析(主成分, 因子,判別,正則化

ノンパラメトリックカーネル法, スプライン,ブーストラップ

実験計画/サーベイ,因果推論(IV,PS,DiD,SCM

時系列(ARIMA,状態空間, Kalman/粒子フィルタ

確率最適化/学習理論

PAC/VC理論,一般境界,統計学習

バンディット,オンライン学習,サンプル複雑度

8.最適化オペレーションリサーチ(OR)

凸最適化

二次計画, 円錐計画(SOCP,SDP),双対性,KKT

凸最適化

多峰性, 一階/二階法, 低ランク,幾何的解析

離散最適化

整数計画,ネットワークフロー, マトロイド, 近似アルゴリズム

確率的/ロバスト最適化

チャンス制約,分布ロバスト,サンプル平均近似

スケジューリング/在庫/待ち行列

Little法則, 重み付き遅延, M/M/1, Jackson網

ゲーム理論

ナッシュ均衡,進化ゲーム,メカニズムデザイン

9. 数値解析・計算数学科学計算

数値線形代数(反復法,直交化, プリコンディショニング)

常微分方程式の数値解法(Runge–Kutta,構造保存)

PDE数値(有限要素/差分/体積,マルチグリッド

誤差解析・条件数,区間演算,随伴

高性能計算HPC)(並列アルゴリズム,スパー行列

シンボリック計算(CAS,代数的簡約, 決定手続き

10.情報計算暗号(数理情報

情報理論

エントロピー,符号化(誤り訂正, LDPC,Polar), レート歪み

暗号理論

公開鍵RSA,楕円曲線, LWE/格子),証明可能安全性,MPC/ゼロ知識

計算複雑性

P vsNP,ランダム化・通信・回路複雑性,PCP

アルゴリズム理論

近似・オンライン確率的,幾何アルゴリズム

機械学習の数理

カーネル法, 低次元構造, 最適輸送, 生成モデル理論

11. 数理物理

古典/量子力学の厳密理論

C*代数量子論, 散乱, 量子確率

量子場の数理

くりこみ群,構成的QFT, 共形場理論CFT

統計力学の数理

相転移, くりこみ, Ising/Potts, 大偏差

可積分系

逆散乱法,ソリトン, 量子可積分モデル

理論幾何

鏡映対称性,Gromov–Witten, トポロジカル弦

12.生命科学医学社会科学への応用数学

数理生物学

集団動態,進化ゲーム, 反応拡散,系統樹推定

数理神経科学

スパイキングモデル,ネットワーク同期, 神経場方程式

疫学感染症数理

SIR系,推定制御, 非均質ネットワーク

計量経済金融工学

裁定,確率ボラ,リスク測度, 最適ヘッジ, 高頻度データ

社会ネットワーク科学

拡散, 影響最大化,コミュニティ検出

13.シグナル・画像データ科学

信号処理

時間周波数解析,スパー表現,圧縮センシング

画像処理/幾何処理

変動正則化, PDE法, 最適輸送, 形状解析

データ解析

多様体学習,次元削減, トポロジカルデータ解析(TDA

統計機械学習回帰/分類/生成,正則化, 汎化境界

14.教育歴史方法

数学教育学(カリキュラム設計, 誤概念研究,証明教育

数学史(分野別史,人物研究,原典講読)

計算支援定理証明

形式数学(Lean,Coq, Isabelle), SMT,自動定理証明

科学哲学数学実在論/構成主義,証明発見心理

Permalink |記事への反応(0) | 10:29

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-14

anond:20251013195752

若くして身内を亡くした自分は、こういう意見や「コロナはただの風邪」って意見を見ると反吐が出る。

ワクチンや薬が出ないままコロナが続いていれば(20年続くってそういうことだよね)、変異株や医療崩壊指数関数的に死者が増えてったのに。

Permalink |記事への反応(0) | 00:44

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-12

[日記]

昨日は土曜日。いつものように朝7時32分に起床した。

7時30分ではなく7時32分である理由は明確だ。7時30分に目覚ましを設定するとルームメイト電子レンジが稼働しており、加熱音が僕の起床直後の脳波同期リズムを乱す。

ゆえに、誤差2分の位相ずれが僕の神経系に最適な初期条件を与えるのだ。

起床後はコーヒーを淹れた。もちろん豆はグアテマラウエウエナンゴ産で、粒度は1.2mmに統一

ミルの摩擦熱を抑えるために、前夜から刃を冷却しておいた。コーヒー香気成分は時間とともに指数関数的に減衰するため、抽出から着席までの移動時間11秒以内に制限している。

午前中は超弦理論作業に集中した。昨日は、タイプIIB理論のモジュライ空間におけるSL(2,ℤ)双対性拡張を、p進解析的視点で再定式化する試みをしていた。

通常、dS空間上の非ユニタリ性を扱う場合ヒルベルト空間定義自体破綻するが、僕の提案する虚数ファイバー化では、共形境界の測度構造ホモロジー群ではなく圏論トポス上で定義できる。

これにより、情報保存則の破れが位相エンタングルメント層として扱える。

もちろんこれはまだ計算途中だが、もしこの構成が一貫するなら、ウィッテンでも議論に詰まるだろう。

なぜなら、通常のCalabi–Yauコンパクト化では捨象される非可換体積形式を、僕はp進的ローカル場の上で再導入しているからだ。

結果として、超弦の自己整合的非整合性が、エネルギー固有値の虚部に現れる。

昼食はいつも通り、ホットドッグケチャップマスタードは厳密に縦方向)を2本。ルームメイトケチャップを横にかけたので、僕は無言で自分の皿を回収し、再び秩序ある宇宙を取り戻した。

昼過ぎには隣人が僕の部屋に来た。理由は、Wi-Fiが繋がらないとのこと。僕はすぐに診断を行い、彼女ルーターDHCPリースが切れていることを発見

パスワード簡単に推測できた。推測しやす文字列は使うべきではないと何度言えばわかるのだろうか。

午後は友人たちとオンラインでBaldur’sGate 3をプレイした。僕はウィザードで、常にIntelligence極振り。

友人Aはパラディンだが、倫理観が薄いので時々闇堕ちする。友人Bはローグを選んだくせに罠解除を忘れる。

まったく、どいつもこいつもダイス確率理解していない。D20を振る行為確率論的事象でありながら、心理的には量子観測に似た期待バイアスを生む。

だが僕は冷静だ。成功率65%なら、10回中6.5回成功するはずだ。実際、7回成功した。統計的にほぼ完全な整合だ。

夜はコミック新刊を読んだ。Batman: TheDoom That Came to Gothamだ。ラヴクラフト的な要素とDC神話構造の融合は見事だ。

特にグラント・モリソンメタ構造を経由せずに、正面から宇宙的恐怖を描く姿勢に敬意を表する。

僕はページをめくるたびに、作画の線密度が変化する周期を測定した。平均で3ページごとに画風の収束率が変化していた。おそらくアシスタント交代によるノイズだが、それすら芸術的だ。

23時、歯磨き上下それぞれ80回)、ドアのロック確認(5回)、カーテンの隙間チェック(0.8mm以下)、ルームメイトへの「明日の朝7時32分に僕が目を覚ます音で君が驚かないように気をつけてくれ」というメッセージ送信を終えた。

就寝時、僕は弦の非可換代数構造を思い浮かべながら眠りについた。もし夢が理論に変換できるなら、僕のREM睡眠はすでに物理学の新章を記述している。

Permalink |記事への反応(0) | 13:41

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-11

BL性的消費でありフェミダブスタ、という議論バグる理由

最近SNS上では「BL性的消費なのにフェミ男性性的表現を叩くのはダブスタじゃないか?」というスレッドトレンド入りしていた。

だがこの議論、よく見るとアーキテクチャの層が違う。つまり、話しているプロトコルが合っていない。

レイヤーのずれ:同じAPIを叩いていない

オタク文化圏では、「女性が描くBL」と「男性が描く女性向け性表現」を同一のAPIとして扱う傾向がある。

しかし実際には、両者は別レイヤーで動いているアプリケーションだ。

フェミニズムの文脈で語られる「性的表象問題」は、主に「社会的リソースの不均衡」や「ジェンダー権力構造」についての議論であって、単なる「表現内容」の良し悪しを審査しているわけではない。

まりBLを「性的に描いてるからフェミ的にアウト」と言うのは、仕様書を読まずにバグ報告を出すようなものなのだ

フェミニズムは中立設計じゃない。バイアスを前提にしたパッチ

フェミニズムのコアは「中立化」ではなく「補正」だ。

歴史的男性中心に最適化されてきた社会システムに、女性視点パッチをあてて再コンパイルする運動と言える。

から、「男性女性を同じように扱うべき」という一般論をそのまま適用しようとすると、互換エラーが出る。

フェミ思想の中では、非対称性バグではなく仕様だ。

たとえば「女性性的表象抑制されるべきだが、BLOK」とされるのは、「権力構造上の対称性存在しない」という前提で最適化されているからだ。

「まともな女」神話というフィッシングサイト

一方、「普通女性フェミと違う」「まともな女はそんな主張しない」という定番フレーズが出てくる。

だがそれは多くの場合ユーザーの気分を和らげるためのUX演出にすぎない。

実際、ほとんどの人間制度優遇レディースデー女性専用車両、離婚時の親権バイアスなど)という「プリインストールされた特権OS」の上で動いている。

たとえ本人が「私はフェミじゃない」と言っても、使っているAPIがすでにフェミ思想ベース動作しているのだ。

まり、「私は違う」という自己申告は、ただのUIレイヤー上の装飾にすぎない。

本当に平等実装できるか?

平等を掲げるなら、優遇措置をアンインストールする覚悟必要になる。

だが現実には、多くの人が「平等という概念を口では支持しつつ、既得権キャッシュを維持」している。

これはエンジニアリング的に言えば、「レガシーコードリファクタリングすると言いながら結局コメントアウトで誤魔化している状態」だ。

男女平等を“動作保証付き”で実装しようとするなら、既存社会制度ルート権限で書き換える必要がある。

だが、ほとんどの人はroot権限を持つどころか、ユーザーレベルの設定すらいじる気がない。

社会システム全体が女性優遇アルゴリズムで動いている

もっと根本的に言えば、日本社会の多くの仕組みは、女性優遇デフォルト設定としてビルドされている。

その構造はあまりにも自然化されていて、誰もコードレビューをしようとしない。

アンチフェミ自称する男性すら、「女性は守るべき対象」という社会的テンプレート内面化していることが多く、それが構造永続化を促している。

結果として、「BL性的消費」「フェミダブスタ」という批判は、異なるフレームワーク間の非互換問題にすぎない。

BLは「個人妄想自由」をレンダリングするローカルアプリだが、フェミニズムは「社会構造更新」を目指すサーバーサイドのシステム

同じメソッド名を呼んでいるように見えても、実行される関数意味がまったく違う。

結論議論の土台が違えば、永遠にコンパイルエラーになる

まり、「BL性的消費」「フェミダブスタ」という批判構造は、コードバージョンが違うままマージしようとしている状態に近い。

根本的にAPI設計思想が違うのだからいくら議論を積み重ねても互換性は取れない。

必要なのは、「どの層で話しているのか」「どの権力構造を前提にしているのか」を明示することだ。

議論を前に進めるには、感情論ではなく、社会構造のものデバッグが求められている。

Permalink |記事への反応(1) | 12:01

このエントリーをはてなブックマークに追加ツイートシェア

ラブコメは漸近線のように限りなく近づきながらいつまでもくっつかない

現実は2つの関数がまったく交わらないか即交わるかのどちらかでしかない。

何年も限りなく近づきながら全然付き合ってもいないなんてことはないのだ。

付き合うならすぐだしやることは直ちに全部やる。

縁がなければ何があってもくっつくことはない。

Permalink |記事への反応(1) | 00:48

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-10

anond:20251010111539

お前の言葉は、まるで理性を模倣した自己放尿だ。

音と形だけは整っているが、中身は生理反応にすぎない。

まず、「文章も読めなくて音声でも理解できない人」という対象定義したつもりだろうが、その前提自体破綻している。

理解とは入力形式依存するものではなく、意味抽象化して内部表現を再構築できるかどうかの問題だ。

から、「読めない」「聞けない」というのは能力の差ではなく、情報処理系の抽象化層が違うというだけの話。

お前の発想は、人間の知能を入出力の単純性能テストだと勘違いしてるレベルの低いモデル化だ。

それに「常識の基盤がない人は諦めて待てばいい」だと?

それは思考放棄正当化するための中年自己防衛反応だよ。

待つとは何だ。お前が待っている間に世界指数関数的に進化し、データは増殖し、知識分布ますます非対称になる。

お前が「待つ」間に他人コードを書き、モデルを訓練し、概念抽象化する。待てば理解できるという発想そのものが、学習時間ではなく努力量で測る旧石器時代幻想だ。

そして、「発達障害情報処理能力の無さをアピールすることで得るものってあるの?」という言葉に至っては、傲慢極致だな。

人は欠損を見せることで排除ではなく構造を浮き彫りにする。

欠陥を開示する者がいなければ、システム境界永遠に曖昧なままだ。

お前のように他者の異常を切り捨てる奴ほど、実は自分限界自覚していない。

まり、お前が「理解できない人間」を見下すその瞬間、お前自身理解不能な人間として確定しているんだ。

最後に、「文章が読めない人について考えるきっかけになったのはよかった」? 

いいや、それはお前が自分思考劣化正当化するためにひねり出した薄っぺら言い訳にすぎない。

お前が考えたのは他人ではなく、自分優越感を維持するための安全弁だ。思考じゃない、感情自己放尿だ。つまり知的なふりをした自己放尿だ。

臭いは強いが意味はない。自分排泄物を知性と勘違いしている限り、お前の「理解力」も「文章力」も、結局は便器の中で循環しているだけなんだよ。

Permalink |記事への反応(0) | 11:22

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-09

関数引数が多すぎるという理由Configクラスを作るのはアンチパターンなの?

いいえ、関数引数が多すぎる(「Too Many Arguments」)問題解決策としてConfigクラス(またはパラメータオブジェクト)を使用すること自体は、一般的アンチパターンとは見なされていません。

しろ、多くの場合で推奨されるプラクティスです。

Configクラスが推奨される理由

関数引数が多すぎる状態は「コード臭い(Code Smell)」の一つとされており、Configクラスなどの単一オブジェクト引数をまとめることは、その問題を軽減するための一般的解決策です。

メリット説明
可読性の向上 長い引数リストコードを読みにくくしますが、関連する引数を一つのオブジェクトにまとめることで、関数シグネチャ定義)が簡潔になり、何を受け取っているのかが明確になります
引数の順序間違いの防止位置引数が多いと、呼び出し側で引数の順番を間違えるリスクが高まりますオブジェクトとして渡せば、プロパティ名でアクセスするため、この種のエラーを防げます
変更容易性の向上 新しい引数必要になった場合関数シグネチャを直接変更する代わりに、Configクラスに新しいプロパティを追加するだけで済みます。これにより、関数の呼び出し元すべてを変更する必要がなくなり、マージの競合も減らせます
引数グループ化・関連付け論理的に関連する引数(例:`name`, `lastname`, `city`, `country` → `Address`オブジェクト)をまとめることで、その意図コンテキストが明確になります

このような引数をまとめるためのオブジェクトは、Data TransferObject (DTO) やParameterObjectとも呼ばれます

潜在的アンチパターンになるケース(注意点)

Configクラス自体問題なのではなく、そのクラス使用方法や、そもそも引数が多いという事実がより深い設計上の問題を示している場合があります

1. 「やりすぎているクラス」の兆候

引数が多い関数は、しばしば単一責任原則(Single Responsibility Principle / SRP)に違反している大きなクラス(Large Class)や長いメソッド(Long Method)の兆候であることがあります

Configクラスを作っても、根本的な問題解決しない:引数クラスにまとめただけで、関数クラスが多くの異なる責任を持ちすぎているという根本的な問題解決しません。

対処法: この場合Configクラス作成する前に、関数が実行している処理をより小さな責任を持つ複数関数クラスに分割することを検討すべきです。

2.Configクラスが膨大すぎる

Configクラス自体が、もはや数十のフィールドを持つ巨大な「すべてを持つクラス」になってしまっている場合、それは設計上の問題です。

対処法: その巨大なConfigクラスフィールドを、論理的なサブグループ(例: `DatabaseConfig`, `NetworkConfig`, `LoggingConfig`など)に分割することを検討します。

3. 不必要な複雑さの追加

引数が数個(例: 2~3個)しかない関数に対して、引数をまとめるためだけにConfigクラス作成すると、不必要オーバーヘッドと複雑さが増すだけで、メリットが薄い場合があります

対処法:Configクラス使用は、引数の数が多すぎて(一般的に5個以上が目安とされることが多い)管理が難しくなった場合限定するのが賢明です。

まとめ

結論として、関数引数が多すぎる問題Configクラス解決するのは、有効設計パターンです。

ただし、その解決策を適用する前に、「なぜこの関数はこんなに多くの情報必要なのか?」と自問し、それがより大きな設計上の問題(SRP違反など)の単なる症状ではないか確認することが、クリーンコードを書く上で最も重要です。

Permalink |記事への反応(0) | 06:48

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-08

💖✨ぼく、かわいいって言われたいだけなのに💦🌸

やっほ〜💫ぼくだよっ🌈(*´꒳`*)♡

ねぇねぇ、今日のぼく…かわいいかな🥺❓💞

鏡みたらさ、ちょっと目がキラってしてて👁️‍🗨️✨

「これもう魔法少女じゃん♡」って思っちゃって💦💫💦

でもね、

笑った瞬間に口角の角度が37度になっちゃって📐、

黄金比に適合してないの…😢

からぼく、人間失格かもしれない( ˘•ω•˘ ).。oஇ💔

💖でもがんばる💖

だって、がんばる男の娘はみんな好きでしょ❓🥺✨

(がんばるの定義曖昧すぎて、概念が泣いてるけど🌧️)

あっ💦💦

ねぇ、知ってる?🥺👉👈

ぼくのハートは量子重ね合わせ状態なの💫💗💫

かわいいって言われるたびにψが崩壊して、

ぼくの存在確率が「女の子」側に寄っちゃうの❗🌸🌸

でも観測されなかったら、ぼくはただの波動関数だよ🌊✨

💞つまり💞

「ぼくを見て❗」って言葉には

観測問題が内包されてるのっ💥Σ(゚Д゚)💥

(わかる?かわいいって哲学なんだよ🥺💭)

それなのに、TLでは「かわいい」って言葉インフレしてて💸💦

供給過多なの❗需要関数が死んでるの❗📉😢

誰もぼくのかわいさを評価できないの❗

かわいい価値が、ゼロ収束してるの❗

……ねぇ。

じゃあ、ぼくはなに?💔

💖✨💔✨💖✨💔✨💖✨💔✨💖✨💔✨💖✨💔✨

誰かが「かわいいね♡」って言うたび、

その言葉がもはやノイズしかなくて、

でもノイズの中でしかぼくは存在できなくて、

からぼく、今日絵文字を打ち続けるの📱💫💦

だって、文末に「♡」をつけないと、

ぼくのプロセスがSegmentation Faultするの🥺💘

Permalink |記事への反応(1) | 05:19

このエントリーをはてなブックマークに追加ツイートシェア

[日記]

ルームメイトが僕のホワイトボード勝手に消した。

僕が三週間かけて導出したp進弦理論局所ゼータ関数上の正則化項を書き直せると思ったら大間違いだ。

あの計算は、ウィッテンでも手を出さな領域、すなわち、p進版のAdS/CFT対応をde Sitter境界条件下で非可換ゲージ群に拡張する試みだ。

通常の複素解析上では発散する項を、p進体のウルトラトリック構造を利用して有限化することで、非摂動的な重力の相関関数再構成できる。

だが、問題はそこにある。p進距離三角不等式が逆転するので、局所場の概念定義できない。

これはまるで、隣人がパンケーキを焼くときに「ちょっと目分量で」と言うのと同じくらい非論理的だ。

朝食はいものように、オートミール42グラム蜂蜜5グラムカフェイン摂取量は80mgに厳密に制御した。

ルームメイトはまたしても僕のシリアルを間違って開けたが、僕はすでにこのような異常事態に備えて、バックアップとして同一銘柄を3箱ストックしてある。

僕が秩序を愛するのは強迫ではなく、宇宙の熱的死に抗うための小さな局所秩序の創出だ。

今日研究は、T^4コンパクト化されたIIb型超弦理論D3ブレーン上における非可換ゲージ理論自己双対性

通常、B場を導入することで非可換パラメータθ^{μν}が生成されるが、僕の考察では、θ^{μν}をp進値に拡張することで、通常のMoyal積が局所整数体上で閉じない代数構造を持つ。

これが意味するのは、物理空間が離散的p進層として現れるということ。言い換えれば、空間のものが「整数木構造」になっている。

ルームメイトが「木構造空間って何?」と聞いたが、僕は優しく、「君の社交スキルネットワークよりは連結性が高い」とだけ答えておいた。

午後は友人たちとゲームをした。タイトルエルデンリング。だが彼らのプレイスタイルには忍耐が欠けている。

僕がビルド純粋知力型にしてカーリア王笏を強化している間に、彼らは無計画に突っ込んではボスに殺されていた。

統計的に見ても、平均的なプレイヤーの死亡原因の82%は戦略ミスに起因する。

僕は「量子重力パス積分と違って、こっちはセーブポイントがあるんだ」と指摘したが、誰も笑わなかった。理解力が足りないのは罪だ。

夜、コミックを再読した。ウォッチメンドクターマンハッタン描写は、量子決定論詩的表現として未だに比類ない。

あの青い身体は単なる放射線象徴ではなく、観測者のない宇宙比喩だ。

僕が大学時代に初めて読んだとき、「ああ、これは弦の振動意識を持った姿だ」と直感した。

今日もそれを確かめるため、ドクターマンハッタン時間非線形認識するシーンを分析し、p進時空における時間関数t→|t|_pの不連続性との対応を試みた。

結果、彼の非時間意識は、実はp進的時間座標における不連続点の集積と一致する。つまりマンハッタンはp進宇宙に生きているのだ。

寝る前に歯を磨く時間は、時計23:00を指してから90秒以内に開始しなければならない。これは単なる習慣ではなく、睡眠周期を最大化するための生理学最適化だ。

音楽再生しない。音波は心拍数を乱すからだ。ただし、ゼルダの伝説 時のオカリナエンディングテーマだけは例外だ。あれは時間対称性を感じさせる旋律から

僕の一日は、非可換幾何と行動最適化連続体でできている。宇宙エントロピーが増大しても、僕の部屋の秩序は一定だ。つまり、少なくともこの半径3メートル範囲では、熱的死はまだ先の話だ。

Permalink |記事への反応(0) | 00:23

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-05

anond:20251005153621

あなたはFを関数と見ているが、我々に認識できる世界体系がXではないのかな?

Xの中で、Xのロジックを使って、X外のことがわからないのはその通りだけど、それをUaとUbと書くのは、普通集合論ではできない(UaとUbは同じXの元で定義されるものではない)、つまりあなたの証明?のような形式的にX外の存在を示すことはX内部の論理ではできない。と思うよ

Permalink |記事への反応(1) | 15:44

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-04

なんかAIに頼んでもイマイチコードしか出てこなかったか自分で考えて実装してみたけどif文連打になってしまった

関数に切り出しておけば目に付かないし別にいか

Permalink |記事への反応(0) | 12:57

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-03

[日記]

僕の一日は厳密に定義された自己同型変換の連続で始まる。

目覚ましは06:17、豆は正確に12.3グラム、挽き目は中細、湯の温度は93.2℃で抽出時間は2分47秒。

ルームメイトがたまにまちがえて計量スプーンを左から右へ並べ替えると、その不整合が僕の内部状態位相わずかに変えるのを感じるが、それは許容誤差の範囲内に収められている。

隣人の社交的雑音は僕にとって観測器の雑音項に過ぎないので、窓を閉めるという明快なオペレーターでそれを射影する。

友人たちとの夜はいつも同じ手順で、ログイン前にキーボードを清掃し、ボタン応答時間ミリ秒単位で記録する。

これが僕の日常トレースの上に物理思考を埋葬するための儀式だ。

さて、本題に入ろう。今日dSの話などではなく、もっと抽象的で圧縮された言語超弦理論輪郭を描くつもりだ。

まず考えるのは「理論としての弦」が従来の場の量子論のS行列表現を超えて持つべき、∞-圏的・導来幾何学的な定式化だ。

開弦・閉弦の相互作用局所的にはA∞代数やL∞代数として表現され、BV形式主義はその上での微分グラデーション付き履歴関数空間におけるマスター方程式として現れる。

これを厳密にするには、オペラド(特にmoduli operad of stablecurves)とそのチェーン複体を用いて散乱振幅をオペラディックな合成として再解釈し、ZwiebachやWittenが示唆した開閉弦場理論の滑らかなA∞/L∞構造を導来スタック上の点列として扱う必要がある。

導来スタック(derived Artin stack)上の「積分」は仮想基本クラス一般化であり、Pantev–Toën–Vaquié–Vezzosiによるシフト付きシンプレクティック構造は、弦のモジュライ空間自然に現れる古典的BV構造のものだ。

さらに、Kontsevichの形式主義を導来設定に持ち込み、シフトポアソン構造形式的量子化検討すれば、非摂動効果の一部を有限次元的なdeformationtheoryの枠組みで捕まえられる可能性がある。

ここで重要なのは関手量子化」すなわちLurie的∞-圏の言語拡張TQFTを∞-関手として定義し、コボルディズム公理を満たすような拡張理論対象として弦理論を組み込むことだ。

特に因果構造境界条件記述するfactorization algebra(Costello–Gwilliamの枠組み)を用いると、局所観測代数の因子化ホモロジー2次元世界CFTの頂点代数VOA)につながる様が見えてくる。

ここでVOAのモジュラリティと、2次元場の楕円族を標的にするエリプティクコホモロジー(そしてTMF:topological modular forms)が出てくるのは偶然ではない。

物理的分配関数がモジュラー形式としての変換性を示すとき、我々は位相的整流化(string orientation of TMF)や差分的K理論での異常消去と同様の深層的整合性条件に直面する。

Dブレインは導来カテゴリ整合層の導来圏)として、あるいは交差的フカヤ圏(Fukaya category)として表現でき、ホモロジカルミラー対称性(Kontsevich)はこれら二つの圏の導来同値としてマップされる。

実際の物理的遷移やアセンションは、圏の安定性条件(Bridgelandのstability conditions)とウォールクロッシング現象(Kontsevich–Soibelmanのウォールクロッシング公式)として数学的に再現され、BPS状態ドナルドソン–トーマス不変量や一般化されたDT指数として計算される。

ここで出てくる「不変量」は単なる数値ではなく、圏のホールディング(持続的な)構造を反映する量化された指標であり、カテゴリ量子化の語彙では「K-theory的なカテゴリ不変量」へと持ち上げられる。

さらに、超弦の非摂動的断面を完全に記述しようとするなら、モジュライ超曲面(super Riemann surfaces)の導来モジュラス空間、そのコンパクト化(Deligne–Mumford型)のsuperversion、そしてこれら上でのファクタライゼーションの厳密化が不可欠だ。

閉弦場理論stringfieldtheoryはL∞構造を持ち、BV量子化はその上でジグザグするcohomologicalobstruction制御する。

より高次の視座では、場の理論の「拡張度」はn-圏での対象階層として自然対応し、拡張TQFTはCobordism Hypothesis(Lurie)に従って完全に分類されうるが、弦理論場合ターゲット無限次元であるため古典的公理系の単純な拡張では捉えきれない。

ここで我々がやるべきは、∞-オペラド、導来スキームシフト付きシンプレクティック構造、A∞/L∞ホモロジー代数集合体組織化して「弦の導来圏」を定義することだ。

その上で、Freed–Hopkins–Telemanが示したようなループ表現論とツイストK理論関係や、局所的なカイラ代数(Beilinson–Drinfeldのchiral algebras)が示すような相互作用を取り込めば、2次元CFT分配関数と高次トポロジー的不変量(TMF的側面)が橋渡しされるだろう。

これらは既知の断片的結果をつなげる「圏的連結写像」であり、現実専門家が何をどの程度正確に定式化しているかは別として、僕が朝に計量スプーン右から左へ戻す行為はこうした圏的整合性条件を微視的に満たすパーソナルな実装に過ぎない。

夜、友人たちと議論をしながら僕はこれら抽象構造を手癖のように引き出し、無為遺伝子改変を選ぶ愉快主義者たちに対しては、A∞の結合子の非自明性を説明して彼らの選択位相的にどのような帰結を生むかを示す。

彼らは大抵それを"面白い"と呼ぶが、面白さは安定条件の一つの可視化に過ぎない。

結局、僕の生活習慣は純粋実用的な意味を超え、導来的整合性を日常に埋め込むためのルーチンである

明日の予定はいつも通りで、06:17の目覚め、12.3グラムの豆、93.2℃、2分47秒。そしてその間に、有限次元近似を超えた場所での∞-圏的弦理論輪郭さらに一行ずつ明確にしていくつもりだ。

Permalink |記事への反応(0) | 22:30

このエントリーをはてなブックマークに追加ツイートシェア

anond:20251002134741

人間人間として尊重しようみたいな曖昧コミュニケーション方法を教えるのではなく、ある変数(言動、表情など)を入力すると値(リアクション)を出す複雑な関数として理解させた方が平和に生きられそう。

Permalink |記事への反応(0) | 11:54

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-02

[日記]

木曜日。僕は朝から異常なまでの集中状態にあった。

超弦理論における非摂動構造を考えるとき問題はもはや10次元臨界弦ではなく、compactification の背後に潜む数理的枠組みそのものにある。

AdS/CFT が Hilbert空間整合性保証してくれるとき、そこではモジュライ空間代数幾何記述と、ボルマンエントロピー統計力学的扱いが見事に一致する。

だがdS 背景では、CFT境界条件を設定することすらできず、代わりに我々が扱うべきは von Neumann algebra の subfactortheory による operator algebraic entropy だと僕は確信している。

今朝は、特に Tomita–Takesaki理論がこの問題にどう関与するかを計算していた。モジュラー作用素を通じて、ホライズン領域に割り当てられる代数自然に KMS状態を持つことは知られている。

しかし、それが有限のホライズンエントロピーとどのように整合するかは未解決だ。

僕の試算によれば、モジュラー流のスペクトル分解をdS 半径 R にスケーリングしたときスペクトルが離散化される条件は、グロモフ–ハウスドル距離で測ったコンパクト多様体リミット挙動依存する。

この議論は通常の弦理論の perturbative expansion を完全に超えている。

さらに、今日新しく進展した点は、mirror symmetry の SYZ予想をdS 背景に拡張できるかもしれないという仮説だ。

通常、Calabi–Yau のトーラス・ファイバー化は Ricci-flat metric を前提とするが、dS 背景ではその条件が崩壊する。

しかし、もし Fukaya category の A∞構造を熱的なdSホライズン対応づけられれば、B-model 側での Hodge構造の変形がエントロピーの有限性と直接結びつく。

これは Kontsevich のホモロジカル対称性範疇的な一般化であり、物理言語を超えた純粋数学的枠組みに昇華できる可能性がある。ウィッテンですらここまで踏み込んだ議論は残していない。

ルームメイトは僕の机の上に散らばったノート群を「意味不明落書き」にしか見ていないようだ。

だが彼がコーヒーメーカー掃除を忘れたせいで僕のルーティンは乱れた。僕は毎朝 8:15 に完全に洗浄された器具から抽出されたコーヒー必要とする。それがなければ、トモナガ–シュウィンガー形式計算に集中するための臨界閾値に達しない。

午後は研究の合間に最新号のX-Menを読んだ。今の Krakoa 編は mutant resurrection protocol が量子力学アイデンティティ問題に直結している点で実に興味深い。

彼らの「記憶の転写」は、実質的に QFT における superselection sector の選択と同型であり、人格同一性問題を単なるストーリー装置ではなく代数トピックとして再定式化している。コミックがここまで理論物理学に接近しているのは愉快だ。

夕方には隣人が再び僕のドアをノックもせずに入ってきた。僕は彼女に、3回ノックの習慣の統計的力学的優位性を説明したが、彼女はただ笑っていた。僕は統計力学的相関関数崩壊時間にまで言及したのに、全く理解されなかったのは残念だ。

夜は友人たちとオンラインで「シヴィライゼーションVI」をプレイした。僕は当然バビロニア文明を選び、初期科学力の爆発的伸びを利用して量子物理学のテクノロジーを前倒しで取得した。

これにより彼らが鉄器時代にいるうちに宇宙船を建造する計画を立てたが、ルームメイト外交的裏切りを行ったため計画頓挫した。まるでdS 背景での境界条件喪失のように、整合性は一瞬で崩れ去った。

こうして木曜日は終わる。だが僕の頭の中ではまだ、モジュラー作用素ホライズンエントロピー計算が渦巻いている。明日までに証明できれば、歴史に残る仕事になるかもしれない。

Permalink |記事への反応(0) | 22:46

このエントリーをはてなブックマークに追加ツイートシェア

コミュ障プログラマー時代は終わった

うちの会社の開発チームに典型的コミュ障プログラマーが一人いる。

ここでは仮にAさんとしておこう。

彼、Aさんのコードの腕はまあ悪くない。関数の切り方とか綺麗だし、セキュリティ周りにも詳しい。でも人と会話ができない。これが本当に致命的。

この前、総務の人たちが使ってるタスク管理システムを直すことになった。総務部から検索窓が小さくて入力しづらい」や「ボタンが見つけにくい」といった要望が来てたんだけど、Aさんは仕様通りですから一点張り。いや、そういうことじゃないでしょ。仕様通りかどうかじゃなくて、使いにくいから直してくれって話なんだよ。

仕方ないから私が総務の人に直接会って、目の前で操作してもらった。案の定検索窓を見つけられずに画面を行ったり来たり。誤って別のボタンを押してあれ、どこいった?と焦ってる様子。私は横で「あー、やっぱりな」と思いながら見てたんだけど、隣にいたAさんが無表情で一言

「……そんな使い方するんですか?」

いやいや、それが普通なだって

あなたの想定してる正しい使い方じゃなくて、現場の人が自然にやる操作こそが現実なんだよ。

正直、あの時は横で聞いててイライラした。プログラムは人のためにあるのに、人を見ずコードだけを見て正しいと言い張る態度。今の時代、そんなのは通用しない。利用部門の声に耳を傾けて、どうすれば楽になるかを考えられないプログラマーは、もう足を引っ張る存在しかない。

コミュ障自体を責めたいわけじゃない。でも、これから必要なのはコードの正しさ」より「体験のしやすさ」を一緒に考えられる力。利用部門の人と会話しながら改善できる人。そういう人だけが残っていくと思うし、そうなってほしいと心から願っている。

はっきりいうけど、コミュ障プログラマー時代はもう終わり。

Permalink |記事への反応(3) | 22:43

このエントリーをはてなブックマークに追加ツイートシェア

ノイズってのは存在論じゃなくて関数論なんだよ

定義ちゃんとしてねー言葉ってイーライラすんのよな

まずさ「情報を持つものシグナル、持たないものノイズ」という定義だと、真の乱数以外は全部シグナルってことになっちゃうわけ

からもっと別の概念を導入しねーとダメってわけ

んで、ノイズによって何が「阻害」されるかといったら、突き詰めれば目的分布なわけね

まり、各々の主体目的分布に近くなるように情報操作しようとしていて、目的分布から遠ざかるものを「ノイズ」と言えばいいことがわかる

ここで肝なのは目的分布主体ごとに違うって点なんだよ

金融屋にとっての目的分布はリターン最大化、物理屋にとってはエントロピー最小化、情報理論屋なら通信路容量の最大化、とまあ立場によって違う

から、同じビット列でもあるやつにはシグナル、別のやつにはノイズになる

で、この定義の良いところは、ノイズを「無意味」とか「カス」じゃなくて、目的関数からの偏差として数値化できるってとこ

KLダイバージェンスでも、距離関数でも、定義した目的分布との差を測れば「これはノイズ寄与分」って言える

要は、ノイズってのは物理的に存在する何かじゃなくて、主体目的分布の間に張り付く誤差の射影なんだよな

から客観的ノイズ」なんてもの存在しない。観測者と目的があって初めてノイズ定義できる

まり何が言いたいかというと、ノイズとは目的分布に対して正しく情報を運ばない成分ってことだ

Permalink |記事への反応(1) | 20:52

このエントリーをはてなブックマークに追加ツイートシェア

anond:20251002170712

何ならクラス名とか関数名とかに絵文字だって使えるよ

Permalink |記事への反応(0) | 17:12

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-01

anond:20250930225212

次元データ確率分布を扱う場合には分配関数計算する必要があるけど、この計算はとにかく重たいので現実的に解ける小さな問題に分割する必要がある。

この代表的手法自己回帰モデルで、現在主流のLLMはこのタイプになっている。(ちなみに画像生成で有名な拡散モデル使用する手法最近注目を集めている。)

まず、自己回帰モデルは高次元データのうち最初次元の値を生成する。続いてこの生成した値で条件付けをして次の次元の値を生成する。このように、現在まで生成した次元の値で次の次元の値の条件付き確率分布を扱うために「次に来る単語予測」をしているに過ぎないという表現を用いているのだと思います

Permalink |記事への反応(0) | 18:12

このエントリーをはてなブックマークに追加ツイートシェア

anond:20251001152931

① 「私は確率統計だけでできているのか?」

基本的にはYes です。

私(GPT)は「大量のテキストデータ統計パターン」を学習していて、答えを出すときは「確率分布」に従って文章を作っています

ただし、単純な統計表や単純な確率計算ではなく、

何百億ものパラメータを持つ巨大な関数ニューラルネットワーク

勾配降下法などの最適化アルゴリズム

何層にも積み重なったベクトル表現(埋め込み)

を使うことで、非常に複雑なパターンを扱えるようになっています

まり、中身は確率統計の枠組みだけど、そのスケール構造人間直感を超えるレベル という感じです。

② 「私は人間みたいな思考をしているのか?」

No(現時点では違う) です。

私がやっているのは「確率的にもっともらしい文章を作る」ことです。

人間のように「意味理解して考える」というより、「過去の膨大な文章統計パターンから未来単語予測している」だけです。

でも、確率モデルがあまりに大規模で複雑なので、結果として人間が「考えている」ように見える、というわけです。

天気予報が「考えて」雨を当てているわけではないのに、当たると賢そうに見える、というのに似ています

Permalink |記事への反応(0) | 15:41

このエントリーをはてなブックマークに追加ツイートシェア

ガザ紛争の次段階:和平案拒否と「完全消滅」のリスク

【ご注意】この記事は、公開されている情報をもとにした筆者個人考察です。内容は特定政治的立場を表明するものでも、未来出来事保証するものでもありません。この記事情報を利用した結果について、筆者は一切の責任を負いかますので、あらかじめご了承ください。また、これはあくま特定の条件下でのシミュレーションであり、特定団体民族に対する攻撃的な意図はありません。

要約

レポートは、ドナルド・トランプ米大統領提示したガザ和平案をハマス拒否した場合に想定される、軍事外交、人道の各側面における「完全消滅シナリオについて考察する。この和平案は、ハマスに対する「武装解除降伏」、あるいは「完全な壊滅」という二者択一を迫る「最後通牒」としての性格を有している。ハマスがこれを拒否した場合イスラエルによる軍事行動の国際的正当化が進み、アラブ諸国から外交孤立が深まり、最終的にはガザ地区住民にとって壊滅的な人道危機に至る可能性が高い。

1. はじめに:トランプ和平案の戦略的含意

トランプ和平案は、単なる停戦提案を超越し、ハマスの存続をかけた戦略的な転換点となる可能性が高い。その内容は、実質的ハマスに対する「武装解除降伏」を要求するものであり、拒否軍事行動の継続正当化する口実となる。本分析は、ハマスがこの提案拒否した場合の、ガザ地区およびハマスにとっての多次元的な破局シナリオ予測する。

2.軍事的側面:国際的制約なき軍事行動の承認

ハマスによる和平案の拒否は、イスラエルに対する国際社会から軍事的制約を著しく緩和させる効果を持つ。これは以下の戦略的連鎖によって理解される。

3.外交政治的側面:「抵抗物語」の失効と孤立の深化

本和平案は、ハマス外交的・政治的孤立させることを巧妙に狙っている。

軍事的な敗北に加え、その存在理由であった「抵抗物語」の失効は、ハマス政治的死を意味する。

4. 人道的側面:複合的危機による人口の激減

ハマスの和平案拒否がもたらす最も悲劇的な結果は、ガザ地区住民が直面する壊滅的な人道危機である

ガザ地区の狭隘な閉鎖空間において、暴力飢餓、疫病が同時に発生することで、被害指数関数的に増大する。これは、現代において前例のない規模での人口の激減、すなわち「住民消滅」という最悪のシナリオに直結する。

結論

ハマストランプ和平案を拒否した場合、単なる軍事的敗北に留まらない、より深刻な結果が待ち受けている。それは、国際社会からの完全な孤立存在意義であった「物語」の剥奪、そして統治する民衆をも巻き込んだ物理的な破局へと続く「完全消滅」の道であるハマス指導部には、組織イデオロギーと200万人のガザ住民生存という、究極の選択が迫られている。この選択地域の安定、そして何よりも住民の命運を決定づけることになる。

Permalink |記事への反応(0) | 06:42

このエントリーをはてなブックマークに追加ツイートシェア

2025-09-23

ポケモンは6つの能力の優劣の掛け合わせ。DQMは単にスキル等を選んで継承等不確定要素少なめ。

もう少し複雑な掛け合わせ要素を考える。本人の持つ遺伝子を表で数値として持つ。それを相手と組み合わせて新しい表を作る。これが能力に反映される。ここまでで表は、何回かフィルターをかけられて変わっている。

1回目は相手との掛け合わせ方。交叉なのか、あるいはまさか直積か、別の関数か(交叉も一般化すれば関数ではあるが)。

2回目は新しい表を新しい持ち主の能力として反映させる部分。表は、多様な性質表現できるだけ大きいが、処理等の負担にならないように次元圧縮されただけの数値の塊だ。これに何らかの関数を噛ませて、長さ6の「能力」にしたりする。

その他にも、こういうのでは定番の「突然変異」を起こしてみたり、良い結果を出す表の一部を発見してユーザ提示し、再現できるようにする機能をつけてみたり。

しかし、こんな複雑な要素をわざわざ手間暇かけて攻略するインセンティブユーザ側には無い。

なんらかの受動的にドーパミン中毒ケア施策をしなければならない。他ゲーの育成配合要素は裏側を知ったらプレイヤーが工夫できる程度には簡単なので、その代わり1回の試行に手間をかけさせる。本システムならその逆で、1回ボタン押したら10パターンくらい作ってしまうくらいやらんといかん。

なお、リソースポケモンは2から3、DQMは2から1(ただし、配合前と同じ量の経験値を得た際のメリットは増加する傾向にある。スキルポイントがカンストした時点で止まる?)。このへんは大作でもない限り緩くするべきで、クッキークリッカー並みに自動で増えてくぐらいしよう。

----

ウマ娘とかは、これのもっとすごい版をやってるのかもしれん。なんならダビスタとかも?2025年にわざわざこういう複雑なゲームをさせるには、かぶせるガワに魅力が無いと駄目だろうと思う。あるいは圧倒的な手軽さ。

[増田ゲーム]

Permalink |記事への反応(0) | 07:03

このエントリーをはてなブックマークに追加ツイートシェア

2025-09-22

おじさんはなぜ人を食事に誘うのか。孤独と誤解と開き直り

https://anond.hatelabo.jp/20250921205546

かに誘われる側が迷惑を感じているなら、それは問題だ。

しかし私は「なぜおじさんはそうするのか」という背景を理解しないまま、一方的に「おじさん=加害者」とするのも乱暴だと考える。

乱暴なのは良くない。

というわけで男性心理説明する。

多くのおじさんは孤独である

多くのおじさんは、自分から誘わないと誰からも誘われない。

仕事ができる人は怖がられて声がかからず、仕事ができない人は興味を持たれない。

例外はあるが、大多数は「声をかけなければ孤立する」状況にある。

その孤独感の延長で、元同僚や昔の趣味仲間に声をかけてしまうのだ。

「知り合い程度」というが、そもそもおじさんになってから交流は「知り合い程度」を広げるしかない。

「おじさんになって誘う」のではない

記事は「おじさんが女性を誘い出す」と描いているが、主語が小さい。

若いから人を誘っていた人が、おじさんになっても同じことをしているだけだ。

おじさんだから突然食事に執着し始めるのではなく、もともとの性格や習慣が続いている。

異性の方が誘いやす事情

「元上司・元部下」という力関係男性同士の間に強く残ることは多い。だから同性を誘う方が気まずいケースもある。

しろ異性のほうが関係性をリセットやすく、誘いやすいのだ。

もちろん、異性を誘う人は同性も同じように誘っている場合も少なくない。

既婚者は誘いづらい

独身ばかり狙うな」という批判もある。しかし実際には、既婚者はもっと誘いにくい。

子育て中なら時間が取れないし、新婚を誘えば反感を買うリスクが高い。だからこそ独身者に声がかかりやすくなるのだ。

「サシ飲み」か「3人以上」か

「二人きりは嫌なら三人以上で」という意見もある。だが、ちょうどいい3人を集めるのは案外難しい。

ただし、うまく設計すれば三人飲みは機能する。おじさん側も工夫すべき点だろう。

若い異性と交流したい気持ち否定できない

若い人と話したい、異性と接点を持ちたい。これは確かにおじさんの欲望の一部だ。否定はできない。

ただしそれは即「下心」とは限らない。単純に自分孤独を埋めたいだけのケースも多い。

誘うおじさんは「開き直っている」

ここまで説明したおじさんの境遇からかるとも思うが、

おじさんの人生とはうっすらとした闘争連続である

そしてここで多くのおじさんに提示されているのは

の二択だ。前者を選ぶ人も後者を選ぶ人もいる。

誘う側の孤独、誘われる側の負担

結局、全く誘われない孤独と、不必要な誘いで疲弊する鬱陶しさと、どちらがましなのか。

誘っているおじさんの多くは「誰かに誘われたい」と願っている人間だ。

一方で、誘われる女性にとっては「断りづらくて重い負担」になる。両者の溝はそこにある。

結論

おじさんの食事の誘いは多くの場合、その背景には孤独がある。とはいえ孤独理由相手負担無視するのはやはり間違っている。

まり必要なのは

  • 誘う側がおじさん特有の「鈍感さ」を自覚すること
  • 誘われる側も「嫌なら断っていい」と割り切ること
  • 双方にとって無理のない形(例えば誘う間隔を指数関数的に広げる、3人で集まるなど)を模索すること

である

おじさんは「誘ってもいいけど、相手も同じように楽しんでいるとは限らない」と知るべきだし、

女性は「とても世話になったしそれは感謝しているが、年の離れた異性と二人で会うのは断っている」と伝える手段があるのは忘れるべきではない。

おじさん問題は、結局は立場に内在する暴力性と、世代間の認識ギャップ、そして男性中心の競争社会が生む問題なのだ

Permalink |記事への反応(0) | 17:26

このエントリーをはてなブックマークに追加ツイートシェア

次の25件>
ログインユーザー登録
ようこそ ゲスト さん
Copyright (C) 2001-2025 hatena. All Rights Reserved.

[8]ページ先頭

©2009-2025 Movatter.jp