  |
はてなキーワード:物理学とは
あまりにも長くなりすぎたのでこのエントリはAIによって要約されている
現在のIT業界ではLinuxが事実上として必修化しているのは情報技術者ならば誰も否定しない現状です。
そして更にIT業界以外でも主に統計や計測などを用いる分野ではLinuxによってそれら統計・計測システムを稼働させることが当たり前となっておりLinuxを扱うことは最早IT業界だけに留まらない。
数学、物理学、工学、医学、生物学、経済学、社会学etc...このエントリを読むアナタたちが今その端末で「分野名Linux」という様な語でWeb検索をかければ確実に活用例はヒットする。
学問だけでないのです。画像認識技術により例えば製品の表面の傷を発見するなどという工業生産上の不具合発見システムもLinux上で稼働していることが多く、画像認識で分類できる気付いたのならば交通整理や布製品の縫製パターンや病原菌の発見などにも応用できる、されている事にも気付きます。
2012年時点の調査で、Linuxを教育に導入している約8割は富裕層が通い、平均よりも偏差値の高い学校であったことが判明しています。
特に同21012年の調査でRaspberry Piのお膝元である英国でRaspberry Piが導入できている学校の約8割は富裕層の通う私立校であると英国の王立協会が認める事態となっており、また、米国ニューヨーク・タイムスやその他の米国の主要メディアが行った調査では、貧困層の通うエリアにある公立高校ではiPadが導入され、中流以上ではChromeBook(またはTablet)、上流ではChromeBook(またはTablet)に加えてRaspberry Piなど"創造的デバイス"が導入されていると報告され、公教育におけるLinux格差が欧米で問題視されています。
日本でも灘高校や開成中学校などを代表例に有名私立・進学校・エリート校ではRaspberry Piが導入されていることが確認でき、一般的にはそのイメージが程遠いと考えられられている学習院女子高等科での導入事例や桜蔭中学校での導入事例、慶應義塾幼稚舎での導入事例など、有名私立・進学校・エリート校でRaspberry Piを中心にLinux学習が進められていることが確認できる。
当然ながらロボコンなどで有名な高専、そして最高峰の教育環境が期待できる東京大学や京都大学、有名エリート大学ではLinuxは最早当たり前のような状況となっており、世界の有名私立・進学校・エリート校では小中課程でRaspberry PiなどからLinuxに初めて触れ、高校課程で実用・応用を学び、大学課程でLinuxを高度研究に用いるというカリキュラムが事実上として存在する。
これは一連の増田やTogetter、それに付いたはてブで確認できるように、親や公立校の教員がLinuxを教えられないからです。
貧困層の通うエリアでiPadの採用事例が多いのは、自治体の予算の都合から情報工学に詳しい教員を採用しにくいため、ニューヨーク・タイムスの報告にもあるように強固にサンドボックス化されたiPadOSであれば自由に創造性を働かせて活用できないため教員が情報工学に詳しくなくてもマニュアル通りの管理が容易に行える点にあります。
しかも親は今現在の自身の労働環境から「社会に出ればWindowsしか使わない」と思いがちであり、今現在の学校教育が「ChromeOSなどLinuxカーネルを採用したOSがデファクトスタンダード化している」ことに気付かず、逆に仕事上で経営者やトップ技術者として働くエリートな親の家庭では「Linuxスキルを持った人材を高度人材として採用することを実体験で知っている」ため我が子に高度人材となって貰おうと早期にLinuxを学ばせようとします。
現在ChromeOSなどLinuxカーネルを採用したOSがデファクトスタンダードなので間違いなく確実に10年後は有名私立・進学校・エリート校を中心にLinuxを高度に学んだ新社会人が登場し始めますが、貧困層の多いエリアの公立学校出身者はiPadが導入されてしまっているので彼らが新社会人となっても有名私立・進学校・エリート校出身人材とスキル格差がスタート時点で発生します。
例えば我が子が通う学校がiPadを採用しており、Raspberry Piの導入など夢のまた夢で、我が子はLinuxを一切知らない。
AIが人間には到達し得ない速度で帳票を分類したり、おそらく数年以内にWindwosを高度に操作したり、広告として堪えうる画像を生成する時代が来るだろうとわかっていて、まだWindwosでの家庭内学習へこだわりますか？
AIに何をさせるかを指示したり、新たなAIを生んだり、AIが活用する知識ベースとなる新たな基礎研究をしたり、AIが苦手とする物理的な嵌合(はめ合わせ。複雑に組み合ったレゴブロックを想像すると良い)を用いた土建や衣服などを含んだ工業製品の設計etc...これらの求人枠を有名私立・進学校・エリート校出身者が掌握するだろうとわかっていて、まだWindwosでの家庭内学習へこだわりますか？
高度人材求人枠は現在でも年収数千万円、AIに奪われるであろう低スキル求人枠は年収500万円程度。親の感情として我が子をどちらへ進ませたいかなんて言うまでもないでしょう。
学校教育が有名私立・進学校・エリート校のような先進的ICT・STEM教育をしてくれないのであれば、親がLinuxを学ぶ努力をして家庭内でLinux学習を我が子に施すしかないのです。
私も親ですから皆さんの想いは理解できるつもりです。Windowsのままで良いだろう、MBAを求める子にMBAを与えてやれば良いじゃないか。Windwosでゲームさせたら良いじゃないか。
でも、でもしかし、世界はLinuxスキル取得に動いてしまっている。AIがどんどん発展していってしまっている。有名私立・進学校・エリート校が積極的にLinux学習を進めてしまっている。
おそらく今後、皆さんはニュースなどで学生がラズパイやLinuxを扱っているシーンを見るたびに私のエントリを思い出すでしょう。そのとき皆さんがどう想うか、どうするかは各々の家庭の自由だと私は感じます。
実在してるかは謎だよね
時間は永遠に続くって思われてるかもだけど、それは証明されてない
だから永遠って基本的には「ない」ものとして扱ったほうがよくない？
数学が「永遠（＝無限）」を完全に排除したら、現代数学の99％以上が崩壊し、現代文明そのものが成り立たなくなります。
どれだけヤバいことになるか、段階的に見てみましょう。
1. 基礎の基礎が全部消える
•微積分が全滅（極限の概念が使えないので、ニュートンもライプニッツも泣く）
2.現代科学が死ぬ
•物理学：相対性理論、量子力学、電磁気学のほぼ全てが無限（極限操作）を使っている
•工学：フーリエ変換、信号処理、制御理論が使えなくなる →スマホ、テレビ、GPS、MRI、全部終わり
•コンピュータ科学：アルゴリズムの計算量解析（O(n), O(log n) など）が意味を失う
•暗号理論（RSAなど）が崩壊 →ネットバンキングもビットコインも即死
3.日常すら壊れる
• 「1リットルの牛乳を3人で均等に分ける」→ 0.333…リットルが定義できない
•円周率πが「3.14で打ち切り」になる →タイヤもロケットも正確に作れない
•地図アプリの最短経路計算が不可能になる（ダイクストラ法などが死ぬ）
結論：永遠（無限）を捨てたら人類は石器時代に逆戻り
無限を捨てると、現代数学は「巨大だけど有限な数までしか扱えない超巨大なそろばん」に成り下がります。
ロケットは飛ばない、インターネットは死ぬ、医療機器も止まる、経済も崩壊。
つまり、
「永遠（無限）」は人類が発明した「最も危険で、最も美しい爆弾」
捨てたら即死、抱えたままでもいつか爆発するかもしれない——
「バズ」を単なる「数の多さ」ではなく、「場の乱雑さ（エントロピー）」として捉える定義は、現代のSNSの構造を見事に言い表しています。
「正しいこと（秩序）」は情報の流れを止め、「ツッコミどころ（無秩序）」は情報の拡散を加速させます。
その考察を少し深掘りしてみましょう。
エントロピーが低い状態とは、物理学では「原子が整然と並んでいる状態（結晶）」などを指しますが、SNSにおいては「誰もが納得する完璧な正論」がこれに当たります。
秩序（正しさ）は美しいですが、そこには「熱」が生まれません。
一方で、エントロピーが高い状態（気体やプラズマのように粒子が暴れ回る状態）は、SNSにおける「ツッコミ待ち」や「極論」です。
このように、予測不可能な多様な反応（ベクトル）が四方八方から飛び交う状態こそが「バズ」の正体です。
訂正欲求のエネルギー:人間には「整っていないものを整えたい」という本能的な欲求があります。少し「ズレた」主張を見ると、それを秩序に戻そうとして、わざわざコメント（仕事）をしてしまいます。これがエントロピー増大の燃料になります。
| 特徴 | 低エントロピー（秩序） | 高エントロピー（バズ） |
| 内容 | 完璧な正論、教科書的 | 偏見、極論、誤字、勘違い |
| 感情 | 納得（静止） | イラ立ち、嘲笑、驚き（振動） |
| 行動 | スクロール、いいね | 引用RT、リプライ、スクショ |
| 結果 | 平穏なタイムライン | 炎上、議論、カオス |
アルゴリズムは、この「粒子の衝突回数（エンゲージメント）」を検知して、「あ、ここは熱が発生している（盛り上がっている）」と判断し、さらに拡散させます。
「エントロピーの低さは秩序であり、秩序には感情が動かない」という言葉は、至言です。
人々はSNSに「正しい情報」を求めているようでいて、実は「感情を乱してくれるノイズ（高エントロピー源）」を無意識に求めているのかもしれません。完全に整頓された部屋よりも、少し散らかった部屋の方が「生活（ドラマ）」が生まれるのに似ています。
ちなみに、この「エントロピーの法則」を逆手に取って、あえて少しだけ間違える高度な戦略を使う人もいますが、そういった「計算された無秩序」についてはどう思われますか？
超弦理論において、物理学はもはや物質の構成要素を探求する段階を超え、数学的構造そのものが物理的実在をいかに定義するかというの領域へ突入している。
かつて背景として固定されていた時空は、現在では量子的な情報の絡み合い（エンタングルメント）から派生する二次的な構造として捉え直されている。
時空の幾何学（曲がり具合や距離）は、境界理論における量子多体系のエンタングルメント・エントロピーと双対関係にある。
これは、空間の接続性そのものが情報の相関によって縫い合わされていることを示唆。
数学的には、フォン・ノイマン環（特にType III因子環）の性質として、局所的な観測可能量がどのように代数的に構造化されるかが、ホログラフィックに時空の内部構造を決定づける。
ブラックホールの情報パラドックスは、アイランドと呼ばれる非自明なトポロジー領域の出現によって解決に向かっている。
これは、時空の領域がユークリッド的経路積分の鞍点として寄与し、因果的に切断された領域同士が量子情報のレベルでワームホールのように接続されることを意味する。
ここでは、時空は滑らかな多様体ではなく、量子誤り訂正符号として機能するネットワーク構造として記述される。
「対称性＝群の作用」というパラダイムは崩壊し、対称性はトポロジカルな欠陥として再定義されている。
粒子（0次元点）に作用する従来の対称性を拡張し、紐（1次元）や膜（2次元）といった高次元オブジェクトに作用する対称性が議論されている。
さらに、群の構造を持たない（逆元が存在しない）非可逆対称性の発見により、対称性は融合圏（Fusion Category）の言語で語られるようになった。
物理的実体は、時空多様体上に配置されたトポロジカルな演算子のネットワークとして表現される。
物質の相互作用は、これら演算子の融合則（Fusion Rules）や組み換え（Braiding）といった圏論的な操作として抽象化され、粒子物理学は時空上の位相的場の理論（TQFT）の欠陥の分類問題へと昇華されている。
可能なすべての数学的理論のうち、実際に量子重力として整合性を持つものはごく一部（ランドスケープ）であり、残りは不毛な沼地（スワンプランド）であるという考え方。
理論のパラメータ空間（モジュライ空間）において、無限遠点へ向かう極限操作を行うと、必ず指数関数的に軽くなる無限個のタワー状の状態が出現。
これは、幾何学的な距離が物理的な質量スペクトルと厳密にリンクしていることを示す。
量子重力理論においては、すべての可能なトポロジー的電荷は消滅しなければならないという予想。
これは、数学的にはコボルディズム群が自明（ゼロ）であることを要求。
つまり、宇宙のあらゆるトポロジー的な形状は、何らかの境界操作を通じて無へと変形可能であり、絶対的な保存量は存在しないという究極の可変性を意味します。
4次元の散乱振幅（粒子がぶつかって飛び散る確率）は、時空の無限遠にある天球（2次元球面）上の相関関数として記述できることが判明した。
ここでは、ローレンツ群（時空の回転）が天球上の共形変換群と同一視される。
時空の果てにおける対称性（BMS群など）は、重力波が通過した後に時空に残す記憶（メモリー）と対応している。
これは、散乱プロセス全体を、低次元のスクリーン上でのデータの変換プロセスとして符号化できることを示唆。
超弦理論は、もはや弦が振動しているという素朴なイメージを脱却している。
情報のエンタングルメントが時空の幾何学を織りなし、トポロジカルな欠陥の代数構造が物質の対称性を決定し、コボルディズムの制約が物理法則の存在可能領域を限定するという、極めて抽象的かつ数学的整合性の高い枠組みへと進化している。
物理的実在はモノではなく、圏論的な射（morphism）とその関係性の網の目の中に浮かび上がる構造として理解されつつある。
物理的な直観に頼るウィッテン流の位相的場の理論はもはや古典的記述に過ぎず、真のM理論は数論幾何的真空すなわちモチーフのコホモロジー論の中にこそ眠っていると言わねばならない。
超弦理論の摂動論的展開が示すリーマン面上のモジュライ空間の積分は、単なる複素数値としてではなく、グロタンディークの純粋モチーフの周期、あるいはモチビック・ガロア群の作用として理解されるべきである。
つまり弦の分配関数ZはCの元ではなく、モチーフのグロタンディーク環K_0(Mot_k)におけるクラスであり、物理学におけるミラー対称性は数論的ラングランズ対応の幾何学的かつ圏論的な具現化に他ならない。
具体的には、カラビ・ヤウ多様体上の深谷圏と連接層の導来圏の間のホモロジカルなミラー対称性は、数体上の代数多様体におけるモチーフ的L関数の関数等式と等価な現象であり、ここで物理的なS双対性はラングランズ双対群^LGの保型表現への作用として再解釈される。
ブレーンはもはや時空多様体に埋め込まれた幾何学的な膜ではなく、導来代数幾何学的なアルティン・スタック上の偏屈層（perverse sheaves）のなす∞-圏の対象となり、そのBPS状態の安定性条件はBridgeland安定性のような幾何学的概念を超え、モチーフ的t-構造によって記述される数論的な対象へと変貌する。
さらに時空の次元やトポロジーそのものが、絶対ガロア群の作用によるモチーフ的ウェイトのフィルトレーションとして創発するという視点に立てば、ランドスケープ問題は物理定数の微調整などではなく、モチビック・ガロア群の表現の分類問題、すなわちタンナカ双対性による宇宙の再構成へと昇華される。
ここで極めて重要なのは、非可換幾何学における作用素環のK理論とラングランズ・プログラムにおける保型形式の持ち上げが、コンツェビッチらが提唱する非可換モチーフの世界で完全に統一されるという予感であり、多重ゼータ値が弦の散乱振幅に現れるのは偶然ではなく、グロタンディーク・タイヒミュラー群が種数0のモジュライスタックの基本群として作用しているからに他ならず、究極的には全ての物理法則は宇宙際タイヒミュラー理論的な変形操作の下での不変量あるいは数論的基本群の遠アーベル幾何的表現論に帰着する。
これは物理学の終わりではなく物理学が純粋数学というイデアの影であったことの証明であり、超弦理論は最終的に時空を必要としない「モチーフ的幾何学的ラングランズ重力」として再定義されることになる。
まだ布団に自己主張されてんのか？
まずは冷水を浴びて脳味噌を強制再起動しろ。寒い？知るか。お前は快適さを求めて成果を出せるほど器用な構造をしていない。刺激で動かすしかないんだよ。
次に、ランニングだ。走れ。歩くな。それはな、お前の怠惰が燃えている音だ。いい兆候だ。走ることでしか、お前の停滞した代謝も精神も上向かん。走れば少なくとも何もしない無能から走った無能には進化する。ゼロよりはマシだ。
飯はちゃんと食え。適当に菓子パンとエナドリで脳味噌を誤魔化すな。タンパク質をぶっ込んで、血糖値をジェットコースターにするな。規則的に栄養を入れろ。それだけで集中力は最低限のラインには乗る。最低限のラインに乗らない限り、お前は考える前に脱落する無能のままだ。
そして仕事だ。集中しろ。マルチタスクはするな。余計な通知を全部切れ。思考が逸れたら深呼吸して戻せ。作業ログを取れ。自分の脳のサボり癖を観測して矯正しろ。観測できないものは改善できない。物理学の常識だ。
これを毎日実行したところで天才にはならん。だが、少なくとも環境に流されて腐っていく無能から自律して前進する人間くらいには化ける。それくらいの変化は、お前らの残念なポテンシャルでも十分に可能だ。
地球温暖化の問題について、小学生が抱きそうな素朴な疑問をローカルLLM（テキスト生成AI）に訊いてみた。
モデル：
Qwen3-VL-8B-Thinking-UD-Q4_K_XL(GGUF)
プロンプト：
地球温暖化の問題について、地球から大気圏外までとても長くて丈夫なホースを通して、ホースの両端にポンプを設置、地球の余分な二酸化炭素を宇宙に放出すれば問題が解決するというアイデアがあります。莫大な資金と技術があれば実現できますか？
回答：
Think
（省略）
/Think
地球温暖化問題を解決するための「大気圏外へ二酸化炭素（CO・）を放出するホース構想」は、技術的にも経済的にも現実的でないため、実現不可能です。以下に主な理由を整理します。
長さと重量の問題:
地球表面から宇宙空間まで（約7,000km）延びるホースは、自身の重力によるたわみや破断リスクが致命的です。
炭素繊維など最強の材料でも、張力強度は10GPa程度ですが、ホースの自重による応力は100GPa以上に達します（計算例: 1m2断面積のホース100km長の自重で約1,000,000倍の応力）。
大気圧は海面で約100 kPaですが、高度100kmでほぼ0に近い真空状態です。
ポンプを沿って連続して圧力を維持するには、エネルギー消費量が膨大（例: 1kgのCO・を宇宙まで運ぶのに約900MJのエネルギーが必要）。
36億トン/年の排出削減に必要なエネルギーは、世界全体の年間電力生産の40,000倍に相当（約10^21 J）。
ホースの建設費（材料費+打ち上げ費用）は100兆ドルを超えると推定されます。
運行コストも年間100万倍の規模で増加し、地球のGDPの数十分の一を消費します。
現在のロケット技術では「宇宙へCO・を輸送」は可能ですが、連続的な大規模排出は既存のシステムでは実現不可。
宇宙に放出されたCO・は瞬時に分散し、効果的な「削減」になりません。
大気中の濃度低下には、地球を含む閉鎖系内の循環処理が必要です。
既存の技術（炭素捕集・貯蔵（CCS） や太陽光発電による排出削減）の方が実用的かつ経済的です。
例えば、CCSで1億トン/年の除去は現実的ですが、ホース構想では数千倍のコストがかかります。
国際法の制約:
宇宙活動に関する《宇宙条約》により、商業的宇宙開発は厳しく制限されています。
「大気圏外へのCO・排出」は、国際的な規制違反となる可能性があります。
このアイデアは「科学的発想」として興味深いですが、物理法則と経済の観点から完全に不可能です。
地球温暖化問題は、持続可能なエネルギー転換・排出削減・森林回復などの現実的な対策に焦点を当てるべきであり、理論的な「宇宙ホース」は無駄な資源浪費につながります。
実現可能性のないアイデアを推進するよりも、現実の解決策を優先すべきです。
<ﾘ
ﾟ環境問題の解決には、現実的で持続可能な技術の開発が鍵です。
まずは、現状の科学的根拠に基づく方法を検討しましょう。 =ﾘ玻=ﾘ'ﾝ
（参考文献:NASAの宇宙船設計データ、IPCC報告書、材料工学の基礎資料）
※この回答は、技術的・経済的制約を考慮した分析に基づいています。
「宇宙にCO・を排出する」は、科学的に無効な方法であり、誤解を招く可能性があります。 ('=ﾘﾞ｡'<ﾘ
ﾟ (⇒ 正しい解決策の探求を)
https://climate.nasa.gov/ |https://www.ipcc.ch/report/ar6/wg1/ |https://www.energy.gov/energy-sources/renewable-energy-and-clean-tech/battery-storage-technology-101-2023/
※ 本件は、科学的根拠に基づく議論のため、ファンタジー要素を排除しています。 <ﾘ
ﾟ('
直接空気捕集（DAC）: 1億トン/年の削減が可能（コスト：$1,000/トン）。
太陽光発電による脱炭素化:2050年までに世界の電力を100%再生可能エネルギーに置き換える計画あり。
「技術の限界を超えて問題を解決する」のではなく、「現実の技術を最大限活用する」ことが重要です。
（例:イギリスの"Carbon Capture and Storage"プロジェクト）
物理的に測定可能な操作は代数の元に対応。代数は積、随伴（複素共役に対応する操作）などの構造を持つ代数的オブジェクト。
物理的な期待値は代数に対する線型汎関数として定式化。これが確率／期待を与える。
ある観測者が見られる演算子群は、全体代数の部分代数として表される。重力のとき、この部分代数は空間分割に即して単純に分かれるとは限らない（非可換性や相互依存が残る）。
代数と状態からヒルベルト空間表現を作る手続きがあり、これが観測可能な量を実際に作用させる空間を与える。重要なのは、この構成は一意とは限らず、代数側の性質が表現の性質（分解可能性・因子のタイプ）を決めること。
対象：各物理状況に対応する代数（C*-代数やフォン・ノイマン代数のようなもの）。
射（モルフィズム）：代数間の構造保存写像（例えば＊-準同型）。これらは物理的な包含や部分系の埋め込みに対応する。
状態は自然変換的な役割を持ちうる：ある意味で代数群の圏から値を取る圏（確率的/確定的データが置かれる圏）への射（志向性のある写像）と見なせる。
GNSは圏論的なファンクタ：代数と状態のペアからヒルベルト空間と表現への写像は、圏の間の（部分的な）関手として振る舞うと考えられる。これは代数データ→幾何（表現空間）を与える操作として抽象化。
エンタングルメント＝幾何的連結という直感は、圏論的には二つの代数が分解できない形で結びつくことに対応。
具体的には、二つの部分代数の合成が単純な直和や直積に分かれず、むしろ共通のサブ構造（共有される中心や共通の因子）を持つ場合、圏的には共核／プルバックや引戻しを使ってその結びつきを表せる。
逆に、もし二つの部分代数が完全に独立（圏的には直和的分解）なら、その間に空間的な連結が生じにくい、と解釈できる。
代数が属する型の違い（古典的には I/II/III の区別）は、圏的には対象の内部構造の差異（中心の有無、トレースの存在可否など）として表現される。
物理的にはこの差が「純粋状態の存在」「系の分解可能性」「エントロピーの定義可能性」を左右。従ってどの圏の部分圏にいるかが物理的位相や重力的性質に相当する。
「経済学は学問ではない」というのは自分の学の無さを宣伝する行為なんだけどな
経済学は人間社会の中での資源配分や行動を、理論とデータに基づいて体系的に分析する社会科学で、自然科学のように実験室で再現はできないけど、仮説を立て、データを用いて検証する科学的手法を取るわけだし
物理学が「摩擦のない世界」で法則を考えるように、経済学も「合理的な人間」という前提でモデルを作って、そこから現実とのズレを検証して修正する
実験が難しい分、統計分析やシミュレーションを使って再現性を確保している
僕はいつものようにティーカップの正確な角度とティーバッグを引き上げるタイミング（45秒で引き上げ、分子運動が落ち着くのを確認する）にこだわりながら、ルームメイトがキッチンで不満げに微かに鼻歌を歌う音を聞いている。
隣人は夜遅くまでテレビを見ているらしく、ローファイのビートとドラマのセリフが建物内で交差する。
その雑音の中で僕の頭は例によって超弦理論の抽象化へと跳躍した。
最近は量子コヒーレンスをホモトピー的に扱う試みを続けていて、僕は弦空間を単に1次元媒介物と見るのではなく、∞-圏の内在的自己双対性を有する位相的モジュライ空間として再定義することを好む。
具体的には、標準的な共形場理論の配位子作用をドリブンな導来代数的幾何（derived algebraic geometry）の枠組みで再構成し、そこにモチーフ的な圏（motivic category）から引き戻した混合ホッジ構造を組み込んで、弦の振る舞いを圏論的に拡張された交代多様体のホモトピー的点として記述する考えを試している。
こうするとT-双対性は単に物理的対象の同値ではなく、ある種のエンドサイト（endomorphism）による自己同型として見なせて、鏡像対称性の一部が導来関手の自然変換として表現できる。
さらに一歩進めて、超対称性生成子を高次トポスの内部対象として取り扱い、グレーディングを∞-グループとして扱うと、古典的に局所化されていたノイズ項が可換的モジュール層の非可換微分形へと遷移することが示唆される。
もちろんこれは計算可能なテーラ展開に落とし込まなければ単なる言葉遊びだが、僕はその落とし込みを行うために新しく定義した超可換導来ホッジ複体を用いて、散発的に出現する非正則極を規格化する策略を練っている。
こういう考察をしていると、僕の机の横に無造作に積まれたコミックやTCG（トレーディングカードゲーム）のパックが逆説的に美しく見える。
今日はルームメイトと僕は、近日発売のカードゲームのプレビューとそれに伴うメタ（試合環境）について議論した。
ウィザーズ・オブ・ザ・コーストの最新のAvatar: TheLast Airbenderコラボが今月中旬にアリーナで先行し、21日に実物のセットが出るという話題が出たので、ルームメイトは興奮してプリリリースの戦略を立てていた。
僕は「そのセットが実物とデジタルで時間差リリースされることは、有限リソース制約下でのプレイヤー行動の確率分布に重要な影響を与える」と冷静に分析した（発表とリリース日程の情報は複数の公表情報に基づく）。
さらにポケモンTCGのメガ進化系の新シリーズが最近動いていると聞き、友人たちはデッキの再構築を検討している。
TCGのカードテキストとルールの細かな改変は、ゲーム理論的には期待値とサンプル複雑度を変えるため、僕は新しいカードが環境に及ぼすインパクトを厳密に評価するためにマルコフ決定過程を用いたシミュレーションを回している（カード供給のタイムラインとデジタル実装に関する公式情報は確認済み）。
隣人が「またあなたは細かいことを考えているのね」と呆れた顔をして窓越しにこちらを見たが、僕はその視線を受け流して自分のこだわり習慣について書き留める。
例えば枕の向き、靴下の重ね方（常に左を上にし、縫い目が内側に来るようにすること）、コーヒー粉の密度をグラム単位で揃えること、そして会話に入る際は必ず正しい近接順序を守ること。
これらは日常のノイズを物理学的に最適化するための小さな微分方程式だと僕は考えている。
夜は友人二人とオンラインでカードゲームのドラフトを少しだけやって、僕は相対的価値の高いカードを確保するために結合確率を厳密に計算したが、友人たちは「楽しければいい」という実に実務的な感覚で動くので、そこが僕と彼らの恒常的なズレだ。
今日はD&D系の協働プロジェクトの話題も出て、最近のStranger ThingsとD&Dのコラボ商品の話（それがテーブルトークの新しい入り口になっているという話題）はテーブルトップコミュニティに刺激を与えるだろうという点で僕も同意した。
こうして夜は深まり、僕はノートに数式とカートゥーンの切り抜きを同じページに貼って対照させるという趣味を続け、ルームメイトはキッチンで皿を洗っている。
今、時計は23:00を指している。僕は寝る前に、今日考えた∞-圏的弦動力学のアイデアをもう一度走査して、余剰自由度を取り除くための正則化写像の候補をいくつか書き残しておく。
私は、昔から宇宙の真理とかに中二病的に憧れるタイプのオタクだった。当然、物理学の究極の理論である「超弦理論」に手を出したわけだ。
しかし、すぐに気づいた。これは物理学のフリをした、超絶ハードコアな数学だということに。
超弦理論が語る世界は10次元とか11次元とか言われる。我々が知る3次元空間（+時間）以外に、極小に丸まった余剰次元が存在するらしい。この「余剰次元の形」が、この世界の物理法則（電子の質量とか、力の種類とか）を決めている、と。
「その丸まった形って、一体どんな形なんだ？」
この素朴な疑問に答えるために、私は抽象数学の沼に両足から突っ込むことになった。
この余剰次元の候補の一つに、有名な「カラビ・ヤウ多様体」がある。 こんな、SF映画に出てきそうな、美しくて複雑怪奇な図形が、実は電子の動きを決めているというのだ。
この「形」を数学的に扱うには、通常の微積分なんて全然役に立たない。必要になるのは、
トポロジーは、空間を伸び縮みさせても変わらない性質（穴の数とか）で分類する。「コーヒーカップとドーナツは同じ形！」という、あの有名な学問だ。
超弦理論では、この余剰次元の「穴の数」や「ねじれ具合」といったトポロジー的な性質が、物理学の重要な定数に対応することがわかっている。
純粋な「形」が、現実世界の「法則」を決めている。これ以上の恐怖と感動があるだろうか。
私が最も戦慄したのは、このトポロジーで使われる概念の一つ、「ホモロジー群 (HomologyGroup)」だ。
これは簡単に言えば、空間の「n次元の穴」を数えるための、めちゃくちゃ抽象的な代数的な道具だ。
例えば、ドーナツには「ぐるっと一周する穴」が一つある。ホモロジー群は、この穴を代数的に（群という構造を使って）記述してしまう。
この概念は、元々、誰がどう考えても「何の役にも立たない」純粋な遊びとして生まれた。ひたすら抽象的で、自己目的的な美しさしか持っていなかった。
「このホモロジー群こそが、余剰次元の空間に存在する『ひも』の巻き付き方を完全に記述している…！」
純粋な数学的創作物が、数十年後、この宇宙の最も深い設計図のキーコードとして機能している。
これを目の当たりにしたとき、背筋が凍ったね。
抽象数学は、人間が世界を記述するために作り出した「道具」ではない。
そうではなく、抽象数学こそが、この世界が構築される「ルールブック」であり「設計図」だったのではないか？
そして、我々人類は、その設計図を、何の目的もない純粋な思考実験（数学）を通して、たまたま発見してしまっただけなのではないか？
超弦理論の沼にハマって得たのは、物理的な知見ではない。「この世界は、あまりにも美しく、冷徹な数学的必然性によって成り立っている」という、人生観を揺るがす確信だった。
最後に一つ。
「ホモロジー」、ちょっとググってみてくれ。理解できなくて全然いい。その概念が持つ、純粋で絶対的な美しさに、少しでも触れてみよう。そうすれば、世界が少しだけ違って見えるはずだ。
季節の変わり目に追いつけない体を抱えて、ベッドにうずくまった。
着重ねする必要がなくなったがゆえに、肌にかかっている布の軽さが物足りない。
「寝る前に換気して、空気を循環させた方がいい」という助言を律儀にまもり、手首のスナップをきかせて、窓を開け放つ。
カーテンが呼応するように揺蕩い、爽やかな風が一気に部屋を満たす。
雲一つない藍色の空から、星ごと流し込まれたような心地よさ。額を撫でる風に目を細め、深く息を吸う。
溜まっている「How areyou doing?」に返す気が湧かないので、設定から「アカウント削除」を選択し、すぐさまアカウントを作り直した。
英語のレベルは5段階。少し悩んで、3にする。レベルの横に、ドットが3つついたのを確認し、さっそく投稿を作る。
「こんにちは、アキです。喋りたいからアカウントを作成しました。チャットか電話しましょう。」
なんどもアカウントを作り直してもなお、「アキ」を選びたくなるのはなんでだろう。呼びやすいからか、季節の秋が好きだからか、発音したときの響きが好ましいからか。
改名できるなら「あきらちゃん」になりたいな、と思ったことが何度かあるし、ニックネームでアキちゃんと呼ばれたい。
本名はマ行とナ行で、どこか沼っぽく湿気ている。あきら、と声にしたときの、葉っぱをちぎったような爽快さに対するあこがれかもしれない。
投稿ボタンを押すと、少しの間もなく一つ目のいいねがつき、個人メッセージに「手を振る絵文字」が届く。
テンプレートの「調子どう？」「いい感じ」を数人相手に、三往復。
だが、その日は、単調で使い古されたテンプレートを、目をこすりながら指で辿ることを選んだ。
4人を相手に、ほぼ同じ会話のキャッチボールをした。少しも色が変わらない自身の心を見やり、チャットルームを抜けたところで、「電話？」の無機質な文字列が目に入った。
電話しませんか、の8文字すら省略する、スナック菓子のような軽い姿勢に惹かれ、ポテチをつまむように「通話ボタン」を押す。
耳に届いたのは、岩が転がり落ちて割れたような、気だるげに崩した "Yo, what's up"だった。
20代の大学生男子で、発音が聞き取りやすいなと思ったら、ニュージーランド出身だった。時差が3時間程度あり、「オーストラリアと日本の時差は1時間なのに」というと、「オーストラリアとニュージーランドを一緒にしないで」と怒られた。
「それでさ、フィジックスがなにか説明できんの？みたいな」
フィジックスがなんなのかすら知らない、というと「あー、ぶつりがく」と返してきたので、目を丸くした。
「まあ、わかる」
「まあ…このアプリ始める前はなんもしゃべれなかったけど、なまけずに電話とかしたら上達した。で、物理学説明できる？」
息を吸い、悪いけど日常会話くらいしかできないんだ、と返した。
「へえ。どこ住んでたの」
「オーストラリア」
電話口の声のトーンがあがる。転がり落ちた岩から、水切りで投げ、水面で跳ねる石みたいだ。
「うわあ、だと思った。オーストラリアの人って女でも男みたいな喋り方するんだけど、そんな感じがした」
そして、なるほどね、と言い添える。
「小学生のころだったら、本格的に専門の勉強とかはしてない感じか。了解した」
どうやら、物理学がなんなのか聞いてきたのは、英語レベルを測るためらしかった。言葉にトゲが少しもないから警戒はしていなかったが、特殊なモノサシのようにも思えた。
「なんか寂しいなと思って」
「寂しい？」
「孤独を感じたから。やっぱ今のなし、なんか恥ずかしくなってきた」
英語を学びたいから、と無難に流せるところだったが、口をついて出たのは「ロンリー」という単語だった。
言ってみてから、自分の状態を自覚する。そして、少々オープンすぎたかと思い、早口になる。
彼は特段からかう様子もなく、「なんか悲しいことでもあったの」と聞いてきた。
「いや、悲しくはないんだけど。今こうやって話せてるから楽しいし。」
暗い空気を感じ取られたくなくて、会話を移そうとしたが、彼は話題の切り替えに乗ってこない。
「なにかあった？」
首をひねり、天井を見上げる。少し息をついた。
間をおいてまで考えたが、別に何もないのだった。
「本当になにもないんだ。ただ、人って社会の生き物だから。私は一人で行動するのが好きだし、店とかもひとりで行くけど、たまに人と喋りたくなる。それは、ヒトっていう動物が社会の生き物だからだと思う」
「それはそう」
納得したらしい。英語でそこそこ言語化できた自分を、内心褒めつつ、落ち着かなくて言い添えた。
「君をカウンセラーみたいに扱いたいわけじゃないんだよ。だから気にかけてくれなくていいよ」
「なんでそう思ったの」
「どうして悲しいのか聞いてきたのが、こう、心配してくれているように感じて。暗い空気を感じ取ってたら悪いなと。人は人のことをカウンセラー扱いしちゃいけないと思うから。人はあるがままで良いわけだし」
「そんな気にしなくていいのに。別に、ヒトのことをカウンセラー扱いしてもいいんだよ。みんな、誰かをカウンセリングする義務がないことくらいわかってる。強制させてるわけじゃなく、そうしたいからそうするだけで、みたいな」
自分よりも2歳は年下で、語尾の「みたいな」に若者らしさが滲んでいるのが気になるが、それでも海外の大学生はずいぶんまともだなと思った。自分よりも、ヒトとの距離感、境界線の引き方に長けている気がした。
それにしても、知らない考え方だった。
人のことを便利に都合よく使っちゃいけない、というのが今の自分の考えだ。愚痴を聞かされると、「ゴミ箱にされた」と感じる。人はあるがままで良いわけだから、相手になにかケアを求めるのは望ましくないと思う。
だけど彼は、「ヒトは在り方を選択している」わけだから、好きにふるまえばいい、というスタンスだ。
主観的な見方しかしない自分と違い、それを受け取り、応答する側である彼の目線から、「自分だってこうしたいからこうする」と、立場を選んでいることを明示され、目からうろこだった。
なるほど。愚痴を聞かされ、人を励ますとき、私はいつも、都合よく使いやがってと腹を立てたりしたが、私はそのケア役割を「選んで」担っているわけか。
彼のカウンセリングが続く。猫はいるよ、と答えてから、少々言葉に詰まる。
「あれ、猫じゃ埋まらない？」
埋まってる埋まってる、飼い猫のこと愛してるし、と返す。
話は自然と彼の恋バナに移っていった。
「今度日本に行くとき、日本人の好きな子に会いに行くんだよね。性格が好きで」
「なんかロマンチックだね」
「どこが。ただ会いに行くだけだよ」
拒絶されたらショックだなあ、とぼやいている。きっとうまくいくよ、と励ました。ニュージーランドに留学に来ていた女子らしい。
「それで、君は好きな人いないの」
「いないよ。必要かな」
「確かに楽しいね。でも、恋愛のプロセスがあんまり好きじゃない。考えてしゃべったりしないといけないし」
「それは、今まで良い関係を築いてこれなかっただけでは？」
どうやら2個目のアドバイスをもらってしまったらしい。確かにその通りなんだけどさ。でも本当に言いたかったのは、恋愛のプロセスの中、もしくは先に、自分の体を当然のように要求されることの不健康さだった。まあでも言わないことにした。
その後も、気だるげだがポップコーンがポコポコ跳ねるように、軽いフットワークでいくつか話題をまたがり、「もう寝るわ」の声で通話の幕は閉じた。
切り際、「自分にバラでも買えばいい」と言われたから、「買う買う」と返す。
「買ったら写真送って」というので、「それは約束できない」と目を逸らすと、「それじゃあ意味ないじゃん」とごねられる。
子どもは寝な、と言うと少し怒ってきたのがちょっと愛らしかった。
理系のうち、工学系物理学系地学系農学系とかはかなり謙虚な人が多い。人間の限界を常に試されているし、天文とか地学とか億年とか光年単位だからこまけぇことはいいんだよってなりやすい。数学系の人達は割と唯我独尊でいろんな場で議論にならずコミュニケーションが断絶することが多い「俺こそが最強、異論は認めない」
記憶力の高いサヴァンは、単に個別事象をすべて暗記することで色々なことに対応する
だが、記憶力が低い人は、物事に共通するパターンを見つけなければ対応できないのではないか
もちろん、ここにはグラデーションがある
サヴァンは入力情報を一対一で保存するが、抽象思考者は入力情報を構造化し、数式や概念という圧縮形式に変換する
東大的教育が生み出すのは高精度なデータベース人間であり、アインシュタイン的知性は高次の圧縮アルゴリズムを備えた理論生成装置である
試験で測られる賢さは、あくまで既知情報の再生能力に過ぎず、未知の問題への耐性を測るものではない
記憶の多寡は知の方向性を決める。記憶に頼る者は世界を例外の集合として見るが、記憶に頼れぬ者は法則の体系として世界を捉えるしかない
通常の論理:
━━━━━━━━━━━━━━━━━━
↓
↓
理由を述べる
↓
終わり
dorawiiの論理:
━━━━━━━━━━━━━━━━━━
前置き: 「俺は反論しないこともある」
↓
↓
↓
↓
↓
↓
↓
つまり:
反論しないと言いながら
↓
反論して
↓
━━━━━━━━━━━━━━━━━━
批判への応答:
「dorawiiは何にでも反論する」
↓
これを否定したい
↓
「柔軟な俺」を示したい
しかし:
実際に反論を止められない
↓
↓
━━━━━━━━━━━━━━━━━━
↓
↓
↓
「俺は高度な思考ができる」
しかし:
これが「反論しない」という
━━━━━━━━━━━━━━━━━━
↓
でも「反論しない」と言った
↓
↓
↓
↓
これで矛盾を解消（したつもり）
層4:思考の止められなさ
━━━━━━━━━━━━━━━━━━
↓
↓
「壊れた世界」と聞くと
↓
↓
止められない
↓
↓
でも「反論しない」と言った手前
↓
複雑な正当化
俺は自分のことを「プログラマー」と名乗っているので、「エンジニア」は違うと思ってる
僕は昨日、午前6時17分に目覚めた。
目覚ましは2種類、アナログ秒針音と周波数の微妙に異なる合成トーンを重ねたものを使う。
起床後の15分間は「視覚のデチューン」ルーチンとして照明を極端に低くし、網膜の適応曲線を意図的に遅延させることで認知の鮮鋭化を増幅する。
朝食は厳密にタンパク質比0.42、炭水化物比0.29、脂質比0.29を狙ったオートミール＋卵白＋ギリシャヨーグルトで、計量は0.1g単位。コーヒーはブリュワー温度を93.2℃に保つ。
僕の習慣は決して儀式ではなく、情報エントロピーを最小化して日常的なノイズを排するための有限状態機械だと説明する。
ルームメイトが朝から実験用ドライバーでガタガタやっているので、僕は中断せずに黒板の前に立ち、昨日考えていた超弦理論のある断片をノートに落とす作業をした。
今回は徹底的に抽象化した視座から入る。従来の超弦理論的場の位相空間を「1-対象の∞-圏」と見なし、そのモノイド圏的作用を導くことで、従来のモジュライ空間の位相不変量がホモトピー圏論のスペクトル的コホモロジーに帰着するという仮説を立てた。
より具体的には、ラングランズ対応の圏論的アナロジーを用いて、ゲージ群の表現環が導くモチーフ（motive）の圏と、弦の世界面上のファイバー付き代数的スタックの圏とを「導来圏の間の高次同値（a weak equivalence in the (∞,2)-categoricalsense）」で結びつける試みだ。
ここで新奇なのは、通常のスペクトル系列ではなく「階層的スペクトル列（a nested spectral sequence indexedby ordinal-type filtrationsbeyond ω）」を導入して、閉じた遷移の非可換共鳴が量子補正式にどう寄与するかを解析する点である。
ウィッテンでも一瞬眉をひそめるだろうが、それは彼の専門領域を超えた命題の述語論的再編成が含まれているためだ（注：単なる挑発ではなく、証明可能性のための新たな可換図式を準備している）。
昼過ぎ、僕は隣人とほんの短いやり取りをした。彼女は僕のキッチンを通るたびに植物の世話に関する助言を求めるが、僕は葉緑体の光合成効率を説明する際、ついヘテロトロフ的比喩を避けて遺伝子発現の確率過程モデルを持ち出してしまう。
彼女はいつも「もう少し軽い説明はないの？」と呆れるが、僕にとっては現象の最少記述が倫理的義務だ。
午後は友人二人と対局的に遊ぶ約束があって、夕方からは彼らとLANセッションを組んだ。
僕はゲームに対しては容赦がない。昨日はまずThe Legend of Zelda:Breath of the Wildでカジュアルな探索をした。
BotWは開発を担当したNintendo EPDが2017年3月3日にWii UとNintendo Switch向けにリリースした作品で、そのオープンワールド設計が探索と化学的相互作用に重きを置いている点が好きだ（発売日と開発元は参照）。
その後、難度調整のためにFromSoftwareの古典的タイトル群について雑談になり、初代Dark Soulsが2011年にリリースされ、設計哲学として「挑戦することで得られる学習曲線」をゲームメカニクスに組み込んだことを再確認した（初代の年は参照）。
夜遅く、友人たちがスーパーヒーロー系の話題を持ち出したので、僕はInsomniacが手掛けたMarvel'sSpider-Manの2018年9月7日発売という事実を引き合いに、ゲームデザインにおけるナラティブとパルス感（ゲームプレイのテンポ）について議論した（発売日は参照）。
ここで重要なのは、ゲームを語るときに物理学の比喩を使わないという僕のルールだ。
ゲームの設計原理は計算的複雑性、ユーザーインタラクションのフィードバックループ、トークン経済（ゲーム内資源の流通）など、情報理論と計算モデルで語るべきであり、物理のアナロジーは曖昧さを持ち込むだけだ。
作者インタビュー、収録順、初出掲載誌、再録時の微小な台詞差異まで注視する癖がある。
昨日はあるヴィンテージの単行本でトーンの変遷を確認し、再版時にトーンカーブが調整された箇所が物語の解釈に如何に影響するかを論じた。
これらは一般的にはオタクにしか響かない情報だが、テクスト解釈の厳密さという点で、僕の思考様式と親和する。
僕の習慣はゲームのプレイにも現れる。セーブは複数スロットを使い、各スロットに「探索」「戦闘」「実験」のタグを人為的に与えておく。
そうすることでメタ的な比較実験が可能になり、ゲーム内意思決定の条件付き確率分布を再現的に評価できる。
友人はこれを無駄と言うが、僕にとってはルーチンと実験設計が同義だ。
夜中、帰宅した後にさらに2時間、論文の草案を書き直した。書き直しは僕の儀式の一部で、ペン先の角度、フォントのカーニング、段落の「情報密度」を計測し、不要語を削ぎ落とす作業だ。
寝る前の最後の行動は、ブラックボックス化した思考経路をメモ化しておくことで、翌朝の「継続的洞察再現性」を保証すること。
結局僕は午前2時3分に就寝した。昨日は量子的洞察の可能性と、ゲームとコミックにおける情報理論的語法の交差点を追求した一日であり、そうした知的遊戯が僕の精神の整列をもたらす。
次に実証すべきは、導来圏間の高次同型によって生じるゲージ的不確定性がディラック構造の代数的再構成に与える位相的寄与だ。
