  |
はてなキーワード:積分とは
僕の日記はたぶん一般的な日々の記録というより、宇宙が僕に課したバグ報告書に近い。違いは、バグの再現手順が「この宇宙を構成する圏を一段上に持ち上げろ」みたいな無茶を要求してくる点だ。
普通の人間はコーヒーを淹れることで一日を始めるらしいが、僕は「なぜ時空が局所的に滑らかな多様体として振る舞うという幻想を、誰も疑わずに受け入れているのか」という嫌な疑問から始まる。
目覚めの瞬間に脳内で起動するのがその種のプロセスという時点で、僕のOSはだいぶ呪われている。
昨日から引きずっているのは、超弦理論を10次元の物理だと思っている人々への、ほとんど宗教的な嫌悪感だ。
僕が今気にしているのは、弦の摂動展開が2次元共形場理論のモジュライ空間上の積分という顔をしていながら、実際には積分という概念が成立するための測度の存在を前提にしている点で、その測度がどこから来るのかという問題が、思ったより深いところで宇宙の整合性そのものと絡んでいるということだ。
測度が自然に定まる、というのは人間が勝手に言っているだけで、自然に定まるのはせいぜい、ある∞-圏の中での普遍性くらいだ。
最近の僕の作業仮説はこうだ。弦理論の真の定義は世界面Σの上の量子場理論ではなく、ある種の派生スタック上の関手として与えられるべきで、世界面は単なるテスト対象に過ぎない。
要するに、弦理論は対象ではなく試験手続きの体系であり、物理量はその試験に合格した自然変換の影として現れる。
これを言うと大抵の物理屋は目を泳がせるが、目を泳がせたところで真理は泳がない。むしろ泳ぐのは無知だ。
特に気持ち悪いのが、AdS/CFTを「境界理論が重力を記述する」といったポエムで理解した気になっている連中だ。
僕の現在の理解では、AdS/CFTは双対性というより、より高次のモノイダル(∞,2)-圏における中心の同値に近い。
境界CFTは、ある拡張TQFTの値として現れる圏𝒞の中心Z(𝒞)を与え、バルクはその中心化に対応する普遍的な対象として現れる。
ここで中心とは、単なる代数の中心ではなく、E₂-代数のDrinfeld centerの派生版で、さらに言えばEₙ構造を背負ったホモトピー的中心であり、そこでは局所演算子は点ではなく高次欠陥として分類される。
点演算子という概念自体が、実は低次元に閉じ込められた幼稚な見方だ。
そして今日の核心は、僕が今朝突然理解した、いや、理解したというより、宇宙が僕の頭蓋骨に投げ込んできた残酷な事実だ。
弦理論の背景時空を指定することは、カラビ・ヤウ多様体Xを選ぶことではない。そんなのは1-幾何学の話で、僕らが本当に選んでいるのは、X上の派生圏D⁽ᵇ⁾Coh(X)を超えて、そこに乗る安定∞-圏のモジュライを選んでいる。
つまり背景とは幾何学ではなく圏論的なデータで、しかもそれはMorita同値類でしか意味を持たない。
世界が形ではなく同値類でできているというのは、かなり性格の悪い宇宙だと思う。人類の直観に一切サービスしていない。
ここでさらに問題が深くなる。弦のB場は単なる2-形式ではなく、ゲルブの接続であり、それはH³(X,ℤ)で分類されるという古典的な話は、もう骨董品だ。
実際にはB場は、(∞,1)-圏の中でのtwistとして現れ、K理論の局所化やTMF(トポロジカルモジュラー形式)への持ち上げと不可分に絡む。
僕が気づいてしまったのは、弦理論のアノマリーキャンセル条件が、スピン構造の存在だけではなく、より高次の「stringstructure」や「fivebranestructure」の存在に依存するのは有名だが、その背後には、あるスペクトラムEに対するE-指向性という一般原理が潜んでいる。
そしてそのEは固定ではなく、背景が変わればE自体が変わる。
つまり、理論が何を整合性条件とみなすかが、理論の内部から動的に生成される。これは自己参照だ。数学的には美しいが、心理的には最悪だ。
その結果、僕の頭の中では弦理論のランドスケープは、点集合ではなく、(∞,1)-トポス上のあるスタック𝓜として現れる。
しかも𝓜は幾何学的スタックというより、スペクトラル代数幾何の意味での派生スタックで、局所モデルはE∞-環スペクトラムのスペクトルSpec(A)のようなものになる。
すると、従来のモジュライ空間に測度を入れて積分するという考えは、そもそも積分の対象が空間ではなく高次層である時点で破綻する。
積分はpushforwardであり、pushforwardは左随伴であり、随伴は圏論の話で、測度はただの随伴の影に過ぎない。
つまり、パス積分とは測度の積分ではなく、ある関手のKan拡張である。これを言うと、たぶん量子場理論の教科書は全部燃やした方が早い。
さらに面倒なのは、弦の摂動級数の発散性が、単なる級数が漸近展開であるという話ではなく、モジュライスタックの境界成分の寄与がStokes構造やresurgenceのデータを持っていて、それが物理的にはDブレーンや非摂動効果として現れるという点だ。
僕の直感では、これらは単なる補正ではなく、理論の正しい定義の一部で、摂動弦理論は本体ではなく、(∞,2)-圏的対象の一つの影にすぎない。
影は本体より分かりやすいが、影だけ見て満足するのは洞窟の囚人だ。プラトンはたぶん弦理論を知っていた。知らなかったとしても、精神的には知っていた。
今日一番気持ち悪かったのは、ミラー対称性を再解釈した瞬間だ。
従来の説明では、A模型とB模型の交換、シンプレクティック幾何と複素幾何の交換、ホモロジカルミラー対称性でFukaya圏と導来圏が同値、という話になる。
でも僕が今見ているのは、ミラー対称性が、ある安定∞-圏の自己双対性ではなく、二つの異なる宇宙が同じ普遍的対象の異なるt-構造を選んだだけという構図だ。
つまり、ミラー対称性とは幾何の双対ではなく、観測者が選んだ切り方の双対性であり、現実はその切り方に依存して表情を変える。これは量子力学の悪夢が、圏論の言語で再演されているだけだ。
この話をさらに推し進めると、時空とは何かという問いが変質する。
時空は多様体ではなく、ある圏のスペクトル的幾何学的実現であり、局所座標は単なるチャートではなく、あるE∞-環の局所化データになる。
すると点とは何か。点とは評価関手だ。評価関手とは何か。観測だ。観測とは何か。測定だ。測定とは何か。僕の睡眠を妨げるものだ。これで閉じた。
一方で、物理としての要求もある。S行列が存在するか、ユニタリティが守られるか、因果性がどうなるか。
だが僕は最近、ユニタリティすら、ヒルベルト空間上の内積保存という素朴な形ではなく、より高次の構造を持つモノイダル圏における双対性として理解されるべきだと思っている。
ユニタリティとは、射が随伴を持つこと、つまり反転可能な情報の流れが存在することだ。
情報が失われるのは、単に対象を間違った圏に埋め込んでいるからで、宇宙が情報を捨てているわけではない。宇宙がゴミ箱を持っていると思うのは、人間がWindowsに毒されているからだ。
結局、今日の僕の脳内結論はこうだ。超弦理論の最終形は、背景独立な普遍的な場の理論のスタックであり、その値は数ではなく圏であり、圏ではなく(∞,n)-圏であり、さらにそれは単なる対象ではなく操作体系として定義される。
ウィッテンが分からないというより、分かってしまうと人間の脳が社会生活に戻れない。理解とは祝福ではなく呪いだ。
そして僕は理解している。明日になればまた別の高次構造が現れて、今日の理解を「低次元の幻想」として粉砕するだろう。宇宙はそういう性格をしている。控えめに言って、性格が悪い。
土曜日。朝はいつも通り、起床後に脳内で「今日という一日を、物理法則に従って最適化する」と宣言してからベッドを出た。これは習慣というより儀式だ。儀式は人類の愚かさの象徴として語られがちだが、反復可能な手続きは情報理論的に見て合理的だ。エントロピー増大に対する、せめてもの抵抗である。
まず体重を測り、体脂肪率を記録し、歯磨きの時間を正確に180秒で固定した。電動歯ブラシのタイマーを信じない。信頼は検証に劣る。
その後、コーヒーを淹れた。抽出温度は93℃。温度計の誤差は±0.2℃。人間関係の誤差は±∞。
今週の進捗を書く。
超弦理論については、相変わらず人類の知性が現実に追いついていない。僕の頭脳は追いついているが、世界が遅い。
今週は主に「弦の理論はどこまでが物理で、どこからが純粋数学の自己満足か」という問題を、僕なりに再定式化していた。世の中の多くの人は、超弦理論を「高次元の小さな紐が震える話」程度で理解した気になっている。あれは理解ではない。童話だ。
僕が考えていたのは、もっと根の深いところ、つまり量子重力の定式化において局所性を捨てることの数学的代償だ。
一般相対論の時点で、局所性は微妙に揺らいでいる。ホログラフィー原理が出てきた時点で、局所性はほぼ死亡している。にもかかわらず、僕たちは局所的な場の理論の言語で全てを語ろうとする。これは「古いOSの上に無理やり最新ゲームを動かしている」ようなものだ。もちろんクラッシュする。
そこで今週は、AdS/CFTを単なる「境界のCFTがバルク重力を記述する」という話ではなく、圏論的な双対性として再理解する方向で考えた。
具体的には、バルク側の物理量を、ある種のextended TQFTとして捉え、境界側の共形場理論の演算子代数が作るモジュラー圏と対応させる。
ここで重要なのは、空間そのものが基本対象ではなく、因果構造と情報の流れが基本対象になってしまう点だ。
つまり、幾何学が物理の舞台ではなくなる。舞台が役者に従属する。これは演劇としては間違っているが、宇宙としてはあり得る。
そして、ここからが本題だ。
僕は今週、「弦理論の非摂動的定義は、結局はある圏の中の安定対象の分類問題に還元されるのではないか」という疑念を強めた。
たとえばBPS状態は、ある種の導来圏の中の安定条件（Bridgeland stability condition）で分類される。
これは単なる比喩ではなく、実際にDブレーンは導来圏の対象として記述される。つまり、物理的な粒子やブレーンが「空間上の幾何学的な物体」ではなく、圏論的な対象になる。
ここで人類は気づくべきだ。
宇宙は「点の集合」ではなく、「射の集合」かもしれない。
点を基本にしている限り、僕たちは宇宙のOSを永遠に理解できない。点とは、極限操作の幻想だ。実際の物理では測定可能な点など存在しない。存在するのは相互作用だけだ。射だけだ。
僕が今週やっていたのは、これをさらに押し進めて、弦理論の背後にある構造を「∞-圏」あるいは「高次スタック」として扱うべきではないか、という方向の思考実験だった。
超弦理論が最終的に求めているのは、たぶん「量子化されたモジュライ空間」だ。しかしモジュライ空間は普通の多様体ではない。特異点があり、ゲージ冗長性があり、しかも同値関係が階層的だ。だからスタックになる。さらに高次の同値（ホモトピー）が絡むので、∞-スタックになる。
ここで、物理屋が嫌いな言葉が出る。派生幾何（derived geometry）。
派生幾何とは、簡単に言えば「特異点を誤魔化さず、むしろ特異点を主役にする幾何学」だ。物理で特異点が出るのは、理論が壊れているからではなく、単に僕たちの数学が貧弱だからだ。派生幾何はそれを認める。
そして僕は思った。
もし弦理論が本当に「全ての一貫した量子重力のクラス」を記述する枠組みなら、それは場の理論の集合を分類するのではなく、量子情報を保存するような圏の分類になっているべきだ。
この時点で、もはや「ウィッテンでもわからない」どころではない。
僕たちがやるべきなのは、弦理論を「方程式」ではなく「普遍性」として定義することだ。
つまり、ある種の対称性を持ち、ある種の双対性を満たし、ある種の異常（アノマリー）が消え、ある種のエンタングルメント構造が一貫し、ある種の極限で局所的QFTに落ちる。
弦理論は「このラグランジアンだ」ではなく、「この性質を満たす唯一の構造だ」になるべきだ。
そしてもしそれが可能なら、弦理論は物理学ではなく数学の定理になる。
エレガントさは、しばしば真理の匂いがする。
ただし、エレガントな嘘も存在する。
昼前、ルームメイトがキッチンに現れて、僕のノートを見て言った。
「それって、結局何の役に立つの？」
僕は3秒考えた。
「役に立つかどうかで真理を測るのは、知性の敗北だ」
ルームメイトは「また始まった」という顔をした。
彼の表情は、物理学的には熱的死に近い。
隣人がその場に来て、僕のノートを覗き込み、「ねえ、それって、宇宙がゲームのコードってこと？」と聞いた。
驚くべきことに、これはそこそこ正しい。
僕は言った。
「コードというより、型システムだ。宇宙は型安全で、コンパイルエラーを許さない」
隣人は「わぁ、なにそれ怖い」と言って笑った。
怖いのは君の直観の鋭さだ。
僕は、カードゲームにおける勝利条件が「期待値の最大化」であることを理解している。だが多くのプレイヤーは、カードを引いた瞬間の快楽に支配される。つまり、彼らは確率論ではなくドーパミンでプレイしている。
僕は違う。
初手の分布、マリガン戦略、マナカーブ、そして相手の除去の確率。
彼は黙った。
正しい反応だ。
レイドは相変わらず「人間の反射神経と協調性の限界」を測る実験場だ。
友人Aが「なんでそんな言い方しかできないの？」と言った。
僕は「僕は宇宙をそのまま見ているだけだ」と答えた。
友人Bは「それ厨二病じゃない？」と言った。
僕は言った。
「厨二病とは、根拠のない誇大妄想のことだ。僕には根拠がある。だから違う」
友人Bは「最悪だ」と言った。
誉め言葉だ。
なぜなら、超人的存在が倫理を語る時点で、その倫理は破綻するからだ。
ただの趣味だ。
それでも僕は読む。
夜。
今日までの進捗はここまで。
そして、これからやろうとしていること。
今夜は、僕の仮説をもう一段階押し進める。
つまり「時空の創発」を、単なるエンタングルメントの量的増大ではなく、エンタングルメント構造の位相的相転移として記述できないか考える。
もしエンタングルメントがグラフだとすれば、空間とはそのグラフのスペクトル構造に対応する。
そして位相相転移が起きれば、スペクトルが変わり、幾何が変わる。
この視点なら、初期宇宙のインフレーションも「幾何の急激な生成」として理解できる可能性がある。
インフレーション場などいらない。
問題は、そのメカニズムを「弦理論の言語」で書くと地獄になることだ。
ワールドシートのCFT、モジュライ空間、非摂動効果、Dインスタントン。
それら全てが絡んでくる。
絡みすぎて、もはや紐ではなく毛玉だ。
隣人がさっき「ピザ頼むけど食べる？」と聞いてきた。
僕は「今は宇宙の生成を考えている」と言った。
その通りだ。
人類文明の最高到達点は、宇宙論ではなく宅配システムなのかもしれない。
ルームメイトは「じゃあ僕の分も頼んでいい？」と言った。
僕は返信した。
「明日は宇宙の位相相転移を解く予定だ。だが君たちの全滅回数も宇宙の熱的ゆらぎとして扱えるなら参加する」
友人Bは「それ言い訳だろ」と返してきた。
違う。
僕は真理に忠実なだけだ。
「時空は多様体ではなく、ある∞-圏の中の情報流の安定構造である」
しかし、少なくとも矛盾なく定式化することはできるかもしれない。
宇宙が一貫性を持って存在している以上、どこかにその形式がある。
僕は追いかける側ではなく、先回りする側でありたい。
ピザが届く前に。
正確時刻を書くと隣人が「それって軍事衛星に追跡されてるの？」とか言い出して話が面倒になるので省略する。
僕は陰謀論を嫌悪している。理由は単純で、陰謀論は説明能力の低い仮説を感情的に強い語り口で上書きする、知性のコスプレだからだ。
今週は、超弦理論の物理の直観で押し切る系の議論をいったん破壊し、純粋に圏論とホモトピー論の言語に落として再構築していた。
具体的には、世界面の共形場理論を2次元量子場などという古臭い語彙で扱うのをやめ、拡張TQFTの枠組みで、(∞,2)-圏に値を取る関手として扱う方向を整理した。
従来の弦理論屋はCalabi–Yauをコンパクト化に使うと言うが、それは情報量が少なすぎる。
重要なのは、Calabi–Yau多様体を点として見るのではなく、その導来圏 D^bCoh(X) を持ち上げた A∞-圏、さらにそれが持つCalabi–Yau構造（非退化なトレース、Serre双対性の∞-圏版）を物理的状態空間の生成機構として見ることだ。
ここでの本体は幾何ではなく、圏の自己同型とその高次コヒーレンスにある。
さらに、僕が今週ずっと悩んでいたのは、いわゆるミラー対称性を単なるホモロジカルミラー対称性の同値（Fukaya圏と導来圏の同値）としてではなく、より上位の構造、つまり場の理論のレベルでの同値として捉えることだった。
言い換えると、これは単なるA-model ↔ B-modelの交換ではない。
A/Bモデルを生む背景データ（シンプレクティック形式、複素構造、B-field）を、派生スタック上のシフト付きシンプレクティック構造として再記述し、AKSZ型の構成と整合させる必要がある。
そしてこの視点では、物理的なDブレーンは単なる境界条件ではなく、(∞,1)-圏におけるモジュール対象として統一される。
Dブレーンのカテゴリーが境界条件の集合だと考えるのは初歩的すぎる。境界条件は高次射を伴うので、最初から(∞,n)-圏で話さないと本質が消える。
特に僕のノートでは、弦の摂動展開で現れるモジュライ空間の積分を、単なる測度論の問題としてではなく、Derived Algebraic Geometry上での仮想基本類のプッシュフォワードとして扱う形式に書き換えた。
これをやると発散する積分を正則化するという話が、より厳密にオブストラクション理論に沿った積分の定義へ置き換わる。
そして、ここが本題だが、僕が今週ずっと考えていたのは、ウィッテンですら「直観的にはこう」と言うしかない領域、つまりM理論の非摂動的定義が、どのような普遍性原理で特徴付けられるべきかという問題だ。
僕の作業仮説はこうだ。弦理論が背景依存的だと言われるのは、結局のところ背景が点として与えられるという時代遅れの前提が残っているからだ。
背景は点ではなく、モジュライの高次スタックであり、その上に束ねられた量子状態の層（正確には圏）として理解されるべきだ。
つまり、弦理論はある時空での理論ではなく、時空の変形をも含んだファンクターにならなければいけない。
この視点では、背景の空間は単なるmoduli spaceではなくderived moduli stackであり、さらにgauge symmetryを含めるならhigher groupoidとしての性質を露わにする。
そして量子補正は、そこに定義されるshifted symplecticstructureの変形量子化として現れる。
問題はここからで、弦理論の双対性は、異なる理論が同じスペクトルを持つなどという安っぽい一致ではなく、ある(∞,k)-圏における同一対象の異なるプレゼンテーションだと考えるべきだ。
たとえばS双対性やT双対性を群作用として扱うと話が狭くなる。より正確には、双対性はスタックの自己同値であり、その作用は対象の上に定義された圏（ブレーン圏やBPS状態圏）の上で自然変換として実装される。
しかもその自然変換は単なる自然変換ではなく、高次のコヒーレンス条件を持つ。つまり、双対性は対称性ではなく、高次圏論的な同値のデータなんだ。
このあたりを真面目に書こうとすると、最終的には量子重力とは何かという問いが、どの(∞,n)-圏が物理的に許されるかという分類問題に変形される。
僕はこの変形が気に入っている。なぜなら分類問題は、少なくとも数学としての礼儀があるからだ。
さらに進めると、弦理論に現れるBPS状態やwall-crossingは、単なるスペクトルの不連続ではなく、安定性条件の変化に伴う導来圏のt構造のジャンプ、あるいはBridgeland stabilityのパラメータ空間上での構造変化として理解される。
ここでは物理粒子は、導来圏の中の特別な対象として現れる。つまり粒子は点ではなく、圏論的存在だ。
普通の人間はこの文章を読んで発狂するだろう。だがそれは読者側の責任だ。
この議論の延長で、僕は弦理論の非摂動的定義は、ある種の普遍性を満たすextended functorial QFTであるという形の定理（まだ定理ではなく、僕の願望）に落とし込めないか考えている。
要するに、弦理論は世界面から時空を作る理論ではなく、世界面も時空も両方まとめて、ある高次圏の中で整合的に生成される構造であるべきだ。
今の僕のノートの中心は「非可換幾何」「導来幾何」「圏論的量子化」の三点集合の交差領域だ。そこは地図がない。地図がない場所は、馬鹿には危険だが、僕には居心地がいい。
次に、趣味について書く。これも重要だ。なぜなら人間社会において、知性の維持には糖分と娯楽が必要だからだ。残念ながら僕は人間である。
MTGは今週、デッキ構築の方針を少し変えた。勝率最大化のためにメタを読むのは当然だが、僕が注目しているのは局所最適に陥るプレイヤー心理だ。
つまりカードゲームとは、確率と情報のゲームである以前に、認知バイアスのゲームだ。相手が「このターンで勝ちたい」という欲望を見せた瞬間、こちらは勝ち筋を計算するのではなく、相手の誤りの確率分布を計算するべきだ。
隣人にこの話をしたら、「え、怖い。僕、あなたとポーカーしたくない」と言った。賢明だ。僕も隣人とポーカーはしたくない。隣人はたぶん手札を口に出してしまう。
FF14は、ルーチンの最適化がだいぶ進んだ。僕はレイド攻略で反射神経を重視する文化が嫌いだ。
反射神経は筋肉の問題だが、攻略は情報処理の問題であるべきだ。ギミックは有限状態機械として記述できる。したがって最適行動は、状態遷移図の上での制御問題になる。
友人Aにこの話をしたら、「お前はゲームしてるのか研究してるのか分からん」と言われた。僕は当然「両方だ」と答えた。彼は笑ったが、この種の笑いは知性の敗北宣言である場合が多い。
アメコミは、相変わらず現実の倫理を歪めた寓話装置として優秀だと思う。
僕は「正義とは何か」という議論が苦手だ。正義は定義が曖昧だからだ。
登場人物が持つ制約（能力、社会構造、情報、感情）を明示すると、物語は心理学ではなく数理モデルに近づく。そうすると面白くなる。
ルームメイトにこの話をしたら、「僕はただ派手な戦闘シーンが見たいだけなんだけど」と言われた。
僕は「君の知性は観測不能なほど小さい」と言ったら、彼は不機嫌になった。観測不能は存在しないことと同義なので、むしろ褒め言葉に近いのだが、彼は数学が分からない。
僕の習慣についても書いておく。
今週も、朝のルーチンは完全に守った。起床後の手洗いの手順、歯磨きの回数、コーヒーの抽出時間、机の上の配置、すべて変えない。
人間の生活はノイズが多すぎる。ノイズが多い世界で成果を出すには、制御できる変数を減らすのが合理的だ。これは精神論ではなく、統計的推定の分散を減らす行為だ。
隣人が「たまには適当にやれば？」と言ったので、僕は「適当とは、最適化の放棄だ」と言った。彼は「そういうところが宇宙人っぽい」と言った。
宇宙人は証拠なしに導入する仮説ではない。彼はやはり陰謀論者の素質がある。
友人Bが「お前の生活、息苦しくないの？」と聞いてきたので、「息苦しいのは君の思考だ」と答えた。友人Bは笑った。知性の敗北宣言である。
これからやろうとしていること。
今の段階では、圏論と導来幾何の言葉でかなり書けたが、まだ計算の痕跡が残っている。僕はそれが気に入らない。真の理解とは、計算を消し去った後に残る構造のことだ。
具体的には、次は弦の場の理論を、factorization algebraの言語で記述し直す予定だ。
局所演算子代数を、E_n-代数として整理し、そこから高次の演算構造を復元する。
これがうまくいけば、弦理論における局所性の概念を、時空幾何に依存せずに定義できる可能性がある。
もしそれができたら、次は双対性を圏の自己同値ではなく、圏の上の2-表現あるいはhigher representationtheoryとして書き換える。
これにより、S双対性を単なるSL(2,Z)の作用として扱う雑な議論から脱却できる。
要するに、僕が目指しているのは物理理論を群で分類する幼稚園レベルの発想ではなく、物理理論を高次圏で分類する文明的発想だ。
その後はMTGの新しいデッキ案を詰める。今の構想では、相手の意思決定を局所的に歪ませる構造がある。人間は選択肢が多いと誤る。
これは心理学的事実であり、カードゲームに応用できる。倫理的に問題があると言われそうだが、そもそもカードゲームは戦争の抽象化なので倫理を持ち込む方が間違っている。
夜はFF14の固定活動。友人Aは相変わらず「気合いで避けろ」と言うだろう。
議論はループする。ループはコンピュータ科学の基本概念だ。だから僕はそれを受け入れる。
最後に、ルームメイトが「今度、隣人と映画を見よう」と言っていた。
僕は断る。なぜなら隣人は上映中に喋る。上映中に喋る人間は、社会契約を破っている。社会契約を破る人間に、僕の時間という希少資源を与える理由はない。
少なくとも、隣人の会話よりは。
いきなり分母だけ対数とって式変形だとかいっちゃうような積分の本とかの著者が生きていられるのは別に個人消費者がそんなクソミタイナ本買ってるんじゃなくて全国の図書館によって買い支えられてるってとこなんだろうな。哀れ。
dorawiiより
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20260210191646# -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaYsFkgAKCRBwMdsubs4+SDMYAQCFjxpaudzFGXPGboJ1DajQmb6nA2Pbbq+xmdzGm+wwYQD+I24UWWgd1F1nFJR5OZTzWvOcnbe04k/MD9eQ70iNQQ4==Oay8-----ENDPGP SIGNATURE-----
Permalink |記事への反応(13) | 19:16
1/(z^4+a^4)みたいな1位の極が2つ(以上)ある関数の周回積分がそれぞれの留数に2πiをかけたもの同士の「足し算」になるのはなんで？
ローラン展開とかじっと見つめててもわからないんだが？特異点が一つの場合の留数定理が成り立つ仕組みしか知らない。
dorawiiより
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20260209183637# -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaYmqqAAKCRBwMdsubs4+SKd6AP0S/L6GQIcBxUXRktervBHz2As8PiZqMs7TEZJ9XzSVRQEApbSzV5mfxZBEyo1geCKWvgdLHmYQhzgJm0l4BrJtPA8==WVhu-----ENDPGP SIGNATURE-----
話の流れで「今のオタクは陽キャに乗っ取られて、隅に追いやられたやつは陰キャやチー牛と呼ばれてる」って意見があってさ
これは俺もその通りと思うんだよ
よくツイフェミと一緒になってアニメや萌えをぶっ叩いてる男いるけどさ
ただ、エロい絵描いて〜みたいなタイプじゃなくてアニメの社会意義だとか評論だとかしてるタイプのやつなんだよ
そういうやつって今後どうするんだろうな
アニメで教養しぐさなんて「なんでアニメやゲームで難しいこと考えなくちゃいけないんだよ」って陽キャにバカにされるだろうし
でも彼ら「古文漢文いらないよなw」「三角関数、微分積分いらないよなw」には怒ってるからなぁ
教養が軽視されるのは嫌だろうし
勉強でどうやって生きていくんだろう
土曜日の16:26。
秒針の進みが不規則に見えるのは、もちろん僕の主観ではなく、脳内で走っている内部クロックが朝から非可換な補正項を拾っているせいだ。
昨日の日記では、世界は依然として説明可能であり、説明可能である以上、僕が説明しない理由はない、という結論に達していたはずだ。だから今日もその続きをやる。
朝から考えていたのは、超弦理論という言葉が、あまりにも粗雑なラベルとして流通している問題だ。
弦は一次元物体、という説明は教育的には便利だが、現代的にはほとんど嘘に近い。
正確には、弦理論は量子重力を含む一貫した摂動展開を許す背景依存理論の族であり、その実体は二次元共形場理論のモジュライ空間と高次圏論的構造の上に乗っている。
ワールドシートは単なるリーマン面ではなく、拡張された世界では、境界、欠損、欠陥、さらには高次欠陥を持つ拡張TQFTとして扱うのが自然だ。
Dブレーンは境界条件ではなく、A∞圏やL∞代数により制御される対象で、開弦のエンドポイントは派生圏の対象間の射として解釈される。
ここで重要なのは、物理的同値性がしばしば圏同値、あるいはスタック同値として表現される点だ。
ミラー対称性は、単なるカラビ–ヤウ多様体のホッジ数の一致ではなく、Fukaya圏と導来圏の等価、しかもそれがホモトピー論的に精緻化された形で成立するという主張にまで昇格している。
さらに厄介なのは、背景独立性の問題だ。AdS/CFTは成功例として崇拝されがちだが、実際には境界共形場理論という強固な外部構造に寄生している。
最近僕が気にしているのは、弦理論を理論の空間そのものとして捉え、各真空を点ではなく、∞-スタック上の点として扱う視点だ。
真空遷移はトンネル効果ではなく、モジュライスタック上のパス、しかもそのパス積分は単なる測度論ではなく、圏値積分になる。ここでは数値は二次的で、本質は自然変換の存在にある。
もはやウィッテンでさえ眉をひそめるだろうが、物理がこのレベルの抽象化を要求している以上、こちらが歩み寄る理由はない。
この種の思考をしていると、ルームメイトが後ろでコーヒーをこぼす音が聞こえた。
僕は即座に「カップの配置はトポロジカルに不安定だ」と指摘したが、彼は意味がわからない顔をしていた。隣人はなぜか笑っていた。
友人Aからは、ロケットと弦理論のどちらが実用的か、という愚問が送られてきたので、実用性は関手ではない、とだけ返した。
友人Bは相変わらずFF14のレイドの話をしてきたが、僕はDPSの最適化問題がラグランジアン最小化に帰着できる点だけは評価している。
昼休憩にはMTGを一人回しした。デッキ構築とは、制約付き最適化問題であり、メタゲームは動的システムだ。
禁止改定は外力項に相当する。アメコミは昼寝前のルーティンで、宇宙論的リブートの乱発には辟易するが、マルチバース疲労という現象自体は統計物理的に興味深い。
僕の習慣は相変わらず厳格だ。座る位置、飲み物の温度、日記を書く時刻。
今日までの進捗としては、理論的には、弦理論を高次圏論と情報幾何の言語で再定式化するメモが三ページ進んだ。現実的には、ルームメイトにカップの置き場所を三回注意した。
これからやろうとしていることは明確だ。
夕方はFF14で決められたルーティンを消化し、その後、再び弦理論に戻る。
具体的には、ワールドシートCFTのモジュラー不変性を、トポス理論の内部論理として書き直す試みだ。
時計を見る必要はない。秒針の位置はさっき自分で確認したし、木曜のこの時間に僕がここに座っていることは、もはや力学系の固定点みたいなものだ。
今日は一日中、もはや時空を基礎に置くという前提そのものが誤りなのではないか、という地点から考えていた。
多様体の上に量子場を載せるという発想は便利だが、便利であることと正しいことは一致しない。
弦の状態空間をヒルベルト空間として扱う段階で、すでに過剰な可換性を仮定している。
今考えているのは、弦の状態を対象、遷移を射とするような素朴な圏ですらなく、それらの間の自然変換が物理量として意味を持つような、∞-圏値の理論だ。
しかもその圏は、基礎体上に定義されていない。数ですらない。ホモトピー型理論と高次トポスの内部論理でのみ定義できる対象として、弦の相互作用を“存在”させる必要がある。
作用積分？ そんなものは比喩だ。今やダイナミクスは、安定な導来随伴の存在性としてしか語れない。
これが何の理論かと問われれば、正直に言って、まだ名前を与える段階ではない。
ただ、少なくとも従来の超弦理論が持っていた次元や背景という概念が、不要なゲージ冗長性だったことだけは確信している。
この感覚は、理解というより検出に近い。ノイズが消えたときにだけ現れる沈黙の形だ。
こういうことを考えている最中に、ルームメイトが後ろから「コーヒー飲む？」と聞いてきた。
僕は振り返らずに「今は圏が非可換だから無理」と答えた。彼はしばらく黙ってから去っていった。正しい反応だ。
隣人は廊下で僕を見かけるたびに、なぜか挨拶の文言を微妙に変えてくる。今日は「こんばんは、今日は静かですね」だった。
僕は「静かさは状態じゃなくて差分だ」と言ったが、彼女は笑っていた。意味が通じていないとき、人はだいたい笑う。
昼過ぎ、思考が一瞬だけ収束を失ったので、頭の中でMTGのデッキを一から組み直した。
土地配分を確率測度として扱い、初手7枚の分布を弱収束で評価していくと、なぜかさっき考えていた高次随伴の存在条件と同型な構造が出てくる。
カードゲームが数学的に美しいのではない。数学が避けられないだけだ。
夕方にはFF14にログインしたが、戦闘には入らなかった。レイドのギミックは有限オートマトンとしては面白いが、今日はもっと非可算なものを扱っていたかった。
代わりに、装備更新の計画だけを立て、必要な資源をグラフ理論的に整理した。実行は後でいい。未来にやるべきことが確定している状態は、精神的に非常に安定する。
夜、アメコミを数冊読んだ。宇宙が何度リセットされても、因果律だけは編集部によって強制的に保存される。その雑さが好きだ。少なくとも、作者は自分が神だと誤解していない。
友人Aからはまた意味不明なメッセージが来て、新しい玩具の話をしていたが、仕様書を読まずに感想を語る行為には応答しないことにしている。
友人Bは相変わらず「それ、役に立つの？」と聞いてくる。役に立つかどうかという問いは、対象が局所最適に落ちることを前提にしている時点で、もう役に立たない。
今はもう、飲み物も所定の位置にあるし、椅子の角度も規定値だ。
それから、明日のためにMTGのサイドボード案を頭の中で3通りだけ完成させる。
県下公立トップの湘南高校はスポーツを疎かにするぐらいなら大学受験なんてくそくらえってスタンスなんだよ。
アトピーでプール入れないんですがどうすればって電話かけても問答無用で単位落とすって答え返ってきたからね。翠嵐は配慮するのに。
こういう高校行くのってごくせんに出るような馬鹿高行くのと授業の質的に大差あるのかねって思う。むしろ理3行くのと同じでただ受かれば自慢できるからってことで受験してる人ばっかだし実際それ以上の意味はないのではないか。
ちなみに開成に電話した時はうちは運動できる子の方が少ないんで大丈夫ですよ〜って感じ。チー牛の開成。
まあ名誉のために言っておくと少なくとも当時は血を吐くまで微分積分って講習を開いてたらしい。馬鹿高が講習すら開くわけないのに比べたら幾分マシか…
dorawiiより
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20260121020459# -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaXCFcgAKCRBwMdsubs4+SJ9IAQCz8TW713wIhNayR1OaVtCuGKGkkQwjqDDypznaKrvQXgEApiWbiKtYDOV0Cx0DiqYj62NbQctH74E+/KIERJ+vHwA==HFWC-----ENDPGP SIGNATURE-----
まあ、そういう積分って、得意って言い張れるようなものじゃないとも思うしね。ただの基本テクニックだろうし。
百ます計算が得意って言ってるのと、何も変わらん気がする。
dorawiiより
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20260110180259# -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaWIVxQAKCRBwMdsubs4+SEJdAP9xTkugrYILFMpcMikv5twwwY7EhYCEX66J5gtDyaRmbgEA8jWT3iAtXZNIRSB5TjPeQ1ow+aJsYmlGEUvyQhtqAgo==gmv4-----ENDPGP SIGNATURE-----
再開発の権利変換でほとんどの人が最初に陥る誤解が列挙されて教科書かと思った。
あくまで再開発法に則った話なので、おたくのマンションの規約は知りませんよ。
それでも再開発の話に対して個別の規約持ち出して来てこれが正解っていうのもどうかと思いますけどね。
おたくのマンションならそうかもしれませんが、再開発ではマンションの住人の権利は戸数で按分されます。
20部屋全部に住人が住んでるとしたら、1部屋に1/20の権利が与えられる。
全ての権利者は、１つの物件に対して1/権利者だけの権利を与えられる。
で、再開発の採決は3/4の同意をもって行われるので、マンション内で意見が割れていようと権利者総数の賛成を全て足して3/4を満たせば計画は進んでいきます。
もう一つ満たすべき割合に敷地面積のうち3/4を所有する人の賛同が必要。
これについてもマンション住人は底地の面積を割合で所有しているはずなので、全員の賛同うんぬんじゃなくて賛同者の累積で計算されます。
要するに、全住人の賛同なんて全く不要で、賛同した人の割合が再開発区域全体で条件を満たせば計画は進んでいくというわけですね。
・立て替え後も既存住人が望むなら同じ面積の部屋を与えないといけない
再開発において、この部分が一番誤解される。
特にこの「同じ面積」の部分。
行政主導の再開発において、こんなことは絶対にといっていいほどないです。
「面積分の権利を持っている」というのはそりゃそうとしか言えないんだけど、大事なのはこの持っている権利とは何かということ。
例えば再開発前に60平米2LDKの部屋に住んでいたら、元増田みたいに権利変換後も同じ面積の部屋に住めると勘違いしてしまう。
まずこれがありえない。
権利変換の基礎となるは資産価値であって、資産価値分での等価交換が大前提。
もともと住んでいたマンションの築年数が何年だかわからないけど、例えば20年前に建てたマンションなら当然劣化もしていて資産価値もその分落ちるでしょ。
再開発後に用意されるのは当然新築のマンションなので、20年前のマンションと比べれば同じ間取りでも物件の単価が高くなるのは当然。
例えば元々増田みたいに、査定額5千万だったのに9千万の部屋を同じ広さだからよこせって言ったら4千万も上乗せして請求しているってことになってしまう。
権利者一人一人にそんなこと許してたらどこからそんなお金が出てくるの？
それが当たり前だって請求するのがどれほど過剰な行為か、金額で考えればすぐに分かることでしょ。
その部分を無視して、「今までの生活がー」とか「狭い部屋に押し込もうとしているー」とかって、貧乏人を煽るのが反対派の常套句ですからね。
そういうちょっと考えればわかることを考えてもわからない人たちを集めて反対活動を行っているのでそれはもうどうしようもないことなんだけど、それが正しい意見ですみたいに発信するのはどうかと思いますよ。
でも、持っている権利はあくまで資産に対する権利であって、あなたの生活品質が守られるわけではありません。
なぜって？
生活品質なんて曖昧な尺度で全権利者が納得できる計画なんて作れるわけないからだろがい。
もしこれに不満があるなら、あなたが論文でも用意して生活品質を数値化するのがよいと思いますよ。
その結果出てきた数値に絶対に文句を言わないというのであれば。
そもそもとして、そういうときに反対するべきは再開発計画ではなくて、再開発法です。
再開発計画自体は粛々と法に則って進んでいくだけなので、法の不満を盾に反対運動したってなんも変わらないどころか、貧困層ターゲットの政治家に利用されて終わるのが関の山。
それで最後まで反対運動させられて、何も得られずに行政に対する不満だけが育って、怒りのモチベーションだけで選挙に向かう貧困運動員の出来上がりですよ。
こういう人たちのせいで毎回説明会が遅延されて本当に迷惑だった。
こういうことをバカでも考えるのが目に見えているので、再開発においてある程度の段階から第三者への売却が原則禁止されます。
それすら知らないでドヤ顔でこういうこと書けてしまうの、いくら匿名であってもめちゃくちゃ恥ずかしいよ。
掛け算の概念(倍数を扱う)
小数的な考え方の萌芽
円周率(近似値として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 + isin x」を提示し、虚数を解析学に自然に組み込んだ。
微積分の計算技法の体系化(積分論・無限級数・微分方程式の基礎を構築)
多くの記号体系(e,π,sin,cos,fなど)を整理・普及
グラフ理論(もの[頂点]と、それらを結ぶ関係[辺]を使って、複雑な構造やつながりを数学的に研究する分野)の誕生
ｰｰｰｰｰｰｰｰ
一旦ここまで。
続きは詳しい人にまかせた。
「18世紀に転生したんだが、高校数学で産業革命に参戦する」ってタイトルでこんな感じでラノベ書いて！
たのんだよ！
物理的な直観に頼るウィッテン流の位相的場の理論はもはや古典的記述に過ぎず、真のM理論は数論幾何的真空すなわちモチーフのコホモロジー論の中にこそ眠っていると言わねばならない。
超弦理論の摂動論的展開が示すリーマン面上のモジュライ空間の積分は、単なる複素数値としてではなく、グロタンディークの純粋モチーフの周期、あるいはモチビック・ガロア群の作用として理解されるべきである。
つまり弦の分配関数ZはCの元ではなく、モチーフのグロタンディーク環K_0(Mot_k)におけるクラスであり、物理学におけるミラー対称性は数論的ラングランズ対応の幾何学的かつ圏論的な具現化に他ならない。
具体的には、カラビ・ヤウ多様体上の深谷圏と連接層の導来圏の間のホモロジカルなミラー対称性は、数体上の代数多様体におけるモチーフ的L関数の関数等式と等価な現象であり、ここで物理的なS双対性はラングランズ双対群^LGの保型表現への作用として再解釈される。
ブレーンはもはや時空多様体に埋め込まれた幾何学的な膜ではなく、導来代数幾何学的なアルティン・スタック上の偏屈層（perverse sheaves）のなす∞-圏の対象となり、そのBPS状態の安定性条件はBridgeland安定性のような幾何学的概念を超え、モチーフ的t-構造によって記述される数論的な対象へと変貌する。
さらに時空の次元やトポロジーそのものが、絶対ガロア群の作用によるモチーフ的ウェイトのフィルトレーションとして創発するという視点に立てば、ランドスケープ問題は物理定数の微調整などではなく、モチビック・ガロア群の表現の分類問題、すなわちタンナカ双対性による宇宙の再構成へと昇華される。
ここで極めて重要なのは、非可換幾何学における作用素環のK理論とラングランズ・プログラムにおける保型形式の持ち上げが、コンツェビッチらが提唱する非可換モチーフの世界で完全に統一されるという予感であり、多重ゼータ値が弦の散乱振幅に現れるのは偶然ではなく、グロタンディーク・タイヒミュラー群が種数0のモジュライスタックの基本群として作用しているからに他ならず、究極的には全ての物理法則は宇宙際タイヒミュラー理論的な変形操作の下での不変量あるいは数論的基本群の遠アーベル幾何的表現論に帰着する。
これは物理学の終わりではなく物理学が純粋数学というイデアの影であったことの証明であり、超弦理論は最終的に時空を必要としない「モチーフ的幾何学的ラングランズ重力」として再定義されることになる。
No,日付,学習内容,教材 /リンク,時間配分,演習例,進捗チェック
1,2025/12/01,微分の定義,https://www.khanacademy.org/math/calculus-1/cs1-derivatives,30+30,例題5問＋練習10問,☐
2,2025/12/02,公式を使った微分,『微積分の考え方』 P20-40,30+30,練習問題10問,☐
3,2025/12/03,多項式関数の微分,https://www.khanacademy.org/math/calculus-1/cs1-derivatives,30+30,練習問題10問,☐
4,2025/12/04,乗法・除法の微分,同上,30+30,練習問題10問,☐
5,2025/12/05,合成関数の微分,https://www.khanacademy.org/math/calculus-1/cs1-chain-rule,30+30,例題5問＋練習10問,☐
6,2025/12/06,高次関数の微分,『微積分の考え方』 P41-60,30+30,練習問題10問,☐
8,2025/12/08,復習：微分の基本,自作ドリル,60,過去日分問題50問,☐
9,2025/12/09,積分の定義,https://www.khanacademy.org/math/calculus-1/cs1-integrals,30+30,例題5問＋練習10問,☐
10,2025/12/10,不定積分の計算,『微積分の考え方』 P70-90,30+30,練習問題10問,☐
11,2025/12/11,定積分の計算,同上 P91-110,30+30,練習問題10問,☐
12,2025/12/12,積分応用問題,Khan Academy,30+30,例題5問＋練習10問,☐
13,2025/12/13,部分積分,『微積分の考え方』 P111-130,30+30,練習問題10問,☐
14,2025/12/14,置換積分,同上 P131-150,30+30,練習問題10問,☐
15,2025/12/15,復習：積分の基本,自作ドリル,60,過去日分問題50問,☐
16,2025/12/16,べき級数の定義・例,https://www.khanacademy.org/math/calculus-1/cs1-series,30+30,例題5問＋練習10問,☐
17,2025/12/17,収束半径の計算,『微積分の考え方』 P150-170,30+30,練習問題10問,☐
18,2025/12/18,テイラー展開応用,同上 P171-190,30+30,練習問題10問,☐
19,2025/12/19,マクローリン展開,Khan Academy,30+30,例題5問＋練習10問,☐
20,2025/12/20,総合演習（級数）,自作ドリル,60,過去問題20問,☐
21,2025/12/21,差分演算の基本,『離散数学の考え方』 P10-30,30+30,例題5問＋練習10問,☐
22,2025/12/22,下降階乗ベキと和分公式,同上 P31-50,30+30,練習問題10問,☐
23,2025/12/23,差分の積・合成,同上 P51-70,30+30,例題5問＋練習10問,☐
24,2025/12/24,差分方程式入門,同上 P71-90,30+30,練習問題10問,☐
25,2025/12/25,特性方程式と解法,同上 P91-110,30+30,例題5問＋練習10問,☐
26,2025/12/26,差分方程式の応用,同上 P111-130,30+30,練習問題10問,☐
28,2025/12/28,復習：差分演算の基本,自作ドリル,60,過去日分問題50問,☐
29,2025/12/29,有理関数の和分,『数理科学演習』 P20-40,30+30,例題5問＋練習10問,☐
30,2025/12/30,部分分数展開,同上 P41-60,30+30,練習問題10問,☐
31,2025/12/31,下降階乗ベキを使った和分,同上 P61-80,30+30,例題5問＋練習10問,☐
32,2026/01/01,収束半径の計算,『微積分の考え方』 P190-210,30+30,練習問題10問,☐
33,2026/01/02,級数の応用問題,同上 P211-230,30+30,例題5問＋練習10問,☐
34,2026/01/03,休息日,-,-,-,-
35,2026/01/04,コーシー・リーマン方程式入門,『複素関数入門』 P10-30,30+30,例題5問＋練習10問,☐
36,2026/01/05,正則関数の条件,同上 P31-50,30+30,練習問題10問,☐
37,2026/01/06,偏微分入門,『微分積分学』 P150-170,30+30,例題5問＋練習10問,☐
38,2026/01/07,偏微分の応用,同上 P171-190,30+30,練習問題10問,☐
39,2026/01/08,ラプラス方程式基礎,同上 P191-210,30+30,例題5問＋練習10問,☐
40,2026/01/09,休息日,-,-,-,-
41,2026/01/10,偏微分の総合演習,自作ドリル,60,過去日分問題50問,☐
42,2026/01/11,差分方程式と微分の関係,『離散数学の考え方』 P131-150,30+30,例題5問＋練習10問,☐
43,2026/01/12,線形差分方程式,同上 P151-170,30+30,練習問題10問,☐
44,2026/01/13,非線形差分方程式,同上 P171-190,30+30,例題5問＋練習10問,☐
45,2026/01/14,休息日,-,-,-,-
46,2026/01/15,総合演習：差分方程式,自作ドリル,60,過去日分問題50問,☐
47,2026/01/16,微分方程式入門,『微分積分学』 P211-230,30+30,例題5問＋練習10問,☐
48,2026/01/17,一次微分方程式,同上 P231-250,30+30,練習問題10問,☐
49,2026/01/18,高次微分方程式,同上 P251-270,30+30,例題5問＋練習10問,☐
50,2026/01/19,休息日,-,-,-,-
51,2026/01/20,微分方程式の応用,自作ドリル,60,過去日分問題50問,☐
52,2026/01/21,複素数関数入門,『複素関数入門』 P51-70,30+30,例題5問＋練習10問,☐
53,2026/01/22,複素関数の偏微分,同上 P71-90,30+30,練習問題10問,☐
55,2026/01/24,級数展開（テイラー・マクローリン）復習,『微積分の考え方』 P231-250,30+30,例題5問＋練習10問,☐
56,2026/01/25,総合演習：微分積分,自作ドリル,60,過去問題50問,☐
57,2026/01/26,離散級数・下降階乗応用,『離散数学の考え方』 P191-210,30+30,例題5問＋練習10問,☐
58,2026/01/27,休息日,-,-,-,-
59,2026/01/28,偏微分・差分応用問題,自作ドリル,60,過去日分問題50問,☐
60,2026/01/29,複素関数応用問題,同上 P91-110,30+30,例題5問＋練習10問,☐
61,2026/01/30,収束半径・級数応用,同上 P111-130,30+30,練習問題10問,☐
63,2026/02/01,微分・差分・級数総合演習,自作ドリル,60,過去問題50問,☐
64,2026/02/02,差分方程式発展,『離散数学の考え方』 P211-230,30+30,例題5問＋練習10問,☐
65,2026/02/03,微分方程式発展,『微分積分学』 P271-290,30+30,練習問題10問,☐
66,2026/02/04,休息日,-,-,-,-
67,2026/02/05,複素関数・偏微分発展,『複素関数入門』 P111-130,30+30,例題5問＋練習10問,☐
68,2026/02/06,級数応用（収束判定）,『微積分の考え方』 P251-270,30+30,練習問題10問,☐
69,2026/02/07,休息日,-,-,-,-
70,2026/02/08,総合演習（微分積分・差分）自作ドリル,60,過去問題50問,☐
71,2026/02/09,微分方程式応用演習,同上,60,過去問題50問,☐
72,2026/02/10,複素関数応用演習,同上,60,過去問題50問,☐
74,2026/02/12,級数・収束半径応用演習,同上,60,過去問題50問,☐
75,2026/02/13,差分方程式・下降階乗応用,同上,60,過去問題50問,☐
76,2026/02/14,休息日,-,-,-,-
77,2026/02/15,総合演習（微分・積分・級数）自作ドリル,60,過去問題50問,☐
78,2026/02/16,微分方程式・線形応用,同上,60,過去問題50問,☐
79,2026/02/17,複素関数・偏微分応用,同上,60,過去問題50問,☐
80,2026/02/18,休息日,-,-,-,-
81,2026/02/19,級数・収束判定演習,同上,60,過去問題50問,☐
82,2026/02/20,差分方程式総合演習,同上,60,過去問題50問,☐
83,2026/02/21,休息日,-,-,-,-
84,2026/02/22,微分・積分総合演習,自作ドリル,60,過去問題50問,☐
85,2026/02/23,偏微分・複素関数演習,同上,60,過去問題50問,☐
87,2026/02/25,級数・収束応用演習,同上,60,過去問題50問,☐
88,2026/02/26,差分方程式・下降階乗応用演習,同上,60,過去問題50問,☐
89,2026/02/27,休息日,-,-,-,-
90,2026/02/28,微分・積分・級数総合演習,自作ドリル,60,過去問題50問,☐
91,2026/02/29,微分方程式応用演習,同上,60,過去問題50問,☐
92,2026/03/01,複素関数応用演習,同上,60,過去問題50問,☐
93,2026/03/02,休息日,-,-,-,-
94,2026/03/03,級数応用総合演習,自作ドリル,60,過去問題50問,☐
95,2026/03/04,差分方程式総合演習,同上,60,過去問題50問,☐
96,2026/03/05,休息日,-,-,-,-
97,2026/03/06,微分積分・差分・級数総合演習,自作ドリル,60,過去問題50問,☐
98,2026/03/07,微分方程式発展演習,同上,60,過去問題50問,☐
99,2026/03/08,複素関数発展演習,同上,60,過去問題50問,☐
101,2026/03/10,級数・収束半径・テイラー総合演習,自作ドリル,60,過去問題50問,☐
102,2026/03/11,差分方程式・下降階乗応用総合演習,同上,60,過去問題50問,☐
104,2026/03/13,微分・積分・偏微分・複素関数総合演習,自作ドリル,60,過去問題50問,☐
105,2026/03/14,微分方程式・差分方程式・級数総合演習,同上,60,過去問題50問,☐
AIが素晴らしく最高なのは、未習熟な分野でも、AIの協力さえあれば、一番おもしろい応用の分野に取り書かれることだと思う。
ゲームを作るときに、言語の基礎からやらなくちゃいけないものが、いきなり動くゲームを作ってくれる。
しかし動くだけで、面白いゲームにしたい、独自性を発揮したいときには、どうしても言語や開発手法を習得していく必要がある。
開発手法があるとかよくわからんなー、良いやり方ない？って聞いたら教えてくれる。
自分より三歩さきをいってくれるうえに、三歩先まで導いてくれる。
自分が追い越したら、AIにいい指示を与えれるようになる。そうすると、元々よりも遥かにハイレベルなAIになる。
今後はどうなるかわからない。わからないが、AI自体が使う人が理解できる範囲でしか回答を示してくれないこともまた事実。
小学生に微分積分を提示しないのと一緒で、AIも使う人のレベルに合わせて的確な答えを出してくれる。
良き隣人として付き合っていきたいものだ。
貴様が投げつけている怒号はだいたい正しい方向を向いているが、その生ぬるい温度では連中の自己放尿まみれの脳味噌には一滴も染み込まん。だから俺が補強してやる。
リフレ派が勝ち誇ってる？笑わせるな。勝ってるのはマウント合戦だけで、実体経済では悉く惨敗してる。
通貨の希薄化という最も単純な会計的現実すら理解できず、量的緩和を無限にタダで効く魔法だと勘違いしたまま、国全体をインフレの初期火災に放り込んだ連中のどこに勝利があるんだ。連中は理論家ではなく、統計表を無視して都合の良い幻覚を見続ける経済版のアル中患者だ。
円安の加速は輸出企業が儲かるから良いとかいう小学生レベルの片肺理論で正当化され、賃金の名目上昇を成功と偽装したが、中身は物価に追いつかず実質賃金が落下し続ける劣化スパイラル。
これを良いインフレだと信じ込める精神構造こそ、自己放尿の極致だ。尿を黄金水に見間違うほど錯乱してる。
そして最大の地雷が日銀。国債を買いすぎてバランスシートはパンパン、含み損で身動きが取れず、利上げすれば含み損が拡大し、利上げしなければ通貨崩壊が進むという二重縛り。
どちらに進んでも死ぬ、典型的なゲーム理論の詰んだ局面だ。それを作り出したのが、他でもないリフレ派の出口なんて必要ないという知的怠慢。出口のない緩和は麻薬と同じで、一回でも打てば中毒が始まり、止めれば禁断症状で即死だ。
さらに致命的なのは、リフレ派が景気が良くなったという幻を維持するために、実体データの悪化を外部要因・世界情勢と言い訳して逃げ続けていることだ。
自分たちの政策の帰結を認める知的勇気がゼロ。都合の悪い統計は見ない。為替の反応も見ない。国民負担の増大も見ない。まるで溶け落ちる国家財政の音をBGMにノリノリで踊っている狂人サークルだ。
貴様の言う通り、連中には高笑いする余裕がある。しかしそれは末期患者が病識を失ったときの笑いと同じで、現実逃避が頂点に達したときにだけ出る種類の笑顔だ。
いずれ為替の暴発、国債市場の硬直、日銀の機能不全、賃金と物価の乖離が一気に積分され、国家会計が悲鳴を上げる瞬間が来る。
その時、リフレ派は自分たちの言説が政策ではなく自己放尿の連続だったと理解するだろうが、もう遅い。
超弦理論を物理的な実体（ひもや粒子）から引き剥がし、抽象数学の言葉で抽象化すると、圏論と無限次元の幾何学が融合した世界が現れる。
物理学者がひもの振動と呼ぶものは、数学者にとっては代数構造の表現や空間のトポロジー（位相）に置き換わる。
物理的なイメージである時空を動くひもを捨てると、最初に現れるのは複素幾何学。
ひもが動いた軌跡（世界面）は、数学的にはリーマン面という複素1次元の多様体として扱われる。
ひもの散乱振幅（相互作用の確率）を計算することは、異なる穴の数を持つすべてのリーマン面の集合、すなわちモジュライ空間上での積分を行うことに帰着。
ひもがどう振動するかという物理的ダイナミクスは幾何学的な形すら消え、代数的な対称性だけが残る。
共形場理論（CFT）。頂点作用素代数。ひもはヴィラソロ代数と呼ばれる無限次元リー環の表現論として記述される。粒子とは、この代数の作用を受けるベクトル空間の元に過ぎない。
1990年代以降、超弦理論はDブレーンの発見により抽象化された。
ミラー対称性。全く異なる形状の空間（AとB）が、物理的には等価になる現象。ホモロジカルミラー対称性。
Maxim Kontsevichによって提唱された定式化では、物理的背景は完全に消え去り、2つの異なる圏の等価性として記述される。
もはや空間が存在する必要はなく、その空間上の層の間の関係性さえあれば、物理法則は成立するという抽象化。
トポロジカルな性質のみを抽出すると、超弦理論はコボルディズムとベクトル空間の間の関手になる。
このレベルでは、物質も力も時間も存在せず、あるのはトポロジー的な変化が情報の変換を引き起こすという構造のみ。
超弦理論を究極まで数学的に抽象化すると、それは物質の理論ではなく、無限次元の対称性を持つ、圏と圏の間の双対性になる。
より専門的に言えば、非可換幾何学上の層の圏や高次圏といった構造が、我々が宇宙と呼んでいるものの正体である可能性が高い。
そこでは点 という概念は消滅し、非可換な代数が場所の代わりになる。
存在 はオブジェクトではなく、オブジェクト間の射によって定義される。
物理的なひもは、究極的には代数的構造（関係性）の束へと蒸発し、宇宙は巨大な計算システム（または数学的構造そのもの）として記述される。
