  |
はてなキーワード:力学系とは
超弦理論を物理として理解しようとすると、だいたい途中で詰まる。
なぜなら核心は、力学の直観ではなく、幾何と圏論の側に沈んでいるからだ。
弦の振動が粒子を生む、という説明は入口にすぎない。本質は量子論が許す整合的な背景幾何とは何かという分類問題に近い。分類問題は常に数学を呼び寄せる。
まず、場の理論を幾何学的に見ると、基本的にはある空間上の束とその束の接続の話になる。
ここまでは微分幾何の教科書の範囲だが、弦理論ではこれが即座に破綻する。
なぜなら、弦は点粒子ではなく拡がりを持つため、局所場の自由度が過剰になる。点の情報ではなく、ループの情報が重要になる。
すると、自然にループ空間LXを考えることになる。空間X上の弦の状態は、写像S^1 → Xの全体、つまりLXの点として表される。
しかしLXは無限次元で、通常の微分幾何はそのままでは適用できない。
ここで形式的に扱うと、弦の量子論はループ空間上の量子力学になるが、無限次元測度の定義が地獄になる。
この地獄を回避するのが共形場理論であり、さらにその上にあるのが頂点作用素代数だ。2次元の量子場理論が持つ対称性は、単なるリー群対称性ではなく、無限次元のヴィラソロ代数に拡張される。
弦理論が2次元の世界面の理論として定式化されるのは、ここが計算可能なギリギリの地点だからだ。
だが、CFTの分類をやり始めると、すぐに代数幾何に落ちる。モジュラー不変性を要求すると、トーラス上の分配関数はモジュラー群SL(2, Z) の表現論に拘束される。
つまり弦理論は、最初からモジュラー形式と一緒に出現する。モジュラー形式は解析関数だが、同時に数論的対象でもある。この時点で、弦理論は物理学というより数論の影を引きずり始める。
さらに進むと、弦のコンパクト化でカラビ–ヤウ多様体が現れる。
カラビ–ヤウはリッチ平坦ケーラー多様体で、第一チャーン類がゼロという条件を持つ。
ここで重要なのは、カラビ–ヤウが真空の候補になることより、カラビ–ヤウのモジュライ空間が現れることだ。真空は一点ではなく連続族になり、その族の幾何が物理定数を支配する。
このモジュライ空間には自然な特殊ケーラー幾何が入り、さらにその上に量子補正が乗る。
量子補正を計算する道具が、グロモフ–ウィッテン不変量であり、これは曲線の数え上げに関する代数幾何の不変量だ。
つまり弦理論の散乱振幅を求めようとすると、多様体上の有理曲線の数を数えるという純粋数学問題に落ちる。
ここで鏡対称性が発生する。鏡対称性は、2つのカラビ–ヤウ多様体XとYの間で、複素構造モジュライとケーラー構造モジュライが交換されるという双対性だ。
数学的には、Aモデル（シンプレクティック幾何）とBモデル（複素幾何）が対応する。
そしてこの鏡対称性の本体は、ホモロジカル鏡対称性（Kontsevich予想）にある。
これは、A側の藤田圏とB側の導来圏 D^bCoh(X)が同値になるという主張だ。
つまり弦理論は、幾何学的対象の同一性を空間そのものではなく圏の同値として捉える。空間が圏に置き換わる。ここで物理は完全に圏論に飲み込まれる。
さらに進めると、Dブレーンが登場する。Dブレーンは単なる境界条件ではなく、圏の対象として扱われる。
弦がブレーン間を張るとき、その開弦状態は対象間の射に対応する。開弦の相互作用は射の合成になる。つまりDブレーンの世界は圏そのものだ。
この圏が安定性条件を持つとき、Bridgeland stability conditionが現れる。
安定性条件は、導来圏上に位相と中心電荷を定義し、BPS状態の安定性を決める。
wall-crossingが起きるとBPSスペクトルがジャンプするが、そのジャンプはKontsevich–Soibelmanの壁越え公式に従う。
この公式は、実質的に量子トーラス代数の自己同型の分解であり、代数的な散乱図に変換される。
このあたりから、物理は粒子が飛ぶ話ではなく、圏の自己同型の離散力学系になる。
さらに深い層に行くと、弦理論はトポロジカル場の理論として抽象化される。
Atiyahの公理化に従えば、n次元TQFTは、n次元コボルディズム圏からベクトル空間圏への対称モノイダル関手として定義される。
つまり時空の貼り合わせが線形写像の合成と一致することが理論の核になる。
そして、これを高次化すると、extended TQFTが現れる。点・線・面…といった低次元欠陥を含む構造が必要になり、ここで高次圏が必須になる。結果として、場の理論は∞-圏の対象として分類される。
Lurieのコボルディズム仮説によれば、完全拡張TQFTは完全双対可能な対象によって分類される。つまり、物理理論を分類する問題は、対称モノイダル(∞,n)-圏における双対性の分類に変わる。
この時点で、弦理論はもはや理論ではなく、理論の分類理論になる。
一方、M理論を考えると、11次元超重力が低エネルギー極限として現れる。
しかしM理論そのものは、通常の時空多様体ではなく、より抽象的な背景を要求する。E8ゲージ束の構造や、anomalyの消去条件が絡む。
異常とは量子化で対称性が破れる現象だが、数学的には指数定理とK理論に接続される。
弦理論のDブレーンの電荷がK理論で分類されるという話は、ここで必然になる。ゲージ場の曲率ではなく、束の安定同値類が電荷になる。
さらに一般化すると、楕円コホモロジーやtopological modular formsが出てくる。tmfはモジュラー形式をホモトピー論的に持ち上げた対象であり、弦理論が最初から持っていたモジュラー不変性が、ホモトピー論の言語で再出現する。
ここが非常に不気味なポイントだ。弦理論は2次元量子論としてモジュラー形式を要求し、トポロジカルな分類としてtmfを要求する。つまり解析的に出てきたモジュラー性がホモトピー論の基本対象と一致する。偶然にしては出来すぎている。
そして、AdS/CFT対応に入ると、空間の概念はさらに揺らぐ。境界の共形場理論が、バルクの重力理論を完全に符号化する。この対応が意味するのは、時空幾何が基本ではなく、量子情報的なエンタングルメント構造が幾何を生成している可能性だ。
ここでリュウ–タカヤナギ公式が出てきて、エンタングルメントエントロピーが極小曲面の面積で与えられる。すると面積が情報量になり、幾何が情報論的に再構成される。幾何はもはや舞台ではなく、状態の派生物になる。
究極的には、弦理論は空間とは何かを問う理論ではなく、空間という概念を捨てたあと何が残るかを問う理論になっている。残るのは、圏・ホモトピー・表現論・数論的対称性・そして量子情報的構造だ。
つまり、弦理論の最深部は自然界の基本法則ではなく、数学的整合性が許す宇宙記述の最小公理系に近い。物理は数学の影に吸い込まれ、数学は物理の要求によって異常に具体化される。
この相互汚染が続く限り、弦理論は完成しないし、終わりもしない。完成とは分類の完了を意味するが、分類対象が∞-圏的に膨張し続けるからだ。
そして、たぶんここが一番重要だが、弦理論が提示しているのは宇宙の答えではなく、答えを記述できる言語の上限だ。
だからウィッテンですら全部を理解することはできない。理解とは有限の認知資源での圧縮だが、弦理論は圧縮される側ではなく、圧縮の限界を押し広げる側にある。
p進弦理論は、通常の物理学が依拠する実数や複素数の体系を、数論におけるp進数体へと置き換えることで、弦の相互作用や時空の本質を問い直す野心的な理論的試みである。
1980年代後半にボロヴィッチやフレンド、ウィッテンらによって創始されたこの理論は、物理学の基本法則と数論的な構造の間に深い相関があるという洞察に基づいている。
通常の弦理論では、弦が描く軌跡である世界面は連続的なリーマン面として記述されるが、p進弦理論においては、これがp進数上の双曲空間の離散的な対応物であるブルーハ・ティッツ木へと置き換わる。
この木構造は、頂点と辺からなるグラフでありながら、その境界にp進数体という連続体を持つという特異な性質を有しており、これがAdS/CFT対応（ホログラフィー原理）を記述するための理想的な離散モデルを提供している。
この理論の白眉は、散乱振幅の簡潔さと、それらが織りなすアデリックな構造にある。
例えば、開弦の散乱を記述するヴェネツィアーノ振幅は、p進の枠組みではp進ガンマ関数を用いた極めてシンプルな代数的形式に帰着する。
驚くべきことに、すべての素数pにわたるp進振幅の積と通常の実数振幅を掛け合わせると、ある種の保存則（アデリック公式）が成立することが知られており、これは物理的な現象が単一の数体の上だけでなく、すべての素数にわたるアデール環全体で定義されている可能性を示唆している。
さらに、p進弦の有効作用を調べると、そこにはダランベール演算子が指数の肩に乗るような非局所的な場の方程式が現れる。
この非局所的な場は、弦理論におけるタキオン凝縮のダイナミクスを非常に正確に記述することができ、時空の最小単位が存在する可能性や、時空の創発といった現代物理学の最前線のテーマと密接に結びついている。
近年の展開では、p進AdS/CFT対応が特に重要な位置を占めている。
ブルーハ・ティッツ木の上の離散的な力学系が、境界上のp進共形場理論と対応するというこの枠組みは、量子重力のトイモデルとして極めて優秀であり、エンタングルメント・エントロピーや量子エラー訂正符号といった情報理論的な概念を数論的な文脈で再解釈する道を開いた。
このように、p進弦理論は単に「実数をp進数に変えた」だけの代用理論ではなく、連続性と離散性、そして数論と物理学が交差する地点で、宇宙の記述言語としての数学の深淵を照らし出す役割を果たしているのである。
それは、時空という舞台装置そのものが、素数という数学の基本構成要素からいかにして立ち上がるのかを解明しようとする壮大な探求に他ならない。
時計を見る必要はない。秒針の位置はさっき自分で確認したし、木曜のこの時間に僕がここに座っていることは、もはや力学系の固定点みたいなものだ。
今日は一日中、もはや時空を基礎に置くという前提そのものが誤りなのではないか、という地点から考えていた。
多様体の上に量子場を載せるという発想は便利だが、便利であることと正しいことは一致しない。
弦の状態空間をヒルベルト空間として扱う段階で、すでに過剰な可換性を仮定している。
今考えているのは、弦の状態を対象、遷移を射とするような素朴な圏ですらなく、それらの間の自然変換が物理量として意味を持つような、∞-圏値の理論だ。
しかもその圏は、基礎体上に定義されていない。数ですらない。ホモトピー型理論と高次トポスの内部論理でのみ定義できる対象として、弦の相互作用を“存在”させる必要がある。
作用積分？ そんなものは比喩だ。今やダイナミクスは、安定な導来随伴の存在性としてしか語れない。
これが何の理論かと問われれば、正直に言って、まだ名前を与える段階ではない。
ただ、少なくとも従来の超弦理論が持っていた次元や背景という概念が、不要なゲージ冗長性だったことだけは確信している。
この感覚は、理解というより検出に近い。ノイズが消えたときにだけ現れる沈黙の形だ。
こういうことを考えている最中に、ルームメイトが後ろから「コーヒー飲む？」と聞いてきた。
僕は振り返らずに「今は圏が非可換だから無理」と答えた。彼はしばらく黙ってから去っていった。正しい反応だ。
隣人は廊下で僕を見かけるたびに、なぜか挨拶の文言を微妙に変えてくる。今日は「こんばんは、今日は静かですね」だった。
僕は「静かさは状態じゃなくて差分だ」と言ったが、彼女は笑っていた。意味が通じていないとき、人はだいたい笑う。
昼過ぎ、思考が一瞬だけ収束を失ったので、頭の中でMTGのデッキを一から組み直した。
土地配分を確率測度として扱い、初手7枚の分布を弱収束で評価していくと、なぜかさっき考えていた高次随伴の存在条件と同型な構造が出てくる。
カードゲームが数学的に美しいのではない。数学が避けられないだけだ。
夕方にはFF14にログインしたが、戦闘には入らなかった。レイドのギミックは有限オートマトンとしては面白いが、今日はもっと非可算なものを扱っていたかった。
代わりに、装備更新の計画だけを立て、必要な資源をグラフ理論的に整理した。実行は後でいい。未来にやるべきことが確定している状態は、精神的に非常に安定する。
夜、アメコミを数冊読んだ。宇宙が何度リセットされても、因果律だけは編集部によって強制的に保存される。その雑さが好きだ。少なくとも、作者は自分が神だと誤解していない。
友人Aからはまた意味不明なメッセージが来て、新しい玩具の話をしていたが、仕様書を読まずに感想を語る行為には応答しないことにしている。
友人Bは相変わらず「それ、役に立つの？」と聞いてくる。役に立つかどうかという問いは、対象が局所最適に落ちることを前提にしている時点で、もう役に立たない。
今はもう、飲み物も所定の位置にあるし、椅子の角度も規定値だ。
それから、明日のためにMTGのサイドボード案を頭の中で3通りだけ完成させる。
ランダウ–ラングランズ的な双対性の直感を、位相的・圏論的な巨大場として再構成する作業は、もはや単なる対応命題の確認ではなく、数学的実在の階層構造を再階層化する営為へと移行している。
ここで重要なのは対応自体が一つのモノイド的作為ではなく、∞-圏の層状化した自明化可能性の表現であるという読み替えである。
最近の成果群は、従来の局所・大域の二項対立を溶融させ、曲線・局所体・解析空間といった古典的な基底を、より普遍的な空間の記述可能性（representability）の観点へと置き換えてしまった。
具体的には、ファルグ＝フォンテン曲線を舞台にした幾何化は、局所的表現論を圏的スペクトルの上に載せ替えることで、従来別個に扱われてきた表現（自動形式的対象）とパラメータ（L-パラメータ）を、同一の圏的心臓部で同時に構成可能にしたことを意味する。
この構成は単に対応が存在することより深く、対象自体を再定義してその同値関係を圏の中心や内部終対象の言葉で記述することにより、対応が生まれる必然的環境を示した点で画期的である。
同時に、グローバル側の道具としてのシュトゥーカ（chtoucas）的技法は、関手的・代数的な操作を用いて場のモード分解を行い、その分解が示す不変量を通じて大域的パラメータ化を達成する方策を具体化した。
ヴィンソン・ラフォルグの仕事群は、こうしたシュトゥーカの立型化によって、関手的に取り扱える大域的パラメータ空間を提示し、局所的構成との繋がりを媒介する新たな環を与えた。
結果として、言語的には表現→パラメータへの写像がベキ乗的に分解できるだけでなく、その分解自体が可逆的な圏的操作として認識され得ることが示され、これが大域的Langlands構想の新しい正当化になっている。
さらに最近の数年間における動きで決定的なのは、モチーフ論の解析的拡張が進んだ点である。
従来モチーフは代数多様体上の普遍的コホモロジーという観点で語られてきたが、ショルツェらによるベルコビッチモチーフ（Berkovich motives）や関連する解析的・アーク的降下法は、可換性や双対性に関する新たな剛性条件を与えることで、代数・複素解析・非アルキメデス解析を一枚の理論で織り上げた。
モチーフを単なる数論的核から、解析的スタックや圏的双対性を自然に持つ対象へと格上げし、Langlands的双対性の受け皿を拡張した。
こうしてモチーフとLanglands対応は、もはや互いに独立した二つの理論圏ではなく、同じ∞-圏的言語で発声される現象に変わった。
そして最も劇的な変化は、最近公表された一連の大規模な仕事群が、幾何学的Langlands命題の本質的な形を証明し得たことにより、これまで隠れていた構造的要請が顕在化した点にある。
これらの証明的努力は、従来の和声的・解析的手法を超え、圏的分解、局所–大域の整合、そしてモチーフ的双対性が同時に満たされるような動的な証明環境を構築した。
重要なのは、この到達が単なる命題の解決に留まらず、数学的対象の定義域そのものを書き換えるような再帰的メタ構造を与えたことであり、以後の展望は新たに定式化された圏的正規形とその変形理論を追うことで開かれる。
結果として、Langlandsプログラムとモチーフ理論の接続は、従来橋をかける比喩で語られてきたが、今や両者は共通の言語空間の異なる座標表示に過ぎないという段階に達している。
ここでの言語空間とは、∞-圏とその可逆化可能な中心、アーク的・ベロコビッチ的降下法、そしてシュトゥーカにより生成されるファイバーの総体を指す。
その内部では、表現論的計量（harmonic analysis 的なスペクトル）と数論的モチーフの普遍的ファンクターが互いに鏡写しになり、操作が圏的に昇格することでパラメータ化は動的な自己相互作用として理解される。
これが意味するのは、将来の進展がもはや個別の定理や技法の追加ではなく、数学的対象を包摂するより大きな構成原理の発見と、それを支える新しい圏的インフラ（解析的モチーフ、Fargues–Fontaine 的基底、chtoucas の動的再解釈）に依存するということである。
読み手がもし、これをさらに運動方程式的あるいは力学系的なメタファーで読み替えるなら、ラングランズ系とは無限に多様な対称性とその破れ方が−同値関係としてではなく−力学的な遷移として定義される場であると結論づけられる。
その意味で、最新の進展は単に既存のパズルのピースを嵌め直したのではなく、ピースそのものを再設計し、新しい接着剤（∞-圏的双対性、解析的モチーフの剛性、シュトゥーカ的ファイバー化）を導入した。
この新しい設計図を受け取った数学は、今後、従来とは異なる方法で「表現」「パラメータ」「モチーフ」を同時に扱うための合成的技術を展開するだろう。
フェミニズムの分類が多すぎると聞いて
記述集合論（Borel階層, Projective階層, 汎加法族）
モデル理論（型空間, o-極小, NIP, ステーブル理論）
再帰理論/計算可能性（チューリング度, 0′, 相対計算可能性）
構成主義,直観主義,ユニバース問題,ホモトピー型理論（HoTT）
体論・ガロア理論
表現論
K-理論
初等数論（合同, 既約性判定,二次剰余）
解析数論（ゼータ/ L-関数,素数定理,サークル法, 篩法）
p進数論（p進解析, Iwasawa理論, Hodge–Tate）
超越論（リンドマン–ヴァイエルシュトラス, ベーカー理論）
実解析
多変数（Hartogs現象, 凸性, severalcomplex variables）
関数解析
バナッハ/ヒルベルト空間,スペクトル理論, C*代数, von Neumann代数
フーリエ解析,Littlewood–Paley理論, 擬微分作用素
確率解析
常微分方程式（ODE）
偏微分方程式（PDE）
非線形PDE（Navier–Stokes, NLS, KdV, Allen–Cahn）
幾何解析
リッチ流, 平均曲率流,ヤン–ミルズ,モノポール・インスタントン
エルゴード理論（Birkhoff, Pesin）,カオス, シンボリック力学
点集合位相,ホモトピー・ホモロジー, 基本群,スペクトル系列
4次元トポロジー（Donaldson/Seiberg–Witten理論）
複素/ケーラー幾何（Calabi–Yau, Hodge理論）
スキーム, 層・層係数コホモロジー, 変形理論, モジュライ空間
多面体, Helly/Carathéodory,幾何的極値問題
ランダムグラフ/確率的方法（Erdős–Rényi, nibble法）
加法的組合せ論（Freiman, サムセット, Gowersノルム）
彩色,マッチング,マイナー理論（Robertson–Seymour）
列・順序・格子（部分順序集合, モビウス反転）
測度確率, 極限定理, Lévy過程, Markov過程, 大偏差
統計学
ノンパラメトリック（カーネル法, スプライン,ブーストラップ）
時系列（ARIMA,状態空間, Kalman/粒子フィルタ）
非凸最適化
離散最適化
整数計画,ネットワークフロー, マトロイド, 近似アルゴリズム
Littleの法則, 重み付き遅延, M/M/1, Jackson網
エントロピー,符号化（誤り訂正, LDPC,Polar）, レート歪み
公開鍵（RSA,楕円曲線, LWE/格子）,証明可能安全性,MPC/ゼロ知識
計算複雑性
機械学習の数理
量子場の数理
相転移, くりこみ, Ising/Potts, 大偏差
数理生物学
数理神経科学
データ解析
賃金物価スパイラルとは、まず何らかの原因でインフレが生じ、物価高が生まれます。その後、実質賃金が物価に見合わないので、賃上げ圧力が生じ、賃上げします。企業としては賃金はコストなので、生産性が向上しないままコストだけ増加すると、それを補う形で財・サービスへの価格に転嫁します。するとまた実質賃金が低下するので、その繰り返しが生じます。
これはコストプッシュインフレの一つの形態です。賃金プッシュインフレと言います。通常、この種のインフレは「悪いインフレ」と言われ、国の豊かさが低下しているのに物価が高まっています。この状態はスタグフレーションと呼びます。
インフレが生じた原因については色々ありますが、ロシア・ウクライナ問題において原油価格が高騰していることだけが問題ではありません。コロナ禍で政府が財政政策を行うことでマネーサプライが増えたことがインフレの大きな要因です。
近年の経済学は、理論よりも実証分析が盛んです。経済の状況などを保存したデータベースから「エピソード」を検索します。例えばこの場合、歴史的に賃金価格スパイラルが生じた例を調べるわけです。そして、そのエピソードは複数のシナリオとして分岐することがわかるでしょう。スパイラルが継続して実質賃金が低下していったエピソード、スパイラルが継続しなかったエピソード、スパイラルは継続されたが実質賃金は回復したエピソードなどです。
これらのエピソードにおいて、どれが2024-04-07時点のケースとして再現するのか、全くわかりません。以下の記事では、実際にエピソードが分析されていますが、結論として「過去のエピソードが再現すると考えるのは時期焦燥」と述べています。
"Itisstill too early to say whether the immediate futurewill replicate these patterns."https://cepr.org/voxeu/columns/wage-price-spirals-historical-evidence
そもそもインフレによって社会はどのようなコストを支払うことになるのでしょうか。
まずインフレするということは、貯金などの資産の価値が減っていくことを意味します。つまり国家の富の総量が低下します。デフレ下では貯金という選択肢が比較的安全な資産管理方法でしたが、インフレになるとこれらの資産の価値が下がり、同じ貯金の額で買える物の数が減っていきます。
「日本は世界有数の債権国である」と言われましたが、それはデフレで円高だったからです。円安になり、賃金価格スパイラルが継続すれば、債権者は不利益を被るでしょう。確かに、借金をする人は借金を返しやすくなるのがインフレの良いところで、設備投資などもしやすくなりますが、債権者にとっては不利な結果になります。
そしてインフレ下では、労働組合の賃上げ圧力が増し、先鋭化します。「実質賃金が物価に追いつかない」といって、賃金を上げるように交渉することになるでしょう。
ここで一つ質問がありますが、名目賃金の賃上げが企業の物価転嫁を引き起こし、物価高を生んでいるのであれば、「賃上げがインフレの原因であり、実質賃金低下の原因である」といえるでしょう。それなのに、なぜ「追いつけ追いつけ」と賃上げをするのでしょうか。
経済学的には、適切な賃上げは生産性の向上分に限定する必要があるでしょう。生産性向上分を賃上げに当てれば、企業は価格転嫁する必要が無いからです。つまり、現在の賃金物価スパイラルによる「悪循環」は、生産性上昇分を超える賃上げをしてしまっているのです。
では、生産性とはなんでしょうか。計算式は色々ありますが、アウトプットをインプットで割ったものとして定義されます。アウトプットは収益、インプットはコストです。コストは労働投資、設備投資などがあります。つまりこれは利潤＝収益ーコストという計算式を分数の形に置き換えたものです。
近年の技術は進歩しているので、企業は生産性を上げるためには、人よりも設備に投資したほうが合理的であると考えるでしょう。そこで賃上げに対処するには、まず設備投資で生産性向上を、というわけです。実際、設備投資が増えているという統計が存在します。https://www.nikkei.com/article/DGXZQOUA123100S4A310C2000000/
賃上げしなければならない、そのためには生産性を上げる必要がある、そのためには設備投資をする必要がある、生産性が上がれば物価転嫁をする必要がなくなる、というわけです。
このような「力学系(時間とともに変化するシステム)」が存在するので、実質賃金が今後回復するのかどうかについて、なかなか現時点では判断が難しいというわけです。実質賃金が平行線をたどる可能性も、低下していく可能性も、上がる可能性もあるのです。
いくつかの経済論文では、賃金物価スパイラルにおいて「初期に実質賃金が低下し、その後回復する」と述べていますが、再現性については疑問が残ります。
"The realwage falls earlyon and recovers later."https://economics.mit.edu/sites/default/files/inline-files/WagePriceSpirals.pdf
あるいは、既存研究調査能力の著しく低い223人のエセインテリブクマカ達
人間が市場の全情報を持ってて最適な行動を取ってれば予測はできるんじゃね？（昔は絵空事だったけど今はコンピューターとかいう人民を苦しめるためのうるさ過ぎる箱があるのでギリいける）
情弱エージェントたるお前らが最適な行動を取れるわけではないので、効率的な均衡を取れないって感じだね。この世はめっちゃくちゃ焦ってる囚人ゲームの囚人だらけでめちゃくちゃ。
Cournotモデルに,価格及び費用の非線形な構造,情報の不完全性や遅れ,学習等を加味することにより, 複占・寡占エージェントの動学モデルを構築し,市場が複雑に振舞うことが示されている.([Puu1991], [Puu 2003], [Kopel 1991]).
（略）
いやこんなクソ古い上に廃れた理論持ち出すのも変だけど、お前らは何一つ引用してこないのな←よく読んだらまあまあいた。もっと星つけて目立たせといて
貨幣は人間が作り出した。経済も人間が形作っている。では、なぜだれにも予測できない？
多分、お金も経済も、人にやる気を出させる作用があるという点に理由があるんじゃないか。
米軍には「チャレンジコイン」って制度があるらしくて、「褒章・叙勲するまでには至らない程度の功績があった隊員への謝礼」なんだと。だから金銭的には価値が薄い。でももらったら絶対嬉しい。貨幣や経済を一瞬でなくしたとしても、こういう「褒め」と、それを形にして交換する制度は出現するはず。
思うのが、経済も人間に作られるのを待っていた概念なのでは？遺伝子があたかも宿主を操っているかのように見えるのと同様、経済は人間を操る高次元の概念か
なんで俺の渾身のインモラル詩はバズらんでこんなカオス理論（古っ！古典じゃこんなもん）で散々語り尽くされた話、弄んでるんだ
人間なんて自分の身体すら思い通りにいかない生き物なのに、何故コントロール可能だと？
漫画「ハイパーインフレーション」読もうぜ！
自分たちで植林した杉の木さえ制御できずに花粉症で苦しんでいる人間がいるんだよ。いわんや非線形の創発現象を制御なんて夢のまた夢。
あざすよんどきます
幼い頃の自分はこれが言いたかったんだわあざすあざす。文系なのに頭いいんすね？バグ？
疎外（独Entfremdung、英alienation）の一語で済む話。https://ja.m.wikipedia.org/wiki/%E7%96%8E%E5%A4%96
話題をむやみに広げたので色んな分野からツッコミが来とるわ中野のバスターミナルくらい知識が交差しとる
知った被って馬鹿に尊敬されつつまともなやつに馬鹿にされてる中田敦彦みたいなインフルエンサー（中田敦彦とか）の気持ちが分かったわ
群体が云々のトップコメ言いたいことは結構分かる（んだけど経済学で一般に言われてることではないよね？）。でも生物学の群体は全体として自分がやってることが分かって生活してるから制御できてんだよな。
群体とは，無性生殖（自分と同じ遺伝子を持つ分身をつくること）によって，殖えた個体どうしが体の一部などでつながりあって生きている生活の形です．
あとこれ→群体性と個体性
↓すまん引用元忘れた
最大リアプノフ指数は力学系のアトラクタが 示す軌道不安定性を定量化する指標である
Permalink |記事への反応(19) | 08:38
昨日はFaddeevから少し離れてダニエル・フライシュという人のシュレーディンガー方程式について書かれた本を読み終えました。
またTwitterの使い方に関してですが、本当に興味のあるトピックについてつぶやく人か、あるいは自分をフォローしてくれる人以外はアンフォローしたほうがよいと思いました。
というのもあらゆる政治のツイートを見ていると、ドーパミン製造機のようになってしまうのです。
政治的ツイートは、特に経済的なものは間違いが散見されます。するとついついツッコみたくなるのです。
例えば、インフレというトピックがあるとします。主な要因は、原油価格、財政政策、金融政策、賃上げによるものです。
一部の人が、「金を刷れば刷るほど無尽蔵に豊かになる」などと言っている度に、貨幣価値の話とその方法で失敗した国の話、インフレターゲットの話をしなければならなくなります。
本当に経済について間違いを指摘したいなら、ちゃんとした長文でまとめておいた方がよいと思いますが、そのような情報ならインターネット上にあるでしょう。
しかし問題なのは、政治や経済の情報は玉石混合なのです。正しいことをいう人はいますが、間違ったことをいう人もたくさんいます。そして価値判断の問題もあります。
とりわけ、マクロ経済と呼ばれる分野において混乱が生じているように思えます。
ミクロ経済であれば、すでに数学的手法が確立されており、今後100年経っても教科書の数学的手法自体は変わらないでしょう。
しかしマクロ経済に至っては、経済現象の因果推論が雑に行われており、理論の前提に問題が生じているケースというのがあると思うのです。
経済にはポジティブな側面もあります。超弦理論が新しい数学を生み出すように、経済現象もゲーム理論や確率微分方程式、力学系などの数学を生み出すのです。
私が経済のインチキを見る時、そこから政治と感情を抜き去り、抽象化を施して、数学というドメインに変換すれば冷静になれると思うわけです。
シュレーディンガーはアインシュタインに宛てて、量子力学のコペンハーゲン解釈の重大な欠陥を明らかにするために、架空の実験装置を作った。この解釈では、量子系は外部の観測者と相互作用するまで、2つ以上の状態の重ね合わせに留まるとされる[1]。
この効果を、原子というミクロな世界の特殊性として片付けることはできるかもしれないが、その世界が、テーブルや椅子、猫といったマクロな日常世界に直接影響を及ぼすとしたらどうだろうか。シュレーディンガーの思考実験は、それを明らかにすることで、量子力学のコペンハーゲン解釈の不条理を明らかにしようとした。 粒子が重ね合わされた状態にあることは、一つの事実だ。しかし猫はどうだろう。猫はどちらか一方にしか属さないし、死んだり生きていたりもしない。
ガイガーカウンターの中に、ほんの少しの放射性物質が入っていて、1時間のうちに原子の1つが崩壊するかもしれないが、同じ確率で1つも崩壊しないかもしれない。このシステム全体を1時間放置しておくと、その間、原子が崩壊していなければ、猫はまだ生きていると言うだろう。システム全体のΨ関数(波動関数)は、その中に生きている猫と死んだ猫(表現は悪いが)が等しく混ざり合っていることで、このことを表現している。
この思考実験の意味合いについては、多くの現代的な解釈や読み方がある。あるものは、量子力学によって混乱した世界に秩序を取り戻そうとするものである。また、複数の宇宙で複数の猫が生まれると考えるものもあり、「重ね合わせられた猫」がむしろ平凡に見えてくるかもしれない。
通常の話では、波動関数は箱入りのネコを記述する。QBismでは、箱を開けたら何が起こるかについてのエージェントの信念を記述する。
例えば、Aさんがギャンブラーだとしよう。ネコの生死を賭けたいが、量子波動関数が最も正確な確率を与えてくれることを知っている。しかし、世の中には波動関数のラベルがない。自分で書き留めなければならない。自由に使えるのは、Aさん自身の過去の行動とその結果だけである。なので結果として得られる波動関数は、独立した現実を反映したものではない。世界がAさんにどう反応したかという個人的な歴史なのだ。
今、Aさんは箱を開けた。死んだ猫、あるいは生きている猫を体験する。いずれにせよ、Aさんは自分の信念を更新し、将来の出会いに期待するようになる。他の人が不思議な「波動関数の崩壊」と呼ぶものは、QBistにとっては、エージェントが自分の 賭けに手を加えることなのだ。
重ね合わせを形成するのはエージェントの信念であり、その信念の構造から猫について何かわかる。なぜなら、波動関数は、エージェントが箱に対して取り得るすべての行動（相互に排他的な行動も含む）に関する信念をコード化しており、Aさんの信念が互いに矛盾しない唯一の方法は、測定されていない猫に固有の状態が全く存在しない場合だからである。
QBistの話の教訓は，ジョン・ホイーラーの言葉を借りれば参加型宇宙であるということである。
2. ボーミアンについて
量子力学のコペンハーゲン解釈によれば、電子のような量子粒子は、人が見るまで、つまり適切な「測定」を行うまで、その位置を持たない。シュレーディンガーは、もしコペンハーゲン解釈が正しいとするならば、電子に当てはまることは、より大きな物体、特に猫にも当てはまることを示した：猫を見るまでは、猫は死んでいないし生きていない、という状況を作り出すことができる。
ここで、いくつかの疑問が生じる。なぜ、「見る」ことがそんなに重要なのか？
量子力学には、ボーム力学というシンプルでわかりやすい版があり、そこでは、量子粒子は常に位置を持っている。 猫や猫の状態についても同様だ。
なぜ物理学者たちは、シュレーディンガーの猫のような奇妙でありえないものにこだわったのだろうか？それは、物理学者たちが、波動関数による系の量子的な記述が、その系の完全な記述に違いないと思い込んでいたからである。このようなことは、最初からあり得ないことだと思われていた。粒子系の完全な記述には、粒子の位置も含まれるに違いないと考えたのである。 もし、そのように主張するならば、ボーミアン・メカニクスにすぐに到達する。
シュレーディンガーの猫の本当の意味は、実在論とは何の関係もないと思う人もいる。それは、知識の可能性と関係があるのだ。問題は、量子世界が非現実的であることではなく、量子系を知識の対象として安定化できないことである。
通常の知識の論理では、私たちの質問とは無関係に、知るべき対象がそこに存在することが前提になる。しかし、量子の場合、この前提が成り立たない。量子力学的なシステムに対して、測定という形で問いを投げかけると、得られる答えに干渉してしまう。
これらの本質的な特徴は「反実仮想」であり、何があるかないか（現実）ではなく、何が可能か不可能かについてである。実際、量子論の全体は反実仮想の上に成り立っている。反実仮想の性質は、量子論の運動法則よりも一般的であり、より深い構造を明らかにするものだからだ。
量子論の後継者は、運動法則は根本的に異なるかもしれないが、反実仮想の性質を示すことで、重ね合わせやエンタングルメント、さらには新しい現象が可能になるだろう。
シュレーディンガーは、仮想的な猫の実験で何を言いたかったのだろうか？現在では、シュレーディンガーは、量子論は、猫が死んでも生きてもいない浮遊状態にある物理的可能性を示唆していると主張したと一般に言われている。しかし、それは正反対である。シュレーディンガーは、そのようなことは明らかに不合理であり、そのような結果をもたらす量子論を理解しようとする試みは拒否されるべきであると考えたのである。
シュレーディンガーは、量子力学の波動関数は、個々のシステムの完全な物理的記述を提供することはできないと主張したアインシュタイン-ポドロスキー-ローゼンの論文に反発していたのである。EPRは、遠く離れた実験結果の相関関係や「spooky-a-distance（不気味な作用）」に着目して、その結論を導き出したのである。
シュレーディンガーは、2つの前提条件と距離効果とは無関係に、同じような結論に到達している。彼は、もし1）波動関数が完全な物理的記述を提供し、2）それが「測定」が行われるまで常に彼自身（シュレーディンガー）の方程式によって進化するなら、猫はそのような状態に陥る可能性があるが、それは明らかに不合理であることを示したのだ。したがって、ジョン・ベルの言葉を借りれば、「シュレーディンガー方程式によって与えられる波動関数がすべてではないか、あるいは、それが正しくないかのどちらか」なのである。
もし、その波動関数がすべてでないなら、いわゆる「隠れた変数」を仮定しなければならない（隠れていない方が良いのだが）。もし、それが正しくないのであれば、波動関数の「客観的崩壊」が存在することになる。以上が、Schrödingerが認識していた量子力学的形式を理解するための2つのアプローチである。いわゆる「多世界」解釈は、1も2も否定せずにやり過ごそうとして、結局はシュレーディンガーが馬鹿にしていた結論に直面することになる。
シュレーディンガーの例は、量子システムの不確定性をミクロの領域に閉じ込めることができないことを示した。ミクロな系の不確定性とマクロな系の不確定性を猫のように絡ませることが考えられるので、量子力学はミクロな系と同様にマクロな系にも不確定性を含意している。
問題は、この不確定性を形而上学的（世界における）に解釈するか、それとも単に認識論的（我々が知っていることにおける）に解釈するかということである。シュレーディンガーは、「手ぶれやピンボケの写真と、雲や霧のスナップショットとは違う」と指摘し、量子不確定性の解釈はどちらも問題であるとした。量子もつれは、このように二律背反の関係にある。
ベルが彼の定理を実験的に検証する前、量子力学の技術が発展し、もつれ状態の実在性を利用し、巨視的なもつれシステムを作り出す技術が開発される前、形而上学的な雲のオプションはテーブルから外されるのが妥当であった。しかし、もしもつれが実在するならば、それに対する形而上学的な解釈が必要である。
波動関数実在論とは、量子系を波動関数、つまり、死んだ猫に対応する領域と生きた猫に対応する領域で振幅を持つように進化しうる場と見なす解釈のアプローチである。シュレーディンガーが知っていたように、このアプローチを真面目に実行すると、これらの場が広がる背景空間は、量子波動関数の自由度を収容できる超高次元空間となる。
6. 超決定論について
不変集合論（IST）は、エネルギーの離散的性質に関するプランクの洞察を、今度は量子力学の状態空間に再適用することによって導き出された量子物理学のモデルである。ISTでは、量子力学の連続体ヒルベルト空間が、ある種の離散的な格子に置き換えられる。この格子には、実験者が量子系に対して測定を行ったかもしれないが、実際には行わなかったという反実仮想の世界が存在し、このような反実仮想の世界は格子の構造と矛盾している。このように、ISTは形式的には「超決定論」であり、実験者が行う測定は、測定する粒子から独立しているわけではない。
ISTでは、ISTの格子上にある状態は、世界のアンサンブルに対応し、各世界は状態空間の特別な部分集合上で進化する決定論的系である。非線形力学系理論に基づき、この部分集合は「不変集合」と呼ばれる。格子の隙間にある反実仮想世界は、不変集合上には存在しない。
アインシュタインは、量子波動関数は、不気味な距離作用や不確定性を持たない世界のアンサンブルを記述していると考えていたが、これは実現可能である。特に、シュレーディンガーの猫は、死んでいるか生きているかのどちらかであり、両方ではないのだ。
シュレーディンガーの猫の寓話に混乱をもたらしたのは、物理システムが非関係的な性質を持つという形而上学的仮定である。 もし全ての性質が関係的であるならば、見かけ上のパラドックスは解消されるかもしれない。
猫に関しては、毒が出るか出ないか、猫自身が生きているか死んでいるかである。しかし、この現象は箱の外にある物理系には関係ない。
箱の外の物理系に対しては、猫が起きていても眠っていても、猫との相互作用がなければその性質は実現されず、箱と外部系との将来の相互作用には、原理的に、猫がその系に対して確実に起きていたり確実に眠っていたりした場合には不可能だった干渉作用が含まれる可能性があるからだ。
つまり「波動関数の崩壊」は、猫が毒と相互作用することによって、ある性質が実現されることを表し、「ユニタリー進化」は、外部システムに対する性質の実現確率の進化を表すのである。 これが、量子論の関係論的解釈における「見かけのパラドックス」の解決策とされる。
8. 多世界
物理学者たちは古典物理学では観測された現象を説明できないことに気づき、量子論の現象論的法則が発見された。しかし、量子力学が科学的理論として受け入れられるようになったのは、シュレーディンガーが方程式を考案してからである。
シュレーディンガーは、自分の方程式を放射性崩壊の検出などの量子測定の解析に適用すると、生きている猫と死んでいる猫の両方が存在するような、複数の結果が並列に存在することになることに気づいた。実はこの状況は、よく言われるように2匹の猫が並列に存在するのではなく、生きている1匹の猫と、異なる時期に死んだ多数の猫が並列に存在することに相当する。
このことは、シュレーディンガーにとって重大な問題であり、量子測定中に量子状態が崩壊することによって、量子系の進化を記述する方程式としての普遍的な有効性が失われることを、彼は不本意ながら受け入れた。崩壊は、そのランダム性と遠方での作用から、受け入れてはならないのだろうか。その代わりに、パラレルワールドの存在が示されれる。これこそが、非局所的な作用を回避し、自然界における決定論を守る一つの可能性である。
ＳＦをもっと楽しむための科学ノンフィクションはこれだ！http://d.hatena.ne.jp/huyukiitoichi/20140417/1397744529 を受けて10冊選んでみました。
「『現実とはなにか』という認識が変わっていく」ような本はありません。
ヨーロッパにおける完全言語を求める歴史を扱った『完全言語の探求』と多くのプログラミング言語設計者へのインタビューをまとめた『言語設計者たちが考えること』は、あまり読者が重なっていない気がしますが、円城塔をきっかけにして両方読んでみるのもいいのではないでしょうか。
「つぎの著者につづく」(『オブ・ザ・ベースボール』収録)の冒頭で語られるエピソードが『完全言語の探求』から引いたものであることは単行本収録時に追加された注で明示されていますし、「道化師の蝶」に出てくる無活用ラテン語についても『探求』で触れられています。
一方『言語設計者たちが考えること』については、読書メーターで「小説を書く人も読むと良い」(2010年12月10日)とコメントしていて、『本の雑誌』の連載でも取り上げています(2011年11月「言葉を作る人たち」)。また『本の雑誌』の連載では『言語設計者たち』以外にも時々プログラミング言語や言語処理についての本が取り上げられています。
最近連載のはじまった「プロローグ」(『文學界』掲載)も今のところ、より望ましい文字の扱いや処理についての話をしているので、いささか強引な解釈ですが『完全言語の探求』『言語設計者たちが考えること』と繋がっている小説です。
ロシア語作家として出発しアメリカ亡命後に英語作家に転身したナボコフは、自分自身の書いた文章を別の言語に翻訳する「自己翻訳」を相当数おこなっていますが、それを主題とした評論書です。
円城塔本人も語っていますが、「道化師の蝶」ではナボコフがモチーフとして使われています。友幸友幸が「希代の多言語作家」であることもナボコフへの参照のひとつでしょう(若島正は『乱視読者の新冒険』のなかでナボコフを「稀代の多言語作家」と形容しています)。その希代の多言語作家の「わたし」とそれを翻訳する「わたし」が重なるようで重ならない「道化師の蝶」の筋立てにも、同じ作品について作者と翻訳者の両方の役割を演じたナボコフの影が見出せます。また「道化師の蝶」の姉妹編といえる「松ノ枝の記」での、相互翻訳・相互創作する2人の作家という設定も「自己翻訳」の変奏と見ることができるでしょう。こうした創作と翻訳の交錯する2編を再読する上でも、この評論書が良い補助線になるのでは。
読書メーターのコメントは「素晴らしい」(2011年4月28日)。
最初期に書かれた『Self-Reference ENGINE』や「オブ・ザ・ベースボール」「パリンプセストあるいは重ね書きされた八つの物語」(『虚構機関』収録)などに顕著ですが、円城塔の小説には、掌編の積み重ね(積み重ならず?)によって全体の物語が作られるという構造がよく現れます。これは辞典を順番に読んでいく感覚とちょっと似ているかもしれません。『数学入門辞典』を読んでいると、たとえあまり数学に詳しくなくても、円城塔の小説に対してしばしば言われる「よく分からないけど面白い」という感覚を味わえると思います。ただし、円城塔の小説に出てくる数学用語がこの辞書に出てくるなどと期待してはいけません。
「一家に一冊」だそうです。https://twitter.com/rikoushonotana/status/402707462370758656/photo/1
円城塔の小説には数学者やそれに準ずる人が多く登場しますが、『史談』は数学者を語った本として真っ先に名前のあがる定番の名著です。著者は類体論を確立したことあるいは解析概論の著者として知られる高木貞治。かの谷山豊はこの本を読んで数学者を志したそうです。
数学部分については河田敬義『ガウスの楕円関数論高木貞治先生著"近世数学史談"より』という講義録があるくらいには難しいので適当に飛ばしましょう。
『考える人』2009年夏号特集「日本の科学者100人100冊」で円城塔が選んでいたのが高木貞治とこの本でした。
ムーンシャイン現象は、『超弦領域』収録の「ムーンシャイン」の題材で、他に「ガーベジコレクション」(『後藤さんのこと』収録)にも単語だけですがモンスター群とコンウェイが出てきます(コンウェイは「烏有此譚」の注にも言及あり)。作品内に数学的ホラ話といった雰囲気がしばしばあらわれる円城塔にとって「怪物的戯言(モンスタラス・ムーンシャイン)」はいかにもな題材かもしれません。
ムーンシャインを扱った一般向けの本というとたぶん最初に『シンメトリーとモンスター』が挙がるのですが翻訳が読みにくいし『シンメトリーの地図帳』にはあまり説明がなかった気がするので、この『群論』を挙げます。
数学の専門書ですが、第4章「有限単純群の分類/Monsterとmoonshine」は読み物風の書き方になっています。ただし詳しい説明なしでどんどん話が進んでいくところも多く、きちんと理解するのは無理です(無理でした)。
第4章を書いている原田耕一郎はモンスター群の誕生にも関わりが深い人で、多くの文章でモンスターとムーンシャインについて触れているので、雑誌などを探せば難度的にもっと易しい文章が見つかるかもしれません。
円城塔の小説には「オブ・ザ・ベースボール」のように確率についての言及もよく見られます。『数学セミナー』『数学のたのしみ』『科学』等で高橋陽一郎が書いた確率論についての諸入門解説記事、は探すのが面倒だと思われるので、もっと入手しやすいこの本を。
確率微分方程式で有名な伊藤清のエッセイ集です。「確率」より「数学者」の項に置くのがふさわしい本ですが確率の本として挙げます。
読書メーターのコメントは「素晴らしい」(2010年10月24日)。
やはり専門が力学系ということもあり、力学系関連もしばしば登場します。
本のタイトルを見て「力学系と力学は違う」と指摘されそうですが、副題は「カオスと安定性をめぐる人物史」。力学系の歴史に関する本です。実のところどんな内容だったか覚えていないのですが、「いわゆるこの方程式に関するそれらの性質について」(単行本未収録)で引用文献に挙がっているから大丈夫でしょう。
『Nova 1』収録の「BeaverWeaver」をはじめ、ロジック(数学基礎論)関連も円城塔の小説に頻出する素材です。
とりわけ計算可能性、ランダム性、busy beaver、コルモゴロフ複雑性……とあげてみると、まずはチャイティンの諸作が思い浮かびますが、あれはむやみに勧めていいタイプの本なのかちょっと疑問なので避けます。読書メーターでは、最近出た『ダーウィンを数学で証明する』に対して「チャイティンのチャイティンによるチャイティンのためのいつものチャイティン」(2014年3月20日)とコメントしています。
これという本が思い浮かばなかったので、いくらかためらいながらもこの本を挙げました。『メタマジック・ゲーム』か、あるいはヒネリも何もなく『ゲーデル・エッシャー・バッハ』でよかったのかもしれません。ただ『ゲーデル・エッシャー・バッハ』だけを読んでもほぼまちがいなく不完全性定理は理解できないということはもっと周知されるべきじゃないかと思います。
円城塔はこの本について「すごかった。(但し、かなりハード。)」(2011年3月27日)とコメントし、『本の雑誌』でも取り上げています(2012年10月「ゲーデルさんごめんなさい」)。
初心者向きの本ではありませんが、不完全性定理について一席ぶつ前に読んでおくといいでしょう。
『天体力学のパイオニアたち』が上下巻なので、以上で10冊になります。
別にノンフィクションを読まなくてもフィクションを楽しむことはできますが、ノンフィクションを読むことによって得られるフィクションの楽しみというのもまた楽しいんじゃないでしょうか。
追記:小谷元子編『数学者が読んでいる本ってどんな本』に寄稿している13人のうちのひとりが円城塔なので、そちらも参照してみるとよいと思います。リストに挙げられている約50冊の本のうち半分くらいがノンフィクションです。上に挙げた本とかぶっていたのは『数学入門辞典』『天体力学のパイオニアたち』『ゲーデルの定理 利用と誤用の不完全ガイド』でした。また、はてブのコメントで言及のあったイエイツ『記憶術』もリストに入ってました。
いやそんなもん俺だって理解してないけど。
でも「進化のために繁殖する」とか「強い遺伝子が生き残る」みたいな子供の妄想みたいな単純な話ではないということは容易に想像できる。
統計力学では協同現象という物理が広く存在するけど、これは局所的な相互作用だけで全体的に協調的な動きをすることがあるということ。
鳥や魚の群れが一斉に同じ方向に動いたりするのを見ると、「単純な進化論」的な思考だと何か全体の意思があると思ったりするんだろうけど、
もちろんそんなものはなくて、単に各個体は自分の近くの個体の動きに機械的に合わせてるだけ。
非線形力学系ではリミットサイクルというもんが存在して、あたかも何か意味ありげな構造的な運動が現れたりするけど、これも別にそれ自体に
深淵な意味があるというより、運動方程式の非線形性がたまたまそういう形を成しただけで、違う形のリミットサイクルが（見えないだけで）
無数に存在したりする。
極端に単純化した物理モデルでもそれだけ複雑な構造が起こるわけで、不確実性が比べ物にならないほど大きくて複雑な生物システムでは何が起こるか
なんてどう考えても単純に言い表せるものではないだろうし、「進化」とか「強さ」とか分かったような顔して語れるものでは絶対に無いだろう。
