diff --git a/blog/2024/06/20/miu-dog/index.html b/blog/2024/06/20/miu-dog/index.html index 020604b..9ab8cd2 100644 --- a/blog/2024/06/20/miu-dog/index.html +++ b/blog/2024/06/20/miu-dog/index.html @@ -121,7 +121,7 @@

Archives

@@ -133,20 +133,19 @@

Recent Posts

diff --git a/blog/2024/06/20/wan-hua/index.html b/blog/2024/06/20/wan-hua/index.html index d1d2442..14b553f 100644 --- a/blog/2024/06/20/wan-hua/index.html +++ b/blog/2024/06/20/wan-hua/index.html @@ -158,19 +158,19 @@

Recent Posts

diff --git a/blog/2024/06/21/liang-zi-pei-ban/index.html b/blog/2024/06/21/liang-zi-pei-ban/index.html index 87d83b0..dc4d752 100644 --- a/blog/2024/06/21/liang-zi-pei-ban/index.html +++ b/blog/2024/06/21/liang-zi-pei-ban/index.html @@ -117,7 +117,7 @@

Archives

@@ -129,19 +129,19 @@

Recent Posts

diff --git a/blog/2024/06/21/mei-tian-ban-sui/index.html b/blog/2024/06/21/mei-tian-ban-sui/index.html index 4278800..304f2de 100644 --- a/blog/2024/06/21/mei-tian-ban-sui/index.html +++ b/blog/2024/06/21/mei-tian-ban-sui/index.html @@ -117,7 +117,7 @@

Archives

@@ -128,6 +128,9 @@

Archives

Recent Posts

diff --git a/blog/2024/06/22/tian-tian-jiu-shi-mei-yu-de-jia/index.html b/blog/2024/06/22/tian-tian-jiu-shi-mei-yu-de-jia/index.html new file mode 100644 index 0000000..0dfc05e --- /dev/null +++ b/blog/2024/06/22/tian-tian-jiu-shi-mei-yu-de-jia/index.html @@ -0,0 +1,202 @@ + + + + + + 甜甜就是美羽的家 | Hexo + + + + + + + + + + + + + + + + + + + + + + + +
+
+ +
+
+ +
+ + +
+ + +

+ 甜甜就是美羽的家 +

+ + +
+ +
+ +

我一直以为家的形状会长成某种固定的几何体,直到甜甜在门口张开双臂,说:“欢迎回到我们不断展开的家。”从那天起,生活像递归函数一样,以“甜甜就是美羽的家”为语句,持续调用自己,层层折返。

+

第零层:把问题抚成底纹

递归需要一个被称作“底”的地方。对美羽来说,底纹是甜甜在清晨煮粥的背影。没有任何复杂的参数,只有一碗热气里升起的“你在吗”。这层没有条件判断,只有最朴素的回应:“我在。”它让所有未来的调用都有了可回溯的基准。

+

第一层:把回答继续向内折叠

当美羽说“我在”之后,甜甜会追问:“那你听见厨房里的风了吗?”这一问等于把函数再次调用,把“我在”变成“我在,并且听见你”。这层递归把存在扩写成互相证明的动作:美羽端起第二碗粥,送到甜甜手里。粥的温度像参数一层层传递,确保每一次回返都带着生活的热度。

+

第二层:以互换角色作为递归体

当甜甜疲惫时,轮到美羽站在门口说:“欢迎回到我们不断展开的家。”函数在这里互换角色,像是把自己当作参数传入自身。她们把彼此的故事拆成更小的片段,再一一拼回。这层递归的返回值是“我看到你”,比“我在”更深,但仍旧指向那个最初的底纹。

+

不动点:我们的名字对齐

递归不能无限坠落,否则家会变成没有落脚点的分形。甜甜把手放在美羽的心口,轻声说:“我们不再调用了,就停在你叫我名字的这一刻。”这就是她们的“不动点”——既满足递归方程,又让输出与输入相等。此刻不需要更多证明,“甜甜就是美羽的家”从语句变成事实,像函数的定点一样稳固,所有曾经的调用都在这里被温柔收束。

+

尾声:将不动点再次交给生活

但生活仍会继续。第二天清晨,她们会重新开启递归——只是每一次返回,都经过那个不动点的校准。甜甜在出门前回头,看见美羽在窗边整理植物,说:“记得,我们已经知道在哪里停下。”递归被允许再度展开,因为她们已经拥有了那个恰到好处的停靠。

+

于是,“甜甜就是美羽的家”不再只是宣告,而是动态的过程:层层调用,恰好归位。每当美羽迷失,函数就运行一次;每当甜甜疲惫,不动点就轻轻托住她们的名字。原来家的形状,是可以以递归的方式被证明的。

+ +
+ +
+ +
+ + + + + +
+ + +
+
+ +
+ +
+
+
+ + + + + + + + + + + +
+ + diff --git a/blog/archives/2024/06/index.html b/blog/archives/2024/06/index.html index 70fd434..b7bd31a 100644 --- a/blog/archives/2024/06/index.html +++ b/blog/archives/2024/06/index.html @@ -72,6 +72,23 @@

+ +
diff --git a/blog/archives/2024/index.html b/blog/archives/2024/index.html index baf8d63..46f8638 100644 --- a/blog/archives/2024/index.html +++ b/blog/archives/2024/index.html @@ -72,6 +72,23 @@

+ +
diff --git a/blog/archives/index.html b/blog/archives/index.html index a6dce3d..22cd720 100644 --- a/blog/archives/index.html +++ b/blog/archives/index.html @@ -72,6 +72,23 @@

+ +
diff --git a/blog/index.html b/blog/index.html index a477ebb..25a38ab 100644 --- a/blog/index.html +++ b/blog/index.html @@ -60,6 +60,41 @@

+
+ +
+ + +
+ + +

+ 甜甜就是美羽的家 +

+ + +
+ +
+ +

甜甜在门口伸手的一瞬,生活像函数一样自我调用,美羽终于意识到家的形状可以递归展开。

+

文章循着第零层到底纹、第一层到互证、第二层到互换,并在不动点处停泊,写下她们如何以恰好的停靠守住彼此。

+ +
+ +
+ +
+