问道研究所
学科入口是词典级对照：用对方的语言立梯，登毕即撤。
以互模拟为身份判据；有限情形可经 Paige–Tarjan 分划细化判定。
完整 32 态旋机胞（相位＋老少耦合）的转移半群可解，群部件为 ℤ₈；S₈ 反例划出可解性边界。
旋机全基因组分析器：以旋机（相位＋老少）引擎做基因调控网络命运预测与敲除扫描的软件。