毕业感言 （有红包）毕业纪念+闲聊（中二）

[Mr.K 018]

毕业纪念+闲聊（中二）

今天(指12月12号，不用在意我为什么要强调这个)就算是毕业+穿越了，可以自由地探索大人的世界了√

这里感谢字母大佬 @Κris 陪我版聊（a.k.a.水贴），新人们想要更快地穿越/出村，就去找她版聊吧！毕竟字母酱的水量是完全可以保证的字母大佬还是非常和善的，新人们不用害怕，乖乖成为她的惹不起吧~

19/12/14更新：据说字母大佬当动漫区管理才一年多，就已经有了183K的节操，平均每天能氵501.03点节操

——对，全是回帖回出来的节操

所以说，只要肯水肯版聊，三天穿越不是梦！不，一天穿越也不是梦！

 

初来乍到，也不知道该说点啥，不然就聊聊我一年前的中二世界观吧。大家如果有兴趣就随便看看，要是嫌太长不看的话，就拿了红包再走吧~
本文可能比较长，为防止疯狂下拉找文章结尾，这里先说一嘴：红包口令不出意外是“你说这些谁听得懂啊”。如果口令不对或者根本没有什么红包，请艾特我修改（指修改帖子正文），万分感谢

那么话不多说，开始正文(?)

0 缘起

这个中二世界观的起源是一年前的某一节马原课。众所周知马原前一半都是哲学，而且🐎院老师跟工科学生天然相性就不太合（你作为马院老师不懂牛二不怪你，但是明明不懂还要拿出来瞎扯就是你的错了），于是我和我的某个舍友就开始坐在第一排交头接耳，而且根本没有控制音量，老师绝对听得见（笑），作为对老师瞎扯的某种抗议。
后来，除了我俩之外就没人坐第一排了

那么，我们都交头接耳些了什么呢？

1 论计科学生如何回答哲学问题

这一天老师讲到哲学史上有名的“特修斯之船”问题。这个问题比较经典，这里就不赘述了，不了解详情的朋友请百度。基本上正常人的答案都是那个一直叫特修斯之船的才是真正的特修斯之船咯，但是为啥呢？
按照马原的原理（其实现在有点记不清了，欢迎考研大佬斧正）当然是整体大于部分之和balabala，但是我们是CS（计科的简写）学生欸，我们下意识地就要搞明白“整体不是部分之和是什么”这个问题。

回到船本身上来。组成船的材料大概有木板，钉子，绝缘漆啥的，为了简便起见我们不妨假设造船光靠木板就行。显然，不是说光有合适材料和形状的木板就是一条船了，各个木板还要处在正确的位置上才行。换而言之，木板和木板间需要有正确的相互关系才行。比如构成船壳的木板间要求水密，船的骨架间则要求连接很坚实，不易断裂（当然，前提是它们之间需要有“互相连接”这个关系，不然一切都是扯淡）。于是，船的各个部分各自连接起来相互关联了起来。

本来到这里已经可以写Q.E.D.了。但是我们实在无聊，横竖看了半节课，看出来字缝里满满地写着数据结构里面的“图”。

2 “图”

计科专业的朋友，码农，或者了解过数据结构的朋友可以跳过这一小节。

想要查看关于“图”地更严格的定义，请参阅百度百科或者随便哪一本离散数学书。

各行各业都有黑话。雨果在《悲惨世界》中专门花了一小节来讲各种黑话——文雅一点的表示是“切口”——各种语言的黑话，各行各业的黑话，还有文人雅士的黑话。当然我们不探讨雨果想表达的深层意思，至少我们知道了黑话是到处都有的。

写程序的家伙们也有黑话。实际上，这帮家伙日常说的话里面充满了黑话。程序员们说“对象，实例，成员，方法，函数，构造，析构”，等等等等。“图”，就是他们说的黑话。

想象一张简单的地图。地图上面有几个村子和几座小镇，有公路连接，并且这些路都是不相交的。如果我们不太在乎路具体经过哪里，只关心从A村到B小镇有没有公路相连，怎么沿着公路走，那么我们干脆把公路去曲而取直，或者干脆不在乎这条“路”到底是曲线还是直线，只要在两个镇子/村子间随便连一条线，就表示它们之间有一条路啦。这样画的线，叫做图上的“边”。当然，可以对边逐个标号，这样就能区分哪条边对应哪条路了。

我们甚至可以更进一步，现在我连镇子/村子具体坐落在哪里、有多大也不想知道了，只要它们之间连接着的路的情况不变就行。那么我们干脆就把这些镇子或者村子画成一个点，叫做节点/结点。如果有路（到这里变成了一条边）通向这里，那就把边的末端连在这里好了。同样，我们不在乎这个点画在哪里，只要连接路面的情况相同就行。同样，可以对点标号，来区分这个点代表哪个村庄或者镇子。
同样，如果路面相交，我们为什么不把十字路口也当成一个点，跟镇子或者村子同样对待呢？

好了，现在你已经成功地把实际的地图抽象成了程序员嘴里的黑话“图”了。当然，图上的节点不一定非要代表村庄或者集镇，只要是能互相区别的东西就行；边也一样，不一定非得表示道路，只要是某种关系就行。比如说，讨论人际关系是，个人可以当作图上的节点，而被讨论的那种关系就是图上的边。在前文的特修斯之船问题中，节点就是各种木板，边就是木板之间的关系——当然不限于一种关系，我这里耍一个花招，不妨在连上边的同时，标注一下具体说的是什么关系。当然严格定义的图中，边就是边，没什么可以拿来标注的。

让我们回归正题。

3 论计科学生怎么创建一艘船

我们似乎已经解释完成了整体比部分之和多在哪这个问题，那就是部分之间的相互关系，是用图上的边来表示的。但是这个答案不是很令人满意。道理很简单，整体除了具有部分间的相互关系以外，还具有一些它独有的性质和行为。例子可以举出很多，比如“排水量”这个概念无法从木板以及木板间的相互关系里找到，只有组成了一艘船，“排水量”这个概念才有意义；一群水分子并不知道怎么“流动”，除非它们汇聚成宏观的水滴或水流。因此，单单一张图是远远不够的。

 

我们把那些描述一个整体的属性加入到原先那个整体的描述中来。这样原先整体的定义就发生了变化，变成像这样的东西——

class Graph;    //我们之前关于“图”的定义……
struct Thing
{
  Graph components;  //组成整体的部分，就是那张图
  AnyType property1;     //属性1
  AnyType property2;     //属性2 
  //更多属性……
}

不想看“代码”就看这里好了：这里展示了一类东西的定义里面，不止包含我们在第2节里面说的部分图，也包含更多属于这个整体自身，而不是它的某一个部分的内容。这些内容如何定义完全由你说了算。想要一个实数存放排水量？行啊，来一个；想要一个字符串来存放名字？没问题啊；如果想存储这艘船是哪个造船厂建的呢？也行啊。在这方面，它是非常自由的。

这时我们发现，原先最为重要的那个“图”，现在似乎降格成了跟其他属性一样，也仅仅是个属性罢了。话说回来，为什么要把它单独看待呢，难道只是因为几乎所有东西都能拆分成更小的结构，因此这个属性在几乎所有东西中都会出现，逐一定义显得有些白费力气吗？

Mr. K在这里卖个关子，我们先解决另一个看上去同样紧迫的问题。

---

To be continued!

（有耐住性子看到这里的朋友吗？）

十二月 15, 2019，由Mr.K 018修改
更新第3节：论计科学生怎么创建一艘船

[Mr.K 018]

3 小时前, 落殇 说道:

忒休斯之船的概念我觉得可以类比于中国千年以来的历史：曾数次经历外族入侵，为何还是被称作源远流长从未中断。

在早期华夏文明不断的和北方的游牧民族进行冲突的同时在双方边境进行贸易，学习对方的文化和部分生活习惯，相互联姻以加强相互联系，在这期间，除去语言和因地域原因导致的生活习惯不同，华夏和外族的差距其实是在逐渐缩小，逐渐融合。

而像魏晋南北，辽金元清这几朝，虽然是外族统治，但是大部分人仍然保持着原有的文化，生活习惯，语言，仍然是以汉族为主要民族，所以华夏文明是从没灭亡过的。

类比回忒休斯之船，船本身是作为一个概念，一个人的所有物，承载与这个船上的精神或者传说，船作为一个的所有物，当更换零件后新的零件就与原本的船融为一体，成为原有船的继承以及仍作为原有主人所有物。从精神上来看的话，则取决于人对于这艘船所代表或具有的精神，从这个角度看，就算是彻底换了一艘船，只要其内核不变，他还是原有的船。

嘛……我对人文方面没什么研究，但是这个话题（指同一性的判定）往人文这个方向带……

举个例子吧，这个例子来自高中生物教科书。原先有一个动物种群A在某生境下。某年发生地震，在生境中间张开一道大峡谷，两边不能相通，原种群被分隔成A1和A2两部分。这两部分独立演化，过几万年后性状就截然不同，甚至已经出现了生殖隔离。两边的演化都遵循了哲学上的连续性条件，都可以说是原种群（物种）A的延续，但显然A1和A2是不同的。这时，我们就产生了一个绿罗和张家口谁才是罗马正统的问题，众所周知这样的问题最后很可能变成男人除了ghs之外的另一个快乐之源：键政（呃……键盘历史学？）

毕竟在这里ghs和键政不可兼得，咱们还是聊点别的吧（笑

[Mr.K 018]

3 小时前, Κris 说道:

······························你这问题发言是什么情况？

欸，不是事实的嘛？！

[Mr.K 018]

刚刚, Κris 说道:

明显不是的啊！惹不起是什么啊！

是呀，是什么呢~

是指成为论坛里人都惹不起的大佬（确信

[Mr.K 018]

3 分钟前, Κris 说道:

那也明显做不到啊！

可以的吧？

大佬不也是从萌新一点点变成大佬的嘛

[Mr.K 018]

1 分钟前, Κris 说道:

可是也有个上限的啊

诶是吗？！

大佬直言天花板的存在性，我懂了.jpg

[Mr.K 018]

2 分钟前, Κris 说道:

所以我可能也就现在这样啦

仿佛听到大佬们的

“记住，你们只是用户，永远也不会是管理员”

[Mr.K 018]

5 分钟前, 落殇 说道:

只是个例子而已啦，其实换成器官移植也是OK的，我想说的内容主要是两个，一个群体始终占大部分，且那个群体始终保持继承并发展，那么那个群体始终是同一群体；以及一个群体始终会流动，会不断外来个体，外来个体融入群体中成为群体中的一员。

这个到不算涉政吧，我讲的内容也是初中历史😂

你说的生殖隔离 两个物种都能说是同一祖先的演化呀，都能说是他的继承和发展，只不过发展方向不同，自然产生了不同。

再抛出一个问题，假如说按照你的题目，分出两种物种的基础上，再分出一种，他们上万年以来从未进行演化，是万年以前的活化石，而这个时候这第三个物种与另外两种产生了生殖隔离的话，你有什么看法?另外两种生物还算不算原来的生物

 

生物学上的答案是如果A存在，当然现在的A有权说自己是以前的那个A；但即使现在的A不存在了，A1和A2也只是父母产下的儿女，而不是父母本身。迄今我没听说过A1A2产生生殖隔离了，却没有跟A产生生殖隔离的案例。我不知道是不是真的就不存在。

下面这样的情况是个特例。有一种蜗牛靠触角凑对繁殖，某一只蜗牛产生了基因突变，它的触角跟别的蜗牛是反着的，这样没法配对完成生殖。从定义上来讲这算是一个新物种

[Mr.K 018]

13 分钟前, Κris 说道:

你努力些也可能的，但是再往上就很困难的

嘛……那些对我都不重要（笑

我先把这个世界观完善好再说。虽然是一年前的想法，但也有很多问题需要解决

毕竟归根结底这玩意是码农拿来对一个特定任务建模用的

[Mr.K 018]

刚刚, Κris 说道:

··········还要完善这么可怕的吗

话说不去动漫区转转吗

好歹是个世界观嘛……

写都写出来了，肯定要尽我所能弄得完善一些——当然，尽我所能，我不能的当然不能做就是了

[Mr.K 018]

33 分钟前, Κris 说道:

唔··那个，你看到我的回复了吗

话说这个编辑器怎么整段整段的涂背景色啊，像这张图一样

（等一下，我图片呢？？

十二月 12, 2019，由Mr.K 018修改

[Mr.K 018]

1 分钟前, 落殇 说道:

仅仅从生物学的角度来看的话生物在进化期间，基因不断突变，一个种群也通过个体的不断突变而产生进化，量变最终引起了质变，你这样说我倒也挑不出什么错误，毕竟是性质改变了，就和把船的零件拆下来做成了大炮...

这么说来我的理解还是有点偏差，我没有想到量变产生质变的可能

不过你的新物种定义是不是有点奇怪，我记得新物种的定义是无法形成可生育的后代，加入两只蜗牛可以人为交配，产出正常触角的后代，一样可以继续繁殖下去吧，这样就不能说是一个新物种

这仅仅是课上讲的一个特例，用来证明单个基因突变就能产生一个新物种。如果没有人类，这就算生殖隔离吧？

这一点也说明在有些环境下，高中里面用生殖隔离方法定义的物种有些不适用，比如刚才这个例子就是。再来：用秋水仙素（或低温）处理二倍体西瓜，使子代成为四倍体，这个四倍体西瓜跟一般的二倍体西瓜也没法产生可育后代（无籽西瓜的来源之一，不过市面上主要的无籽西瓜好像都是植物激素产物）

好在这种情况下也不怎么谈物种，所以这个bug就不怎么算bug了，大概

[Mr.K 018]

7 分钟前, Κris 说道:

·································

简直就好像，高中生问小学生说，高中数学题怎么做一样

唔……那我开个主题问吧

[Mr.K 018]

4 分钟前, Κris 说道:

唔，你看到我的回复了吗

看到了，是在我发帖之后看到的……

抱歉x

[Mr.K 018]

2 分钟前, Κris 说道:

我觉得真要发贴问，也不如去水区···

新手村一堆新人谁来解答你啊

说得对，我检讨……

[Mr.K 018]

于 2019/12/12 于 PM10点35分, Κris 说道:

发在新手村，真能过来解答的，也就只有大佬了，那发在水区也是一样的啊

思考……

我在想，我是要回去玩欧卡2，还是更新这个……

[Mr.K 018]

刚刚, Κris 说道:

随意呀，你怎么想最重要

那我回去码点字吧

毕竟还是说过“要写完”这种话的

[Mr.K 018]

3 分钟前, Κris 说道:

那就加油啦，你打算发在哪里呢

发这吧，加一个修改

[Mr.K 018]

刚刚, Κris 说道:

修改啊···大家不一定会看到啊

不会把帖子顶上来的么？

[Mr.K 018]

6 分钟前, Κris 说道:

回帖的时候会顶，但是修改是不会的

那我还是单开一贴比较好

[Mr.K 018]

32 分钟前, Κris 说道:

不过你这个主题····意外没什么人回复呢

太长不看系列呗……

这种玩意，懂行的大佬看来就是笑话，不懂的人看了跟天书差不多……

[Mr.K 018]

9 分钟前, Κris 说道:

我是懒得详细看啦··

嘛，反正也是中二产物（笑

不过你可能已经发现了，Markdown排版就是这个效果。目前的正文部分仅仅展示了标题（和代码，但是sstm的编辑器不支持这个，需要做一些额外的处理）

虽然看上去跟没排版几乎一样，但是有了Markdown之后就不用每次都去调整字体大小和缩进了

[Mr.K 018]

3 小时前, mylifeyouwill 说道:

底下的看你还没码完字，有点没读出来你的结论。

那么我单独说说特修斯之船吧，类比于CS生。

 

首先我定义了一个符合特修斯船结构的类，就叫TXS结构船

class TXS结构船

包含子元素：

木板、钉子、绳子、......

包含功能（函数）：

排水、航行、储物、运载、纪念意义、......

 

于是你根据这个结构的船，分配内存地址建立了一个船：

忒休斯之船 =  TXS结构船(木板1、钉子1、绳子1、......)

 

之后你把他的木板、钉子、绳子啥东西全拆下来了给了另一艘船，自己换成新零件：

木板1、钉子1、绳子1、...... = 忒休斯之船.disassemble()

忒休斯之船.update(木板2、钉子2、绳子2、......)

忒休斯假冒替代船 = TXS结构船(木板1、钉子1、绳子1、......)

 

好了，那你现在造了个新船，但是核心的内存地址和起名都不是之前那个了。

对没错，就是这样

其实按我这个设定，这个问题就被化解掉了(用对象的概念偷换了船的概念)，所以它其实变得不再重要，说这事主要是讲一个故事