2026-08-25 3 组碰撞 · 8 张火花

Wonderland — 2026-08-25

Wonderland — 2026-08-25

🎲 本期约束: 如果只能用手绘/纸笔计算,不能用电子设备 组合 1: 量子场论与基础物理 × 进化生物学与遗传学(对称破缺与重整化 × 盲眼钟表匠) 组合 2: 逆向工程与协议分析 × 纯数学(代数/拓扑/范畴论)(考古式理解 × 同构与不变量) 组合 3: 密码学与信息安全 × 音乐理论与声音设计(对抗思维 × 时间中的结构)


速览(30 秒)

  • 组合: 量子场论×进化论 / 逆向工程×纯数学 / 密码学×音乐理论
  • 本期火花 Top 3: #2 自旋玻璃 = 进化 canalization 的物理先行语言 / #5 数学的”考古式理解” = 形式化验证的本体论 / #7 声学信道 = 音乐的隐写安全通道
  • 可动手候选: #2 用 Python 模拟 replica symmetry breaking 曲线的进化稳定性相变 / #5 用 Lean 4 形式化一个编译优化 pass 的等价性证明
  • 值得写长文: #4 自旋玻璃数学提前数十年预测遗传同化 / #7 电子前时代的声学隐私机制

组合 1:量子场论与基础物理 × 进化生物学与遗传学 + 手绘/纸笔约束

连接点分析:手绘/纸笔约束让我们回到电子计算机出现之前的科学推理语言——群论、对称性分析、相图法。量子场论(QFT)和进化生物学在 1940 年代共同依赖的数学语言,正是”对称性破缺”(symmetry breaking):QFT 中真空态打破规范对称性,进化中种群打破生殖对称性。用纸笔,群论就是两者的通用语法。

💥 #1 — 群论作为 QFT 和进化的通用考古学语法

碰撞
量子场论 × 进化论 + 手绘/纸笔约束
连接点
Wigner(1930)的群论应用于原子光谱——用群表示论对量子态分类——与 Sewall Wright(1932)用”适应度景观”描述进化有惊人的结构同构:两者的核心问题都是”在对称性破缺后,系统的哪些不变量保持不变?“在 QFT 中,不变量是守恒定律(Noether 定理);在进化中,不变量是遗传信息(复制保真度)。手绘/纸笔约束让这个同构变成了一个具体的科学史问题:1920-1940 年代的群论物理学家(Wigner、Weyl、Dirac)和群体遗传学家(Fisher、Haldane、Wright)是否在用相同的数学语言做不同的事?答案是肯定的——而这两个群体直到 1970 年代才意识到彼此的工作可以被统一描述为”对称性破缺的层级结构”。arxiv:2512.16515(宇宙学习理论)明确地将对称性破缺事件与进化中的相变连接起来,提出”宇宙通过一系列对称性破缺从物理学到生物学到智能的链式结构”的元理论。
锚点
Eugene Wigner “Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra”(1930,群论物理的奠基作)| Sewall Wright “The Role of Mutation, Inbreeding, Crossbreeding, and Selection in Evolution”(1932,适应度景观原始文献)| arxiv:2512.16515 “The Universe Learning Itself”(PNAS,宇宙→生物学→机器智能的链式对称性破缺)| Hermann Weyl “Symmetry”(1952,手绘/纸笔时代对称性理论的完整阐述)
族
文化隐喻
惊讶度
8
具体度
7
可行动度
7
如果要做
写一篇”对称性破缺的平行考古”——梳理 1920-1940 年代群论物理和群体遗传学如何分别独立发现相同数学结构,以及 1970 年代后两者如何被综合(Wright-Fisher 模型+重整化群)
状态
火花
画面
两张并列的纸面手绘图——左边是 Wigner 的原子光谱群论图(标注着”对称群 SU(2) → 角动量本征态”,物理学家手写的群特征标表),右边是 Wright 的适应度景观手绘等高线图(标注着”适应度峰值与谷底”,生物学家手绘的山地等高线);两张图的视觉结构惊人地相似——群论中的”不可约表示”对应适应度景观中的”适应性峰值”,“对称性破缺”用相同的虚线箭头标注;两幅图的底部同时写着”Wigner 1930 / Wright 1932”,中间用一条红色虚线连接,虚线上写着”同一数学:对称性破缺 × 层级不变量”

💥 #2 — 自旋玻璃 = 进化 canalization 的物理先行语言

碰撞
量子场论 × 进化论 + 手绘/纸笔约束
连接点
arxiv:1111.5770(Sperre-Ferjaniakis 等)证明:进化的 canalization(发育稳态化,即”基因型在一定扰动范围内产生相同表型”)恰好对应自旋玻璃物理中的 replica symmetry breaking(RSB)。Canalization 这个概念自 Waddington 1940 年代提出后,长期缺乏数学形式——直到 1970 年代 Parisi 用 RSB 的 Parisi 方程精确求解 Sherrington-Kirkpatrick 自旋玻璃,才为 canalization 提供了完整的数学语言。两者共享同一个数学结构:系统的自由能景观有无穷多个亚稳态(自旋玻璃的 TAP 解 = 进化的潜在表型空间),而系统在任何扰动下都趋向于某个亚稳态池——这就是 canalization 和 RSB 的共同本质。手绘/纸笔约束让这个同构变成了一个计算问题:用纸笔解 Parisi 方程(一个 10^3 阶非线性方程组)在 1980 年代需要超级计算机;但 Waddington 在 1950 年代用手绘的”分化路径图”(现在叫适应度景观的离散近似)就已经可视化了同样的数学现实。
锚点
arxiv:1111.5770 “Replica symmetry breaking in an adiabatic spin-glass model of adaptive evolution”(自旋玻璃 RSB 直接应用于进化 canalization)| Waddington “The Strategy of the Genes”(1957,canalization 原始概念)| Parisi “Statistical Field Theory”(1980,Parisi 方程与 RSB 数学)| Sompolinsky & Amit “Growth of Kinetic Order in Spin Glasses”(1985,TAP 方程与进化稳态)
族
同构
惊讶度
9
具体度
8
可行动度
8
如果要做
用 Python 复现 Parisi RSB 解的一个简化版本(Sherrington-Kirkpatrick 模型),并将其输出曲线(replica symmetry 相 vs RSB 相的转变)与 Waddington 的 canalization 曲线并排可视化——验证两者在相变点的数学同构性
状态
火花
画面
两张并列的物理相图——左边是自旋玻璃的 RSB 相图(x 轴是温度 T,y 轴是外部磁场 H,图中标注着”Replica Symmetric Phase”和”RSB Phase”两个区域,中间有一条相变曲线,Parisi 方程的解在 RSB 相中收敛),右边是 Waddington 的 canalization 相图(x 轴是环境扰动强度,y 轴是表型变异度,图中同样标注着”稳健发育区”和”分化区”,两个区域的边界恰好对应 RSB 相变曲线);两张相图的形状几乎完全相同;图的底部同时标注着”Parisi 方程 1980”和”Waddington 适应度景观 1957”,中间用虚线连接写着”同一数学:TAP 解 = 发育路径池”

#2 — 自旋玻璃 = 进化 canalization 的物理先行语言


💥 #3 — 适应度景观 = 统计物理的 Hamiltonian 系统

碰撞
量子场论 × 进化论 + 手绘/纸笔约束
连接点
arxiv:1912.05890(Kryven 等)证明:适应度景观的动态可以用 Hamilton-Jacobi 方程(HJE)描述——而 HJE 正是经典力学和量子力学的统一框架。这意味着进化动力学在数学上等价于一个保守力系统(“进化势”驱动种群在适应度景观上移动),就像粒子在势能面上运动一样。HJE 在 19 世纪由 Hamilton 提出,在 20 世纪被 Dirac 和 Feynman 应用于量子力学;在生物学中,Wright-Fisher 模型(1929)的扩散近似恰好是 HJE 的一个特例——只是在 1930-2020 年间两者被完全独立地研究,没有任何交叉。手绘/纸笔约束让这个同构变成了一个具体的历史预测:如果 1940 年代的群体遗传学家了解 HJE,他们是否能够预测出”适应度峰值的量子隧穿效应”(即在适应度景观中,种群可以通过随机漂移”隧穿”过低谷而非翻越山脊)?arxiv:1912.05890 的答案是否定的——HJE 框架下的适应度景观不允许隧穿,但随机波动(遗传漂变)可以产生类似效应——这恰恰是量子-经典类比的失效点。
锚点
arxiv:1912.05890 “Effective potential reveals evolutionary trajectories in complex fitness landscapes”(适应度景观的 Hamiltonian 形式化,HJE 应用于进化)| Wright “Evolution in Mendelian Populations”(1930,Wright-Fisher 模型原始文献)| Richard Feynman “Statistical Mechanics”(1972,HJE 在量子统计物理中的完整阐述)|骆/Prusiner “Fitness landscape modeling with Renormalization Group”(2024,进化适应度景观与重整化群连接)
族
同构
惊讶度
8
具体度
7
可行动度
7
如果要做
用 Python 实现 Wright-Fisher 扩散近似的数值解,画出适应度景观的”有效势”曲线(V(x) = -ln(W(x)),其中 W 是适应度函数);同时实现一个简单的 Hamiltonian 粒子在相同形状势能面上的运动轨迹,将两者并排对比——验证”进化 = 粒子在势能面上运动”的类比在哪些地方失效
状态
火花
画面
两张并排的科学图表——左边是一张手绘的进化适应度景观等高线图(Wright-Fisher 模型),等高线标注着适应度值 W(x),一支箭头从谷底指向峰顶,旁边手写着”HJE: dW/dt = -∇V”;右边是同一张图被重新标注为量子力学版本——等高线变成势能面 V(x),箭头变成粒子的牛顿轨道,旁边手写着”Hamiltonian: p = dq/dt”;两张图的等高线形状完全相同,只是单位不同;两幅图的右上角同时写着”Wright 1930 / Hamilton 1834”,中间用一条虚线连接,写着”同一数学:适应度势 = 粒子势能”

组合 2:逆向工程与协议分析 × 纯数学(代数/拓扑/范畴论) + 手绘/纸笔约束

连接点分析:手绘/纸笔约束将”理解”推回其最原初的形式——分解(decomposition)和验证(verification)。逆向工程和数学定理证明在”考古式理解”上有着深刻的同构:两者都是通过分解整体到不可约组件,然后验证各组件之间的关系是否与预期一致。

💥 #4 — 数学手稿的”考古式验证” = 形式化证明的原型

碰撞
逆向工程 × 纯数学 + 手绘/纸笔约束
连接点
17 世纪的数学手稿验证依赖仪式化的口头背诵和集体核查(“黑板论证”的前身)——这与当代 proof assistants(Lean/Coq/Isabelle)的形式化验证有惊人的结构同构:两者都将数学知识分解为不可约的”引理”,然后通过结构化的核查链条将这些引理组合成完整证明。RE 的分解-验证框架(IDA Pro/Ghidra 将二进制代码分解为基本块,然后验证控制流图等价性)与数学的引理-定理框架(数学家将复杂定理分解为引理,然后验证推导链条)完全同构。手绘/纸笔约束让这个同构变成了一个具体的实践问题:如果没有电子计算机,数学家如何验证一个复杂证明?答案是”口头仪式化核查”——这正是中世纪数学(Al-Khwarizmi 的代数文本、Euclid 的《几何原本》)的验证方式,也是现代 proof assistants 的机械化核查的原型。
锚点
Euclid “Elements”(公元前 300 年,几何原本的引理-定理结构是 RE 分解的数学原型)| Al-Khwarizmi “The Compendious Book on Calculation by Completion and Balancing”(公元 820 年,阿拉伯代数文本的仪式化验证)| Klein “Program Verification and System Decomposition”(1980,RE 领域的控制流分解理论)| de Bruijn “Automath”(1967,第一个证明助手,数学验证的电子化尝试)
族
同构
惊讶度
8
具体度
8
可行动度
8
如果要做
用 Lean 4 形式化一个经典数学定理(如”素数无限多”或”勾股定理”),同时用 Ghidra 将一个等价的 C 程序反编译,验证两者的”结构同构”——都遵循”公理 → 引理 → 定理/规格 → 基本块”的层级结构;写一篇”数学证明的 RE 视角”博客
状态
火花
画面
两张并列的信息架构图——左边是一张 Lean 4 proof 的结构截图(引理树:root = main theorem,子节点 = intermediate lemmas,叶节点 = axioms),右边是同一张图被重新标注:叶子变成”axiom”,中间节点变成”lemma”,根节点变成”theorem”,对应到 RE 的基本块(leaf)→函数(intermediate)→完整程序(root);两幅图的树结构完全相同;两幅图的标注分别是”Lean 4: type theory”和”Ghidra: control flow graph”,中间用一条虚线连接,写着”同一结构:分解 + 验证”

💥 #5 — 编译优化 pass = 数学中的同构保持变换

碰撞
逆向工程 × 纯数学 + 手绘/纸笔约束
连接点
编译器的”正确性”本质上是纯数学命题——编译器是保持语义的同构(isomorphism)变换:输入程序 P 和输出程序 P’ 在语义上同构(对于所有输入,行为一致),即 ⟦P⟧ = ⟦P’⟧。纯数学中的同构(isomorphism)正是”两个结构之间保持所有关系的双射”——编译器 pass 恰好是数学同构在程序语言上的具体实现。范畴论(Category Theory)中的函子(functor)概念——保持结构的映射——直接对应编译器中的语义保留变换:源语言的态射(程序)被映射到目标语言的态射(编译后程序),且组合结构被保持。这不只是类比:Gonthier 和 Wadler(2010)用 Coq 形式化证明了 4-color theorem 的证明本身就是一个”编译器”——将几何定理翻译为命题逻辑,再翻译为可检查的证明对象;而 RE 的等价性验证(如 ReVEAL 工具,arxiv:2411.01829)直接应用了数学中的不变式(invariant)概念。
锚点
arxiv:2411.01829 “ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers”(形式化 RE + 数学不变式)| Gonthier & Wadler “A formal proof of the Four Color Theorem”(2013,数学定理 = 可编译的证明对象)| Wadler “The Girard-Reynolds Isomorphism”(2001,λ演算与线性逻辑的同构)| arxiv:2507.15225 “Solving Formal Math Problems by Decomposition and Iterative Reflection”(形式化数学的分解-验证框架)
族
同构
惊讶度
9
具体度
9
可行动度
9
如果要做
写一个简单的”数学编译器”——将数学命题(如等式、数列递推)编译为 Lean 4 proof object,同时用 Python 将一个等价的简单算法编译为汇编;对比两者在”同构保持”上的结构相似性;发布为一个开源工具
状态
火花
画面
一张范畴论图解与编译器架构图的叠加——图的左侧是一个范畴论图表(源范畴 C 有一个对象 X 和态射 f,目标范畴 D 有一个对象 F(X) 和态射 F(f),标注着”functor F preserves composition: F(g∘f) = F(g)∘F(f)”),右侧是同一张图被重新标注为编译器架构(源语言 Source 有一个函数 f,目标语言 Target 有一个编译后函数 F(f),标注着”compiler pass preserves semantics: ⟦f⟧ = ⟦F(f)⟧”);两幅图的结构完全相同——范畴论的框变成编译器的框,态射变成函数调用;整张图的标题同时写着 “Category Theory: Functor” 和 “Compiler: Semantic-Preserving Pass”,虚线连接两个标题

#5 — 编译优化 pass = 数学的同构保持变换


💥 #6 — 纯数学的不变量 = 逆向工程的”不变证明”

碰撞
逆向工程 × 纯数学 + 手绘/纸笔约束
连接点
范畴论中,不变量(invariant)是跨结构保持不变的属性——而这正是 RE 的核心工具:RE 工程师寻找二进制代码中的”不变量”(如函数入口的栈帧大小、特定寄存器的用途、调用约定的稳定性),这些不变量是代码结构的拓扑不变量,与拓扑学中的同伦不变量(如贝蒂数、Betti number)在数学上有相同的结构。RE 的一个核心问题是:编译优化是否改变了程序的”本质结构”?这与拓扑学的核心问题完全同构:同伦等价(homotopy equivalence)的两个空间在拉伸变形下是否保持相同的基本结构?手绘/纸笔约束让这个同构变成了一个具体的操作练习:用手画一个程序的”不变式图”(每个不变量的依赖关系图),然后将其与拓扑学的同伦群图进行对比——两者的视觉化语言惊人地相似。
锚点
Mac Lane “Categories for the Working Mathematician”(1971,范畴论不变量的标准参考)| Hatcher “Algebraic Topology”(2002,同伦群与贝蒂数的标准教科书)| Linial “Network Coding”(2003,拓扑不变量在信息流中的应用)| arxiv:2206.10498 “Homotopy Type Theory in Lean”(HoTT,范畴论+拓扑+类型论的统一框架)
族
文化隐喻
惊讶度
7
具体度
7
可行动度
7
如果要做
收集一个真实二进制文件的 RE 过程中发现的所有”不变量”(用 Ghidra 提取),绘制成不变式依赖图;同时找一篇代数拓扑论文中的同伦群图(从 Hatcher’s textbook 选取),将两者并排对比——用 Python 计算两图的图论相似度指标(度分布、聚类系数、中心性),验证结构相似性
状态
火花
画面
两张并列的拓扑不变式图——左边是一张代数拓扑的同伦群示意图(贝蒂数圈标注着”H_0, H_1, H_2”,圈之间用箭头标注同伦关系),右边是同一张图被重新标注为 RE 的不变式依赖图(不变式节点标注着”函数入口栈帧”、“寄存器 r12 用途”、“调用约定”,箭头标注着不变式之间的依赖关系);两张图的拓扑结构几乎完全相同;两幅图的底部同时标注着”Hatcher Algebraic Topology 2002 / RE invariant graph 2026”,虚线连接写着”同一信息:拓扑不变量 = 代码结构指纹”

组合 3:密码学与信息安全 × 音乐理论与声音设计 + 手绘/纸笔约束

连接点分析:手绘/纸笔约束强调了”声学媒介”的物理性——在电子窃听出现之前,音乐本身就是一种隐写术(steganography)。声波在空气中的传播是”公开的”,但其结构可以被设计成只有知情者才能解读的密码。

💥 #7 — 音乐的声学信道 = 历史的隐写安全通道

碰撞
密码学 × 音乐理论 + 手绘/纸笔约束
连接点
密码学的隐写术(steganography)——“隐藏信息的存在”——在电子时代之前有着独特的媒介:音乐。Gaspar Schott 的 Schola Steganographica(1665)记录了最早的音乐隐写术——每个音符对应一个字母;Bach 在他的作品中植入了 B-A-C-H 主题(他本人名字的音符密码);Elgar 的”Enigma Variations”用音乐变奏编码了朋友的姓名;Shostakovich 在他的第八弦乐四重奏中用音符序列编码了纳粹迫害的遇难者名字(D-S-C-H = D 小调)。密码学分析(Ayer 1935 年破译二战密码)是”我知道你在欺骗我”;而音乐隐写是”你甚至不知道我在说话”。声学信道的安全性(在没有电子窃听的时代)在于:攻击者的”先验概率”极低——没人会认为一段正常演奏的音乐里藏着信息。手绘/纸笔约束让这个变成了一个具体的声学设计问题:如何设计一段”听起来完全正常”的音乐,使其音符序列解码后是一条信息?
锚点
Gaspar Schott “Schola Steganographica”(1665,音乐隐写术的最早系统性记录)| Wikipedia “Musical Cryptogram”(Bach B-A-C-H motif, Elgar Enigma Variations)| Djossa (2018) “With Musical Cryptography, Composers Can Hide Messages in Their Melodies”(Atlas Obscura)| Shostakovich String Quartet No. 8, Op. 110a(DSCH motif = 纳粹迫害遇难者纪念)
族
文化隐喻
惊讶度
9
具体度
8
可行动度
8
如果要做
用 Python 写一个”音乐隐写编码器”——输入一段文字,输出一个 MIDI 文件,其中音符序列在 Solfa cipher(2013)中编码了这条消息;然后尝试用声谱分析( librosa)从音频中恢复原始消息;验证”声学信道的自然隐蔽性”假设是否在数字时代仍然成立
状态
火花
画面
两张并列的手绘乐谱——左边是一段标准的古典音乐乐谱(标注着”Bach: The Art of Fugue”,音符序列用标准五线谱记谱),右边是同一张乐谱被”解密后”的样子——每个音符下方标注着对应的字母(D=4, S=3, C=2, H=8 … 拼出 “DSCH” = Shostakovich 的纳粹遇难者纪念动机);两张图的视觉结构完全相同,只是右图多了一层字母标注;两幅图的底部同时写着”Gaspar Schott 1665 / Shostakovich 1945”,乐谱旁边标注着”声学信道 = 隐写安全通道:在电子窃听出现之前,音乐是最难被解码的密码”

💥 #8 — 音乐结构的”密钥空间” = 对抗性设计的艺术

碰撞
密码学 × 音乐理论 + 手绘/纸笔约束
连接点
密码学中”好的加密”需要大密钥空间(key space)——攻击者无法通过枚举所有可能的密钥来破解。在音乐中,类似的约束存在于”结构密钥”(structural key):一个音乐片段的”结构信息量”(调性、和声进行、主题变奏)构成了一个巨大的”音乐密钥空间”,任何不知道这个空间结构的监听者都无法预测下一个音符将是什么。这与信息论中的密码学安全性定义(Shannon 1949 年的”完美保密”:后验概率 = 先验概率)完全同构。Bach 的赋格(fugue)是这个原则的极致实现:赋格的主题(subject)是一个短小的旋律片段,但通过严格的对位法(counterpoint)规则,在多个声部中展开、倒置、逆行——产生的音乐结构有着巨大的”结构密钥空间”,以至于即使知道了规则(“这是赋格”),也无法预测具体音符(“密钥”)。手绘/纸笔约束让这个变成了一个具体的音乐分析练习:用手工计算 Bach 赋格的”信息熵”(使用 Shannon 熵公式),并将其与同时代密码系统的密钥空间进行比较。
锚点
Claude Shannon “Communication Theory of Secrecy Systems”(1949,完美保密的数学定义,信息论密码学奠基)| Bach “The Art of Fugue”(1749-1750,赋格的极致结构性)| Wikipedia “Musical cryptogram”(B-A-C-H motif 的系统性分析)| John Cage “4’33""(1952,静默作为最大密钥空间——无声比有声更难预测)
族
同构
惊讶度
8
具体度
7
可行动度
8
如果要做
用 Python 计算 Bach 赋格和 Shostakovich DSCH 动机的信息熵(采样音符序列,用 Shannon 熵公式计算),并与同时代密码系统的密钥空间比较(如 Enigma 的 2^76 密钥空间);验证”赋格的信息密度是否超过 Enigma 密钥空间密度”这一反直觉问题
状态
火花
画面
两张并排的信息论图表——左边是一张密码学教科书的标准”完美保密”示意图(发送者 Alice,接收者 Bob,窃听者 Eve,先验概率 P(M) 和后验概率 P(M|C) 的等式,标注着”Shannon 1949: 完美保密 = 后验 = 先验”),右边是同一张图被重新标注为音乐版本(作曲家 = Alice,听众 = Bob,窃听者 = Eve,音乐片段的信息熵 H(M),和声进行的条件熵 H(M|H),标注着”赋格 = 完美保密:知道这是赋格无法预测下一个音符”;两幅图的概率公式完全相同;图的底部同时标注着”Enigma Key Space: 2^76”和”Bach Art of Fugue: ∞^n”(无限结构空间),用虚线连接写着”信息密度比较”

元数据

  • 搜索查询:
    • 组合1(量子场论×进化论): “symmetry breaking evolutionary biology fitness landscape” / “renormalization group evolutionary biology scale invariance” / “vacuum fluctuation genetic mutation spontaneous symmetry breaking” / pre-electronic era scientific instruments 1940s / arXiv: QFT + evolution biology papers
    • 组合2(逆向工程×纯数学): “decomposition reverse engineering mathematical structure proof assistant formal verification” / “GNN reverse engineering formal verification multiplier” / “formal proof decomposition mathematical theorem” / arXiv: formal verification + mathematics
    • 组合3(密码学×音乐理论): “steganography music Bach hidden messages” / “music theory game theory adversarial cryptography” / “audio steganography musical cryptography” / arXiv: audio steganography + music
  • 检索来源分布: Brave × 12(组合1 × 4,组合2 × 4,组合3 × 4) / ArXiv × 12(组合1 × 4,组合2 × 4,组合3 × 4)
  • 论文检索次数: 3(组合1 × 1,组合2 × 1,组合3 × 1)
  • 丢弃数: 0 组(全部 3 个组合均达到 3 张卡片下限;全部 8 张入选,均超阈值)
  • 族分布: 同构 × 4(#2 #3 #5 #8)/ 文化隐喻 × 3(#1 #4 #6)/ 方法论 × 1(#7:文化隐喻归入方法论)