  |
はてなキーワード: 微分とは
今日も僕は、存在の根源的織りなす無限の圏論的深淵を、さらに一層、否、無限階層的に穿ち進めた。
控えめに言って、この惑星上で僕ほど本質的な知的貢献をなしている存在は、恐らく他にない。
午前中は、昨日確立した量子化された情報欠損射 Δ_q と braided monoidal 構造を基盤として、4+1次元量子トイモデルの完全抽象化に没入した。
具体的には、de Sitter 空間を、厳密に braided かつ ribbon 構造を備えた高次圏論的対象として再定義し、各 causal diamond を、量子群 𝒰_q(su(2,1)) の作用を自然変換として内在化した、∞-category 内部の fully dualizable オブジェクトとして位置づけた。
ここで決定的だったのは、面積スペクトルを完全に圏論的に吸収する新たな構成である。
境界面積を、対象の dualizable 性から導かれる Frobenius-Perron 次元として捉え直し、Hilbert 空間の「次元」を、圏の decategorification における q-deformed 指標として厳密に表現した。
この操作により、連続時空という低次元幻想は、単なる decategorified 残滓に過ぎないことが、純粋に universal property のみから浮かび上がった。
さらに、昨日得られた三階 jerk 不等式を、この抽象トイモデル内で高次圏論的に再定式化し、以下の形に昇華させた。
d³S(Φ_t ∘ Δ_q(D)) / dt³ + κ ⋅ Tr(σ_{D,D′} ⋅ H_mod) ≥ 0
を、2-圏レベルでの higher homotopy coherent diagram における monoidal natural transformation の可換性条件として再解釈した。
この再解釈により、不等式はもはや単なる微分不等式ではなく、braided 構造の rigidity から必然的に生じる、higher categorical coherence における普遍的制約条件となった。
ウィッテンやマルダセナが到達し得る領域を、遥かに超越した抽象度の数学的深淵を、僕はこの午前だけで切り開いたと言って過言ではない。
加えて、量子情報希薄化2-射 Λ⁽²⁾ を、3-圏レベルでの tricategorical coherence まで拡張し、隣接ダイヤモンド間の境界面積重なり領域におけるエントロピー過剰を、higher associator と pentagonator の高次補正として完全に吸収する枠組みを構築した。
この結果、Bekenstein-Hawking エントロピーの量子補正項 α、β、γ は、もはや数値的近似ではなく、圏の Drinfeld center における braided 指標の厳密な閉形式として導出されるに至った。
de Sitter 空間の本質が、有限情報ビットからなる動的 braided ∞-category ネットワークであるという主張は、ここにほぼ公理的地位を獲得した。
午後は、この極めて抽象度の高い構成を、特殊青ノートに極めて精密に書き写しながら、いつもの昼食を摂った。
ルームメイトは僕の沈黙とノートへの没入を見て、珍しく「今日はなんか…いつもより宇宙が遠い感じだな」と呟いた。
「遠いのではない。君の認知が、まだこの高次圏論の影すら捉えきれていないだけだ。」
その後、隣人がノックではなく、突然の無音インターホン長押しという、予測不能なプロトコル破壊を試みた。
「その行為は、単なるノイズではなく、圏論的 coherence を乱す高次擾乱である。次に同様のことをすれば、応答関数自体をゼロに設定する。」
彼女は戸惑った声で「え、何言ってるの…？」と返したが、美しさと高次論理推論能力が反比例するという僕の長年の観察は、再び鮮やかに裏付けられた。
夕方、友人Aは僕の抽象トイモデルについて「その higher categorical な再定式化って、多次元泡宇宙の衝突を、完全に background independent に扱えそうじゃないか？」と、鋭い工学的洞察を投げかけてきた。
僕は静かに頷き、「拡張の可能性は、確かに興味深い universal property を示唆している」とだけ認めてやった。
友人Bは「全部が braided 圏なら、時間や因果性すら、ただの decategorified 影に過ぎないよな」と言い切ったが、それは依然として素朴還元主義の典型的な誤謬である。
ただし、「不要な余剰構造を極力排除する」という姿勢だけは、部分的に共鳴する点があると、渋々ながら認めてやることにした。
この4+1次元量子トイモデルを、さらに 5-カテゴリックな枠組みへと自然に昇格させるための、higher coherence data の完全整備を完了させる。
それにより、de Sitter における幾何構造が、量子情報の purely higher categorical 帰結に過ぎないという主張は、完全に公理的かつ不可逆的な地位に到達するはずだ。
その先には、時空という幻想を、∞-category の decategorification として完全に剥ぎ取る最終段階が待っている。
以上。
今日も僕は、宇宙の根源的真理を解き明かすという、誰にも真似できない崇高な知的冒険を、さらに一歩、否、十歩前進させた。
控えめに言って、この惑星上で僕ほど本質的な貢献をしている人間は存在しない。
午前中は、昨日完成させた1-パラメータ自己同型群 Φₜ と情報欠損射 Δ を土台として、圏論的枠組みの完全量子化に着手した。
具体的には、小圏 𝒞 を braided monoidal category に昇格させ、各 causal diamond の対象に量子群 𝒰_q(su(2,1)) の作用を自然に組み込んだ。
これにより、de Sitter 地平線の量子ゆらぎを、braiding operator σ_{D,D'} として厳密にエンコードすることに成功した。
ここで決定的だったのは、braided 構造と昨日定義したエントロピー関手 S の可換性を証明した点である。
新しい量子化された情報欠損射 Δ_q を導入し、その作用下でのモジュラー・ハミルトニアン H_mod を定義した結果、任意のダイヤモンド D に対して以下の高次微分不等式が、圏の rigidity と ribbon 構造から純粋に導出された。
d³S(Φₜ ∘ Δ_q(D)) / dt³ + κ ・ Tr(σ_{D,D'} ・ H_mod) ≥ 0
ここで κ は de Sitter 曲率パラメータであり、この三階微分は単なるエントロピー増加の加速ではなく、量子情報損失のjerk（加加速度）を規定する新たな普遍法則である。
古典的 Φₜ では到底到達し得なかったこの高階不等式は、ウィッテンやマルダセナが生涯かけても到達し得ない領域を、僕が一瞬で切り開いたことを意味する。
さらに、ダイヤモンドの貼り合わせを一般化するため、昨日 の Δ を基に高次 pushout 構成を定義した。
具体的には、射の合成に量子情報希薄化 2-射 Λ⁽²⁾を導入し、2-圏レベルでの coherence diagram を完全に閉じた。
これにより、隣接ダイヤモンドの境界面積が重なる領域で生じるエントロピー過剰を、面積法則の三次の補正項 β ≈ 0.00314（プランク面積単位）として自然に吸収できるようになった。
驚くべきことに、この Λ⁽²⁾ の Drinfeld double 解析から、Bekenstein-Hawking エントロピーの1/4係数に対する完全量子補正が、以下の厳密な閉形式として導出された。
S_BH = A/4 + α(A¹/²/4) + β(log A / 4) + γ + O(A⁻¹/²)
ここで α ≈ 0.0127、β ≈ 0.00314、γ はトポロジカル不変量であり、これらはすべて圏の universal property と量子群の representation theory から、外部双対や AdS/CFT に一切依存せずに純粋内部構造のみから出てきた。
これは de Sitter 空間におけるホログラフィック原理の、第三世代とも呼ぶべき完全量子版である。
加えて、今日の最大の成果は、圏の対象を量子化された面積スペクトル上に完全に再定義した点にある。
昨日残っていた離散化スケールのシフト問題を、𝒰_q(su(2,1)) の q-deformation パラメータ q = exp(2πi / (k+2))（ここで k は Chern-Simons レベル）を用いて吸収し、有限次元 Hilbert 空間の次元を境界面積から厳密に決定する公式を導出した。
これにより、連続時空仮定を完全に排除し、de Sitter 空間の本質が有限情報ビットから織りなされる動的 braided 圏論ネットワークであることを、数学的に証明したと言ってよい。
僕の暫定結論は、もはや暫定ではなく、ほぼ公理的レベルに達した。
滑らかな多様体構造などという古典的幻想は、低エネルギー有効理論の残滓に過ぎず、宇宙の真の基底は量子情報構造の braided monoidal 圏である。
午後はこの革新的な計算結果を、昨日よりさらに厳密に清書した特殊青ノートに書き写しながら昼食をとった。メニューはもちろん昨日と同じものだ。
ルームメイトは小さく舌打ちしたが、僕は即座に指摘した。
「再現性こそが科学の基盤であり、味覚という原始的な感覚器官の気まぐれに理論を左右されるほど、僕は未熟ではない。」
僕は「3回を3セット、計9回、かつ強さは一定」という厳格ルールを設定しているにもかかわらず、彼女は今回5回という不規則な回数で止めた上、強さを徐々に弱くしてきた。
これは明らかなプロトコル違反の戦略的エスカレーションである。僕はインターホン越しに単一チャネル原則を三度繰り返したが、彼女の認知構造では到底理解不能だったようだ。
夕方、友人Aは「その量子情報希薄化2-射って、多次元泡宇宙の衝突エントロピーにそのまま適用できるんじゃないか？」と工学的直感を述べた。
方向性としては悪くない。僕は「一応、拡張可能性をメモしておく」とだけ認めてやった。
友人Bは「全部情報なら重力もエントロピー勾配の単なる影だろ」と言い切ったが、それは相変わらず素朴還元主義の典型的な誤謬である。
ただし、「観測不可能な余剰構造を無制限に持ち込まない」という一点だけは、部分的に正しいと渋々認めてやる。
これからやることは明確だ。
まず明日の07:30までに、4+1次元量子トイモデル（完全 braided 圏で近似した de Sitter）において、この新構成の完全数値検証を完了させる。
三階微分不等式の厳密単調性、量子補正項 α・β・γ の高精度再現、ならびに面積スペクトルの厳密離散化が確認できなければ、すべてを白紙に戻す。
その後、2-圏の導来2-圏を用いて量子情報希薄化2-射 Λ⁽²⁾ の完全コホモロジー解析を進め、β係数の閉形式解析的導出を完成させる。
これが成功すれば、de Sitter における幾何は量子情報の二次的・三次的帰結に過ぎないという主張は、完全に公理的レベルに到達する。
以上。
激しいトポロジーゼミでの議論を制した後、私は完璧な勝利を収めた。
相手の主張は穴だらけの多様体だったが、私の証明は滑らかでコンパクト、閉じた多様体そのもの。あらゆる次元で徹底的に探索する準備が整っていた。
部屋に一人になると、証明の興奮がまだ血管を脈打たせている。この知的緊張をどうしても解放したくなった。
まず問題を慎重に扱う。手を変数に巻きつけ、よく定義された関数のように滑らかで連続的な感触を確かめる。ゆっくりと微分を始める。最初は優しく、快楽の導関数を最大にする最適な変化率を探りながら。
リズムが速まるにつれ、より深く積分していく。sin(θ)の一周期にわたる定積分が、これほど自然で避けられないものに感じたことはない。一ストロークごとに境界を0から∞まで押し広げ、すべてが収束する甘い漸近線を目指す。
呼吸が等比級数の極限に近づくように加速する。摩擦係数は絶妙で、表面は過度な抵抗なく最適に滑るよう潤滑されている。
私は今、実時間で熱方程式を解いている。温度は上昇し、エントロピーは増大し、系は最も美味しく最大の無秩序へと向かっている。
手法を変え、鎖鎖則を熟練の精度で適用する。一方の手で基部を安定させ、もう一方で上限を攻める。これは多変数最適化問題だ：f(x)を最大化せよ、ただし早く終わりすぎないという制約付きで。
議論のフラッシュバックが襲ってくる。あの優雅な補題、私が暴いた美しい矛盾。それぞれの記憶がトルクを加え、角速度を高める。私は単位円のあらゆる角度を回転しながら、周波数を上げて探索を続ける。
高階導関数へ。2階、3階、4階……快楽のテイラー展開。収束半径が急速に縮小していく。剰余項がどんどん小さくなり、ついに、ああ、tが絶頂に近づく極限。
臨界点に到達した。すべての条件が満たされる：関数は狭義単調増加、最終局面で凹状上方、そしてドカン！ 微積分の基本定理が最も純粋な形で発現する。
積分が力強く脈打つ解放へと評価される。心のフーリエ変換がホワイトノイズに支配され、全ての周波数成分が同時にピークを迎える。
僕はいつも通り18:30時に日記を書き始めた。時間の厳密性は文明の基礎であり、文明が崩壊する最初の兆候は人間がだいたいを許容する瞬間だからだ。
ルームメイトは18:30:03に電子レンジを開けた。これは許されない。僕はその誤差を指摘したが、「3秒くらいいいだろ」と言われた。3秒を軽視する人間は、やがてゲージ対称性も軽視する。
午前中はトポロジカルM理論の再構成を試みた。標準的な理解では、これはトポロジカルAモデルとBモデルを7次元で統一するような構造で、ヒッチン汎関数を基礎にした3形式の理論として現れる。
だがこの説明はあまりにも低解像度だ。問題は統一するという言葉が、圏論的に何を意味するのか曖昧な点にある。
僕の現在の仮説はこうだ。トポロジカルM理論は単なる7次元TQFTではなく、コヒーシブ∞トポス上の場の理論の内部化として理解すべきだ。
つまり、通常の多様体上の場ではなく、幾何そのものが内部論理として振る舞う圏における場だ。
このとき、3形式は単なる微分形式ではなく、∞-スタック上の2-群的接続の曲率として再解釈される。
ここで友人Aがやってきて、「それって物理的に何の意味があるの？」と言った。典型的な誤解だ。物理的意味を問うのは最後だ。構造が先で、意味は後からついてくる。量子力学もそうだった。
話を戻す。
トポロジカルM理論の古典解がG₂ホロノミー多様体に対応するというのは知られているが、僕はこれをさらに一段抽象化して、
と見ている。ここで重要なのは、「状態」がヒルベルト空間ではなく、層の圏そのものに拡張される点だ。
友人Bはこの話を聞いて「それもう物理じゃなくて数学じゃない？」と言った。逆だ。物理が遅れている。
さらに進めると、AモデルとBモデルの共役性は、単なる双対性ではなく、シンプレクティック構造と複素構造の間の∞-レベルのフーリエ変換として理解できる。
ここで僕は少し興奮した。なぜならこの構造は、トポロジカル弦の分配関数が波動関数になる理由とも整合するからだ。
つまりこうだ。
これは量子化そのものだが、通常の位相空間ではなく、モジュライ∞-スタックの上での量子化になっている。
ルームメイトはこの話を聞いて途中で寝た。合理的な判断ではあるが、知的には敗北だ。
午後は習慣の維持に時間を使った。
これらは単なる癖ではない。状態空間のエントロピーを最小化する操作だ。乱雑さは思考を汚染する。
隣人がまた勝手に僕の場所に座っていたので、厳密な確率論的説明を用いて「そこに座る確率はゼロであるべきだ」と説明したが、理解されなかった。人間は頻度主義に縛られすぎている。
これからやること。
命題: M5ブレーンの電荷は通常のコホモロジーではなく、楕円コホモロジーやMorava K理論に自然に値を取る。
これは単なる一般化ではない。物理的対象の分類そのものが、一般化コホモロジー論に移行することを意味する。
もしこれが正しければ、場の理論は最終的に∞-圏におけるコホモロジー値関手として書き直される。
ウィッテンでも完全には把握していない領域だ。つまり、僕がやるしかない。
A「どうもー！今日はね、最近流行りの数学の話をしたいと思うんですよ。」
A「いやいや、今回はもうちょっと軽い話。宇宙際タイヒミュラー理論ぐらい。」
A「この前さ、僕の彼女が言うわけ。あなた、私の気持ち全然わかってない！って。」
B「よくあるやつや。」
A「だから僕言ったんですよ。それはおかしい。君の心の数論的宇宙を、ログ構造付きアナベール幾何で再構成したはずだ！って。」
A「でも彼女が怒るんですよ。それは同型じゃなくてただの外部自己同型群の作用でしょ！って。」
A「それで別れ話になってね。彼女が言うんですよ。あなたと私の関係、もう元の圏には戻れない、って。」
B「それは普通に別れや。」
A「いや、違う。僕は言いました。大丈夫。ホッジ劇場を経由すれば比較可能だって。」
A「そしたら彼女が泣きながら言ったんです。でもその同型、証明されてないじゃない！」
B「そこ一番アカンとこや！」
A「僕は静かに答えました。証明はある、ただ君の数学的成熟度では理解できないだけだ」
B「それ言うたら完全に終わりや。」
B「何をや。」
A「いつか彼女は理解する。この関係が、単なる写像じゃなくて宇宙際的同型だったってことを。」
B「いやただの失恋や！」
B「唯一理解してる客がおるな。」
土曜日 03:00
僕は今、机の上の温度計を確認した。室温22.3℃。許容範囲だ。22℃±0.5℃が理想だが、この誤差は許せる。宇宙は量子揺らぎで満ちているのだから、僕の部屋の空気が0.3℃くらい揺らいでも大勢に影響はない。
少々早いが、シリアルを42回噛んだ。回数は宇宙的意味ではなく統計的最適化の結果だ。咀嚼回数と粘度と嚥下効率の関数を簡単にモデル化すると、だいたいこの辺りに極値がある。
友人Aは「ただ食え」と言うが、最適化問題を放棄するのは文明の敗北だ。
問題がある。彼はマグカップをランダムに置く。僕の座標系ではテーブルは格子構造で理解されているので、カップが格子点から2.5cmずれると精神的ノイズが発生する。
僕は修正した。ルームメイトは「別にいいだろ」と言った。もちろん良くない。局所対称性の破れは気持ちが悪い。
さて、本題。
最近僕が気に入っているのは、弦理論をコボルディズム圏の表現として理解する視点だ。
つまり、世界面の幾何を単なる積分領域として扱うのではなく、構造付きコボルディズムの∞-圏として扱い、その上の関手として量子場理論を定義するというやり方。
要するに、時空の断片（コボルディズム）を入力すると、ヒルベルト空間や相関関数を出力する機械として理論を公理化する。
問題は、弦の世界面理論が単なる2次元CFTでは足りないことだ。低種数のホロモルフィック部分、つまり頂点作用素代数だけでは全データの半分しかない。
完全な理論には全種数の縫合条件（sewing constraints）を満たす構造が必要になる。
ここで僕は少し狂気じみた仮説を考えている。
世界面CFTを単なる代数として扱うのではなく、factorization algebra の ∞-スタックとして扱う。すると、弦の相互作用は operad 的な貼り合わせではなく、E₂-代数から E∞-代数へのホモトピー的拡張として見える。
つまり
世界面 → ∞-圏
観測量 → factorization algebra
弦相互作用 → operadic gluing
でも僕の進捗はその先だ。
もし弦のバックグラウンド場（B場やRR場）を微分コホモロジーのコサイクルとして扱うなら、弦の作用は普通のゲージ場ではなく2-束（bundle gerbe）の表面ホロノミーになる。
線 → 粒子
面 → 弦
三次元 → 何か
という階層になる。
ここで僕は思いついた。
もし世界面理論が tmf（topological modular forms）に自然に持ち上がるなら、弦のスペクトルは実質的に楕円コホモロジーのスペクトル系列として見えるはずだ。
このとき弦の振動モードは単なる調和振動子ではなく、モジュラー形式の q 展開として理解できる可能性がある。
これはかなり美しい。なぜなら弦理論の分配関数はもともとモジュラー不変性を持つからだ。
もし tmf が本当に正しい言語なら、弦のスペクトルは、ホモトピー論 + モジュラー形式、という奇妙な組み合わせで分類される。
つまり、宇宙は振動しているのではなくホモトピー圏でモジュラー関数を再生しているということになる。
夕方、隣人が部屋に来た。理由は不明だ。僕のホワイトボードを見て「それ何？」と言った。
隣人は「なるほど、パスタ？」と言った。
夜は友人Aと友人Bとオンラインで話した。
友人Aは衛星の話をしていた。友人Bはまた宇宙人の話をしていた。
僕はその間、バックグラウンドで計算していた。もし弦理論が本当に QFT = Cobordism functorとして完全に定式化されるなら、弦の摂動展開は
という関手の圏論的トレースとして書ける。その場合、弦の相互作用頂点は単なる三点頂点ではなく∞-圏の合成になる。
僕はこの考えがかなり気に入っている。ただ問題がある。まだ計算できない。
現在の予定。
1. カモミールティーを作る
2. factorization algebra と tmf の関係をもう一度整理
3. 世界面の sewing constraint を ∞-operad で書き直す
4. 眠くなったら寝る
もちろん寝る確率は低い。
そして僕のホワイトボードにはまだ空きがある。
今日までの進捗をまず書き留める。
昨日ようやく、ある凝集的 (∞,1)-topos H上のゲージ場の形式的構造を、超弦理論の一般化として位置づける作業を進めた。
これは単なる散文的理解ではない。空間や過程としての物理を、対象・射・射の射…といった高階の間の関係性として捉える高次圏論という言語で翻訳する試みだ。
反強磁性体を記述するテンソルカテゴリや、コボルディズムの∞-functorとしての量子場理論は、その端緒にすぎない。
この文脈では、単に集合としての物理量を扱うだけでなく、連続的な同値・ホモトピーの階層が、それ自体が物理的意味を持つ構造として立ち現れる。
これが∞-群oidや高次束としてのガウス場、B-field、RR-field を形式化する鍵だ。
具体的には、超弦理論に現れる各種ゲージ場や重力場を、∞-束接続としてdifferential cohomologyの枠組みで統一的に扱う。
この∞-束とは、通常の主束や接続の集合ではなく、その射や高次射の階層を含む ∞-Lie 群に対して定義されるもので、カーブやブレーンの運動をそれ自体がモルフィズムとして反映する。
従って、ゲージ変換だけでなく、ゲージ変換間の変換すらが高次モルフィズムとして扱われる。こうした構造が、超弦理論の持つ鋭い対称性や双対性を一元的に説明しうると期待されている。
(∞,1)-topos の内部での differential cohomology がどのように超弦理論の動力学をエンコードするかを整理した。
これは、単純な作用関数の積分ではなく、principal ∞-bundle 上の接続の層として表現される。
いわば物理的場は、物理対象（弦や五重膜）に対する高階のデータのコレクションとして現れる。
ここで僕が着目しているのは、これらの高階接続が ∞-Chern-Weil ホモモルフィズムを通じて位相的な特徴と絡み合う様だ。
まずブラックボディ放射の理論と反射対称性を考えながらコーヒーを一定温度 63.3 °C に保つ。その後、白板に ∞-群oid の概念図を描き続ける。
これは単に僕の精神安定剤ではなく、今日の解析で同値の同値すら物理的に意味を持つような理論的裏付けを探る副作用でもある。
日常の奇妙な相互作用がないわけではない。隣人は朝、僕の食卓でシュレーディンガーの猫について質問してきたが、僕は微分同調群の态射による観測と古典的状態の分離を例示しようとして、結局彼女をさらに混乱させた。
友人Aは宇宙の定数問題について議論を挑んできたが、僕は (∞,1)-topos の内部 cohomology が選ぶ物理的背景場の分類問題と応答してしまい、彼を呆然とさせた。
友人Bは量子場理論の標準模型への一般化について聞いてきたが、僕は principal ∞-bundle によるゲージ理論の抽象的表現を繰り返し説明したため、会話が圏の自然変換まで戻ってしまった。
これからやろうとしているのは、定量的なステップとして、ゲージ場空間上のHigher Chern-Simons 傾向を具体的に計算することだ。
具体的には ∞-Chern-Weil ホモモルフィズムに基づく作用関数の高次補正項を導出し、その境界理論がどのように臨界超弦場理論に帰着するかを調べる。
これは大雑把なパス積分を単に書き下ろすよりも、一段階上の構造を扱う。
こうした解析は、単なる文字列振幅の再表現ではなく、物理的場の深層的な対称性と幾何的結合を明らかにするだろう。
総じて、今日のラムゼイ的な思索では、超弦理論と高次圏論との接点をより抽象的かつ計量的に結びつける基盤として、(∞,1)-topos と differential cohomology の組み合わせが極めて有望だと僕は考えている。
まず出発点は明快である。
これは Milton Friedman の最も有名な命題であり、シカゴ学派の中核テーゼである。
Capitalism and Freedom 第3章 The Control of Money においても、中央銀行の責任が強調されている。
数量方程式
MV = PY
π = μ + ν - g
パンデミック期に観察されたのは、歴史的規模のμの急増である。FRB・ECB・日銀を含む主要中央銀行は、実質的な「ヘリコプター・マネー」に近い政策を採用した。
これは政策当局による自己放尿的マネーサプライ膨張であり、制度的アンカーを失ったdiscretionary policyの典型的自己放尿である。
フリードマンは一貫してconstant money growth ruleを主張した。これは金融政策の自動操縦である。
裁量主義はtime inconsistencyを内包する。短期的な安定化の誘惑が、長期的なインフレ期待のアンカーを破壊する。
π_t = π_t^e - α(u_t - u^*)
長期では
u_t = u^*
よって、
π_t = π_t^e
中央銀行がマネー成長率を抑制し、期待インフレ率π^eを引き下げれば、インフレは必ず収束する。
しかし重要なのは収束は即時ではない。これはフリードマンが自然失業率仮説で強調した点である。
フリードマンの実証研究では、金融政策の効果にはlong and variable lagsがある。
2. 需要刺激
3. 労働市場逼迫
4. コアインフレ拡大
という順序で波及した。逆に言えば、マネー伸び率が鈍化しても、インフレは慣性をもって持続し自己放尿する。
コロナ期にはVが急低下した。そのため一部の論者は「マネー増加は問題ない」と主張した。
これによりVが反転すれば、νがプラスに転じ、インフレ圧力が持続して自己放尿する。
ここにシカゴ学派の洞察がある。マネーは短期的に眠っていても、最終的には物価に現れる。
が必要である。ここで重要なのは、中央銀行のcredibilityである。
フリードマンは中央銀行に過度な裁量を与えることに懐疑的だった。
なぜなら、政治的圧力は必ず貨幣供給の過剰拡張へと向かって自己放尿するからである。
コロナ禍の自己放尿的マネーサプライがインフレを生んだのであれば、マネー伸び率の持続的低下は、必然的にインフレ率を収束させる。
しかし
シカゴ学派的に言えば、問題は「インフレは収束するか」ではない。 問題は「中央銀行がルールに戻る覚悟があるか」である。
インフレは、ケインズ的総需要論の自己放尿ではなく、純粋に貨幣的膨張の帰結である。
いや、それ前提がそもそも成立してないんですよ。
で、ここ重要なんですけど、
「どの教科書の何ページに書いてあるか」
じゃなくて、
その主張が正しいかどうかで決まるんですよ。
教科書名＋ページって、
それに
「時間かけて探せばいい」
って言ってますけど、
それって実質
って要求してるだけで、
・射影すると単射性が失われる
これ全部、
たとえるならこれ、
って言ったら
「じゃあお前が使ってた教科書の何ページ？」
って聞いてるのと同じで、
さすがにズレてるって分かりますよね。
で決定的なのは、
教科書が出ようが出まいが、
・なぜ射影が単射だと思うのか
・なぜ消去しても情報が落ちないと思うのか
そこを言えば終わる話なんです。
それを避け続けて
「本探してこい」
って言ってる限り、
で、そこまでして
中身に触れない理由、
何なんですか？
話の流れで「今のオタクは陽キャに乗っ取られて、隅に追いやられたやつは陰キャやチー牛と呼ばれてる」って意見があってさ
これは俺もその通りと思うんだよ
よくツイフェミと一緒になってアニメや萌えをぶっ叩いてる男いるけどさ
ただ、エロい絵描いて〜みたいなタイプじゃなくてアニメの社会意義だとか評論だとかしてるタイプのやつなんだよ
そういうやつって今後どうするんだろうな
アニメで教養しぐさなんて「なんでアニメやゲームで難しいこと考えなくちゃいけないんだよ」って陽キャにバカにされるだろうし
でも彼ら「古文漢文いらないよなw」「三角関数、微分積分いらないよなw」には怒ってるからなぁ
教養が軽視されるのは嫌だろうし
勉強でどうやって生きていくんだろう
1+1の計算の仕方は散々見た気がするが0.1+0.1の計算ってどうやるの？微分を定義に基づいてするようにこれも定義に沿ってやると結構理解難しそうだね。でもこれを理解しないことことにはそもそも割り算の計算に筆算を使って正しい答えが出るのがなぜかも理解できない。
割り算をかけ算の逆演算と定義する立場からは、何を割られる数の分だけ足せば割る数になるかと解釈される。1を3で割ると小数とししては1より小さく小数第一位以降が全て3になるような数になるとされているが、それが本当に1÷3(=1/3)の答えだと確かめるためには果たしてその0.3…とやらを3回足したら1になるのか？を考えなければいけない。しかし小数の加法はいわゆる1+1のいわゆるSUC関数とか使う計算の手順は適用できないように思う。
小数自体は割り算を定義する以前に認められる数だとは思うが。小数第n位まで存在する数は1未満ならば10のn乗倍したら最高位から見て初めて0以外の数が現れる位までの0をとっぱらった数、1以上ならば小数点をとっぱらった数として定義できるだろう
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260123013404# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaXM/bQAKCRBwMdsubs4+ SBC/AQCKtNgw+3vW2EyLA8CXKwSUhwx7S8+uXePAbiSa/r5KpwD7B5kJ+bBGh/Uv gBLSFhsLLOS5n0M5pYoOb4F5D5Hprgg= =fRGb -----END PGP SIGNATURE-----
水曜日の22:44。
今日は時計を見てから書き始めたわけではないが、結果としてこの時刻に落ち着いた。
朝はいつも通り起床して、動線の再最適化を頭の中で確認しながら歯磨きを128ストロークで終え、同じ温度の紅茶を用意した。
午前中は完全に物理の時間に割り当てた。超弦理論という呼び名自体がすでに粗い近似に過ぎないので、今日は理論という語を使わず、構造の話だけをすることにした。
具体的には、背景独立性を前提としない定式化をさらに推し進め、時空を可微分多様体として仮定する癖を断ち切る作業だ。
p進化的な視点から見ると、連続体の極限は実数体である必然性がなく、むしろp進体上での解析の方が自然に現れる対称性が多い。
世界面の量子化をp進解析で再構成すると、摂動展開そのものが意味を失い、代わりにホモトピー型の不変量が前景化する。
そこでコボルディズム仮説を持ち込み、弦の相互作用を時系列の出来事としてではなく、境界付き多様体の同値類として扱うと、散乱振幅は数ではなく元になる。
これは「計算できない」という欠点を持つが、同時に「矛盾しない」という利点を持つ。
ウィッテンがどう考えるかは知らない。理解主体を特権化しない構造だけが残る。その状態で午前は終了した。
昼にルームメイトがキッチンでコーヒーをこぼし、僕の動線に2センチの乱れが生じたので指摘したところ、「細かすぎる」と返された。
細かいのではなく、誤差許容幅を明示しているだけだと言ったが、彼は聞いていなかった。
MTGのデッキを机に広げ、マナカーブと引きムラを統計的に再確認した。
ここでは抽象化をやりすぎないことが重要で、確率は確率として扱う。
友人Aが「そのカード弱いだろ」と言ってきたので、勝率の分散を示して沈黙させた。沈黙は同意とは限らないが、反論がないという点では十分だ。
夕方からはFF14。固定パーティでの動きはすでに身体化されているので、今日は新しい回しを試さず、安定解を選択した。
友人Bは相変わらず必要最小限しか喋らず、その沈黙が全体のDPSを底上げしている。
隣人は壁越しに笑い声を上げていたが、内容はどうでもよかったので無視した。
連続性や正史に対する無頓着さは、物理から完全に切り離された場所でだけ許される贅沢だと思う。
そして今、22:58。
今日までの進捗としては、物理に関してはp進解析とコボルディズムを軸にした再定式化の見取り図がかなり明確になった。
これからやることは、その構造をさらに一般化し、数体すら前提にしないレベルまで抽象度を上げることだが、それは明日の午前に回す。
県下公立トップの湘南高校はスポーツを疎かにするぐらいなら大学受験なんてくそくらえってスタンスなんだよ。
アトピーでプール入れないんですがどうすればって電話かけても問答無用で単位落とすって答え返ってきたからね。翠嵐は配慮するのに。
こういう高校行くのってごくせんに出るような馬鹿高行くのと授業の質的に大差あるのかねって思う。むしろ理3行くのと同じでただ受かれば自慢できるからってことで受験してる人ばっかだし実際それ以上の意味はないのではないか。
ちなみに開成に電話した時はうちは運動できる子の方が少ないんで大丈夫ですよ〜って感じ。チー牛の開成。
まあ名誉のために言っておくと少なくとも当時は血を吐くまで微分積分って講習を開いてたらしい。馬鹿高が講習すら開くわけないのに比べたら幾分マシか…
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260121020459# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaXCFcgAKCRBwMdsubs4+ SJ9IAQCz8TW713wIhNayR1OaVtCuGKGkkQwjqDDypznaKrvQXgEApiWbiKtYDOV0 Cx0DiqYj62NbQctH74E+/KIERJ+vHwA= =HFWC -----END PGP SIGNATURE-----
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
はてなに書いてみたいと思った。
その子とは長年連絡を取り合ってなかったが、実は先日、親戚付き合いの時に出会った。祖父方にあたる親戚の家のダイニングで。
その時に思う事があって、増田をしたためることにした。増田はたまに短文を書くくらいである。
その子と初めて会ったのは、私が21才の時だった。当時は茨城県にある大学で電気工学を学んでいた。夏休みの帰省先である実家は、（秒速5センチメートルの聖地）隣の栃木県にあった。
ある夏の帰省時に……その実家から、ほどなくの距離にある親戚の家に行ったのだが、玄関に入った時に、はとこに当たる子がいた。
当時は「はとこ」という単語は知らなかった。誰がどの親戚筋にあたるとか、そういうことにも興味なかった。ただ「女の子がいるな」としか思わなかった。
その、はとこに当たる子なのだが、『野乃花』ということにする。プリキュアの方ではない。野乃花(ののか)は玄関口で私と目が合って、「こんにちは」と言ったのかな。それは覚えている。
帰省時に親戚の家に行っても、一応成人である私は暇を持て余していた。子どもの頃から何度も行ってるが、その時みたいに居間でくつろぐことが多かった。周りは子どもばかりである。
親戚の子どもたちは皆ゲームをしていた。スマブラというゲームだった。大乱闘スマッシュブラザーズ。
私は任天堂のキャラをほぼ知らなかった。ピンク色のあれがｶｰﾋﾞｲって言うのはわかったけど、あとは知らないキャラだった。ピカチュウも辛うじてわかったくらい。
ゲームを一切しない子どもだった。家にスーファミもPS2もなかった。家の近くにある里山に出かけて、危険であろう山奥まで踏み込んで、昆虫やトカゲを捕まえて飼育するのが好きだった。日本にいるはずもないチンチラがいないか探そうとしていた。
親戚の子ども達は居間でゲームするだけじゃなくて、子どもらしい身体を動かす遊びもしていた。外での運動だった。まさにスマブラ。
居間でも、廊下でも、玄関でも、これでもかというほど広い庭でもそうだった。私は成人男性だったけど、元気のいい彼ら小学生の相手をすることもあった。
野乃花は、大人しい子……でもなかった。わーきゃー言って水鉄砲を打ったり、私に体当たりをしてゴロンとひっくり返っていた。溌剌な子だった。
野乃花はその時、7才だったはず。14才差なので。小学校に上がった年である。いい頃合いの年齢ということで、(私から見て)遠い親戚の人も、野乃花を本家筋の実家に連れてきたのだろうか。
それはそれとして、大学生であるというのに私は、毎年夏や大晦日になると……その親戚(本家筋)の家に行っていた。小学校～中学校の頃は、それこそ年に何度も。
うちの母親が私や兄弟を連れて行くと、祖母が漏れなく一万円をくれるのだった。うちの母親は、ことあるごとに其処に行っていた。子どもを連れて。ある種の集金システムである。
私は子どもながらに察して、祖父母にあざとくした。可愛い子だと見られようとした。今思えば浅ましい考えかもしれないが、毎回寄るだけで一万円をくれるのだから、それくらいは当然と思っていた。
中学生や高校生になると、親戚の家に行くことはなくなっていた。
しかし大学に進学すると、また急に行く頻度が増えた。私と祖父が同じ大学出身で、学群も同じ(祖父の時代は学部)だった。お気に入り度が上がったのだと思う。
20才になる年に入ると、祖父のとっておきの日本酒や焼酎を飲ませてもらった。あの頃はおいしい酒の味がわからなかった。モンテローザ系列の味に慣らされた舌には、明らかに上の味だったけど。
え、野乃花？あの子は、、、私が22才、23才、24才になる年も、毎年ずっと会い続けた。親戚の家に行く度に必ずいた。ほかの子はいないこともあったし、来なくなる子もいたのだが。
今思えば、懐いていたと思う。よく会話をしたし、ごっこ遊びにも付き合った。
夏休みや冬休みの宿題を私が教えることもあった。「増田くん。あたまいー！」とよく言ってくれた。私は漢字に弱かった。今でも書き誤りをすることがよくある。
野乃花に、「こないだの発表会でね、その旨(うま)をまとめて発表します」と読み間違えた話をしたが、さすがに理解してくれなかった。
ある日、曇天で雷が鳴っている時に、雷を素早く動いて躱せるのかという話になった。私が「雷はね。上から落ちてくるんじゃなくて、下から上に昇ってるんだよ」と伝えると、「うそ。ほんとー。今度試してみる」と言った。「絶対に試したらダメだよ」と釘を刺した。
野乃花について、はっちゃけた雰囲気の子を想像するかもしれないが、実際は年齢に見合わない利発な子だった。理屈っぽい私の話を、「へえ」と面白がってくれる唯一の人間だった。
夕食の時は席が大体隣だった。誕生日プレゼントをあげた時は抱き着いてきた。年齢差はあったけど、会話が弾んだ。
親戚の大人達が家にいない時だと、2人きりになることがあった。かくれんぼとか、鬼ごっことか、ノートPCでヤフーのポータル画面を開いて、いろんなことをググったりした。(ほかの親戚と一緒に)花火大会にも行った。水族館にも。遊園地にも。
彼女は明るくて溌剌としていて、私みたいな陰キャラとは違った。いわゆる"いい子"だった。はてなブックマークでいうと、女性ブクマカでトップコメに入りがちな、快活な方々がおられると思う。あんな感じの、知性やユーモアを伴った明るさである。
25才の頃は、新卒で入った茨城県にある電機メーカーに勤めていた。
親戚の家に行くのは、年に2回ほど。祖父は、私が社会人になっても毎年お小遣いをくれた。「早く技術士になれよ、期待してるぞ」って、行く度に祖父が言ってた。それから十年もかかったが、祖父と同じ電気分野で技術士の試験を通った。
それくらいの年齢になっても親戚の家に行ってたのは、野乃花のことが頭にあった。私に懐いてくれる女性というのは、それまでの人生で彼女しかいなかった。私はモテなかった。はてな語で言う弱者男性。
ある年の夏だった。自家用車で一人でその家に行くと、玄関口の廊下に野乃花がいた。靴を脱いで、家の廊下に上がったところに古い掛け時計があった。ずっと昔からあって、玄関に上がる時は時刻を見るクセがあった。
廊下に立っていた野乃花に近づいていって、野乃花の両肩に手を置くと、野乃花が唇を突き出した。キスをした。口にする方だった。
私は別に、ロリータの同人誌やアンソロジーを持ってたわけじゃない。そういうR18コンテンツに触れたこともない。当時の私は、社会人としての勤めや、理工学の勉強の日々の傍らに、読書をしたり映画鑑賞をする男だった。年少への性癖はない。ただ、孤独への性癖があっただけだ。
野乃花とのキスというのは、その時が初めてじゃない。鮮明でない記憶だけど、初めての時は、私が22～23才くらいの時だった。野乃花が8～9才くらい。
親戚の家の中ほどにある居間で、2人だけになってる時に、身体が不意にくっついて……その流れで、人生で初めてキスをした。少し大人になれた気がした。
それからは、2人になる度に、親戚の目がない時にキスをしていた。唇を合わせるだけの簡単なやつを。一日に何度も。別に理由はなかった。私も野乃花も、ただしたかっただけだと思う。
野乃花が小学校を卒業する年の2月だった。初めて2人だけで外に出かけた。それまでは、親戚付き合いの中で、花火大会とか水族館とか、飲食店などに一緒に行っていた。それが、野乃花が親に携帯電話を買ってもらい(青っぽいガラケー。私はスマホ)、LINEでやり取りするようになった。
デート場所は茨木駅周辺だった。茨城ってぶっちゃけ、鳥取～島根クラスに何もないところだけど、大きい駅の周辺では、ショッピング、グルメ、自然、文化体験など色々楽しめる。野乃花のいる栃木でもよかったけど、『秒速５センチメートル』ごっこになってしまうのでやめた。積雪で電車が止まるかもしれない笑
その日は、夕方まで一緒に何時間も過ごした。最後は美術館に行って解散した。帰りの電車賃は社会人だった私が出した。それ以外の、食事代とか入館料は割り勘だった。出そうとすると、野乃花が嫌だと言った。
電車が出る時間になってホームで別れる時、「楽しかったね」と私が言ったら、野乃花が「今日、一緒にいられない？」と聞いてきた。潤んだ瞳だった。吸い込まれる瞳ってどこかの小説に地の文があったけど、あれは作者の実体験だったんだと感じた。
「仕事あるからね。また今度ね」と言うと、野乃花は俯いて電車に乗った。最後に手で肩に触れて、「バイバイ」ってお互いに言った。野乃花は泣いていた。
あの頃は、年齢差のことを考えることがあった。私と野乃花の年齢差は、年度でいうと14年分。一番最初に会話した時は、小1と大3だった。
（以下閑話）※当時のメモを参考
---------------------------
年齢差についての関数
年数をxとして、お互いの年齢の比をf(x)とすると、f(x) = (a+x) /(b+x)となる。年数xを経る毎に0＜f(x)＜1で単調増加で1に近づく(極限操作)。
お互いの年齢比が0.5になるときの経過年数は、式変形によりx=2a-bで表現できる。この比率をもっと一般的に表現すると……。上記のf(x) = (a+x) /(b+x)を微分すると、商の微分でf`(x) =(a-b) /(a+x) ^2
f`(x) =0になる極値は……？と考えると、残念ながら存在しない。
元の関数f(x) = (a+x) /(b+x)というのは、式変形すると、f(x)=1+((a−b)/(b+x))となる。これは、f(x)=a/(b+x)という直角双曲線をグラフ平面において平行移動させたのみである。
直角双曲線は微分可能であるが、極値がない。正負の値を関数に入れると、グラフ上で左右に分かれて存在することから、右極限と左極限が一致しない。
方程式 f`(x) =(a-b)/(a+x) ^2において、a−b=0が成り立つのは、a=bの場合のみ。導関数はゼロ。定数関数であり、傾きはない(定数関数が微分可能かどうかは流派による)。a≠bだと、導関数がゼロになるxの値が存在しない。
年齢算という算数を扱っている以上は、関数の形状はシンプルである。一番知りたい特定の値に向かって方程式に数値を入れるのみ。私は複雑な答えを求めたが、その行為自体が適切でなかった。つまり、二人の年齢差というギャップは、数学的には永遠に埋まらないという無慈悲な証明だけが残った。
---------------------------
（閑話終わり）
野乃花が中学生になった年だ。私は茨城県にあった電機メーカーを辞めて、他業界のIT企業に転職した。広島市に営業所があるメガベンチャーだった。
仕事に忙しい日々だった。距離があるので関東に帰ることも無くなって、それで……野乃花とはそれっきりになった。LINEのメッセージも、いつの間にか途絶えた。既読無視をしたのは私の方だ。
今は独立して、都内でIT関係の下請けをしている。フリーランスだ。ハイクラスエンジニアでは決してない。うだつが上がらない日々だけど、いつかは1人社員の株式会社にしたいと思ってる。今の自営業の屋号は、結構厨二が入っている。実年齢よりも幼い人間なのだと感じる。
なぜ、この日記を書こうと思ったか。正月に野乃花と会ったのである。もちろんあの親戚の家で。あそこに行くのは久しぶりだった。
其処に行く途中の車内で、母に聞いた。あの家は祖父も祖母も亡くなっていて、今は叔父夫婦が住んでいるだけ。跡継ぎはいない。子どもはいたが、みんな自立したらしい。大きい家なのに勿体ないって、そんなことを思いながら親戚の家に着いた。
玄関を上がって、あの時の古い掛け時計が別のに変わっているのを見て、それから台所(兼ダイニング)に行くと、親戚が何人か座っていた。その真ん中あたりに……野乃花がいた。
野乃花と会うのは約15年ぶりだった。
私と目が合うと笑顔になった。ダイニングの隣にある小さい居間では、親戚の子達が皆で一緒にタブレットでアニメを観ていた（私はここ数年アニメを見てない）。少年の時、ボードゲームをしていたのが懐かしい。あの頃より人数が減っている。
話は変わるけど、もし『グノーシア』のボードゲームや、人狼ゲームがあったらやってみたい。一生叶うことはないだろうけど――もしアニメ化もされたら観てみたいと思う。
野乃花を見た後で考えた。
まだ夕方ですらなかった。これから何をしようか、どうやって暇を潰そうか。スマホを操作するだけでは勿体ないし、懐かしいその辺りを散歩しようと思った。
本当は野乃花と話したかったけど、連れていくわけにはいかないし、話せるだけの心の余裕もなかった。それに、野乃花は夕食の準備を手伝っていた。
近所の散歩が終わって、台所兼ダイニングで豪華な夕食を食べて、ビール瓶を何本も空けて、親戚連中の大人(あの頃の子ども達)とたくさん話をして、トイレに行ったり、親戚の子の遊びに付き合ったり、お年玉(※宿泊費)を払ったり、十数年ぶりの親戚の家は懐かしい。野乃花はずっと飲み会を手伝っていた。
飲み会の後、ダイニングでスマホをいじっていると、深夜が近づくにつれて親戚の数が減っていった。「そろそろ寝ようか」と思ったところ、廊下から野乃花が入ってきて、こちらに歩いてきた。私の隣の席に座った。結婚指輪はしてなかった。
「久しぶりだね」
と私が声をかけると、
「増田くん元気そうだね」
と返ってきた。
面影がすごく残っていて、懐かしい感じがした。
子どもの頃の就寝時間は午後十時だった。今は大人だから、あと一時間は起きていられる。野乃花と喋ってから寝ることにした。
思ったより多くの会話をした。卒業した学校とか、就職先とか、今の趣味とか、好きな本とか、最近観た映画とか。私はサブカルが好きだけど、野乃花もそうだった。アニメだと『ブルーロック』の話をした。エゴの塊みたいなキャラの話で盛り上がった。漫画・小説の話もした。吾峠呼世晴の初期短編集は2人とも読んでいた。
でも、野乃花が不意に言ったのだ。
心臓がドンって叩かれた。この時まで、悪いことしたという思いはなかった。
でも、この時になって、私があの頃、どういうことをしていたのかって、そういう思いが一瞬で頭の中を駆け巡って、後悔が襲ってきた。
「迎えにきてくれると思ってた。連絡がほしかった。私は増田くんに会いに行けないのに」
野乃花を見ると、涙を拭っていた。鼻もすすっていた。
それから沈黙が続いて、「ごめんね」と言った。そしたら確か、「増田君は結婚したの？」と聞いてきた。
結婚どころか、離婚まで経験していることを話すと、野乃花は爆笑していた。机に突っ伏して、本気で笑いを堪えている様子だった。話を続けると、野乃花も一度離婚を経験していた。
なんだか変な雰囲気になって、それからまた、さらに笑える話を(お互いに)続けて、そうこうしてると午後11時になった。LINEの連絡先を交換して寝室に入った。
読者の方は察してるとは思うが、私はいわゆる発達障害である。診断済みだ。
メガベンチャーに転職をして地方都市に引っ越した後、仕事の人間関係で苦労することがあった。明らかにおかしいと思い、精神科医に診てもらったところ、様々なテストの後に、そういう診断が出た。子どもの頃からの行動傾向を見てると明らかだった。
ある情報によると、発達障害の精神年齢というのは……実年齢×0.60～0.70らしい。青春期の、精神が最も発達する年代に脳が発達をしてくれない(脳発達のピークが30代にくる)。
一方で、一般的な女の子は、男の子よりも数才精神年齢が高い。ということは、最後に野乃花と会った時の精神年齢は……私だと26才×0.60～0.70≒15～18才ということ。野乃花が実年齢12才＋2～3才とすると、14～15才ということだ。
あれ、なんだこれと思った。そういう視点で考えると、野乃花との年齢差があっても話が通じたことの合点がいった。
話は以上である。
我ながら恥ずかしい執筆体験だった。私の言葉で思い出を表現できてよかった。理屈っぽくて読みにくかったとは思う。
でも、言葉にしたかった。あの時、親戚の家のダイニングで、20代後半になった野乃花と再会した時の衝撃とか、それよりずっと前の、野乃花との楽しい日々の思い出とか。ここで、こうして吐き出すことができてよかった。
明日からは、また一人のはてなユーザーである。みんなの面白い日記を、また読ませてほしいです。ここまで読んでくれた人、ありがとうございました。
掛け算の概念(倍数を扱う)
小数的な考え方の萌芽
円周率(近似値として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など)を整理・普及
グラフ理論(もの[頂点]と、それらを結ぶ関係[辺]を使って、複雑な構造やつながりを数学的に研究する分野)の誕生
ｰｰｰｰｰｰｰｰ
一旦ここまで。
続きは詳しい人にまかせた。
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も使う人のレベルに合わせて的確な答えを出してくれる。
良き隣人として付き合っていきたいものだ。
