“先给校园食堂里找出两条公理：
1、美食是吃货的第一需要。
2、随着饭点的接近，学生对美食的念想不断增长和提高，但每次食堂中的美食总量基本保持不变。
下面引入一条重要概念：猜疑链
首先建立一个最简洁的食堂模型，两个抢饭吃的人。在美食有限的死局下，我抢先排队可以得到美味的佳肴；如果我是善意的，不去抢先排队，但我不知道你会不会抢先排队；进一步，我不抢先排队，我知道你也不会，但我不知道你怎么想我的，这个逻辑可以一直向前延伸，形成猜疑链，猜疑链可能延伸的很长，进一步构成无尽循环的猜疑链。
接下来引入第二个重要概念：排队速度爆炸
排队的速度和加速度不见得是一致的，落后的学生很可能在短时间内超越领先的学生，这就是排队速度爆炸。排队速度爆炸可能由内因（例如心生坏念想插队）或者外因（例如有同学排在前面）引发。
在以公理为基础，无尽循环的猜疑链和威胁度极高的排队速度爆炸的影响下，黑暗森林悄然形成。
食堂就是一座黑暗森林，每个学生都是带饭卡的对手，像鲨鱼般在打饭台间穿梭，无声拨开挡路的同窗，竭力不让脚程在穿梭间有一点浪费，连呼吸都完美调整；他必须尽力，因为食堂内到处都有与他一样打饭的学生。如果他发现了美味的菜肴，能做的只有一件事：立即打到碗里来。（也就是插队，干掉对方。如何不插队，违背了公理，别人有可能会插队，你将会吃不到你想要的。也就是说如果你没有选择干掉对方，你就会被别人抹杀，消灭。所以，发现你的存在，保持沉默和让你存在都不行。所以只剩下了一个选择——干掉你！也就是这个篇食堂的翻版——选择插队（干掉你），而不是选择不插队。（交流）在这个食堂内，他人就是地狱，就是永恒的威胁，任何显露自己迟缓的动作都将很快被挤开。所以，你必须要插队。（干掉对方！）这就是学校食堂，（黑暗深林法则）这就是对费米悖论的解释。
总结起来：
一、让你排在我的前面，
二、让你抢走我的佳肴，
对我来说这都是危险的，
它们都违反第一条公理。
那么你只剩下一个选择了——插队。”
“黑，真特么的黑！”
“我来补充一条威慑理论：
食堂中存在着风纪委员歌者同学可以向其打小报告（广播坐标），使其到达队伍的最末端。发现了风纪委员的同学（了解黑暗森林法则）即可对其他同学进行威慑。”
“风纪委员（高等文明）可以利用其权限插队（打击低等文明）但也会被更高权限的人插队（大神文明）如教师，学生会长、
教师（归零者）其有权限可以插队，而插所有人的队（重启宇宙）。”
“好！完美！请叫我们当代面壁者！”
餐桌旁，符轮看着几个中二病同学在交谈着科幻，拿起了买的一根薯条津津有味地嚼了起来。
“啊，对了！最近我从并夕夕上定制了一个涅普①鼠标垫，张着的那张嘴傻气四溢，配上我的阿夸②痛鼠标③，简直是傻气到爆表的那种。”说这话的人名叫萧然。名字挺萧萧然的，人却完全开朗沙雕，是个老二刺猿。
——
①涅普迪努(Neptune)，号曰涅普涅普，变身后为绀紫之心(Purple Heart)，是游戏《超次元游戏海王星》及其衍生作品的登场的女主角。本人表示绝对无凝
涅普涅普，一短毛萝，天真但懒；紫心紫心，双长辫娘，稳重且强。
②湊あくあ（みなとあくあ，Minato Aqua）是从属于hololive二期生的虚拟YouTuber，2018年7月末开始活动。首个视频上传于8月8日。
本名湊（みなと）?あくあ
Minato Aqua别号aqua、阿夸、夸哥、夸神、挑染怪、海王、剑圣、洋葱精、山田·赫敏、大亏哥、桐谷夸人、debu等
③痛车是指在轿车等交通工具上，用贴纸或喷漆等方式将ACG人物装饰而成的车辆。
“痛车”不仅有小轿车，还可以有“痛巴士（痛バス)”、“痛电车（痛電車（いたでんしゃ）)”、“痛自行车（痛チャリ（いたチャリ）)”、“痛摩托车”“痛単車”、“痛地铁”，“痛飞机“，“痛枪”等。
——
“……涅普，阿夸？”符轮挠挠头。
“啊，符轮同学似乎一直只玩steam上的3a游戏，可能有所不知。这两个一个出自地雷社——”
萧然试图给符轮解释，但符轮压根对那些东西不感兴趣，打了个哈欠示意自己没兴趣，然后扒拉了几下餐盘中的白饭。
萧然看符轮没兴趣谈这些二刺猿，就决定换个话题，“对了符轮，你以前和星烈关系不挺好的吗？他人呢？”
“害。你没注意到他姓【星】吗？能拥有【联邦星空姓氏】①的人，怎么说都是几代以上有钱的太空人，和我们这群地球人没得比。
——
①在人类发展至星空时代之后，联邦共和国在百家姓以及常见姓氏之外，增加了“星空姓氏”之说。拥有被官方认可的宇宙姓氏，身份往往不会低。
※看看就好，这种世界观也就开头提一提，以后就直接扔仓库生灰了。
——
萧然突然觉得自己似乎又踩了个雷，于是打算换一下，“那啥，登宛①的《仙界》最近新的资料片很火，你玩的怎么样？”
——
①一款新兴的虚拟游戏公司
——
“害。跟着npc一起走，然后遇见一堆机械丧尸，最后集体用天魔解体大法实现自我剩余价值，就没了。”
萧然突然觉得自己又踩了个雷，“那……那你有什么爱听的歌吗？我有些喜欢听的，比如这个roki和echo①——”
——
①两首v家歌曲
——
萧然放了一首似乎是v家的歌，符轮不认识，但听着感觉不错。
“啊，我知道这个！”邻桌的同学站了起来，“是抖手和快音①上最近很火的那个！经常被用作bgm！”
——
①当代两个热门的短视频平台。
——
符轮:哈？
萧然:哈？！
萧然又放了一首外国大神的电音《trip》①。
——
①一首电音
——
“我知道！这个是抖手上xx看世界用的那个bgm！”那同学再度发言。
符轮:哈？
萧然:哈？！？！
萧然想了想，放了一首《bad apple》①，心想如此冷门的二刺猿东方音乐绝对没事。
——
①《东方project》一首角色的子曲，现在流传的《bad apple》版本多为同人二创，有黑白色PV和日语歌曲的版本。
——
“我知道！这是那个抖音很流行的，《第6人格》①中xx角色的个人黑化致郁曲②！你怎么听日文版的？英文版才是正版！③”
——
①一款养猪场公司出品的逃生游戏。
②营销号为了播放总会胡扯瞎扯，张冠李戴。
③真正的原版为“上海爱丽丝幻乐园”所做纯音乐版。
——
符轮:哈？
萧然:……
“咱们还是聊聊游戏吧。”萧然强颜欢笑道，“登宛最近又出新游戏了。似乎叫做《血族末世》……？”
“……哈↑↓→→↑？”一句哈语调之多变，足以标明符轮被勾起了兴趣，“正好最近《仙界》长草，愁没得玩呢。你id多少？下游戏后我加一下。”
“不，我还不打算玩，因为我又更重要的事情——”萧然偷偷掏出一个包装精美的扁平盒子，盒子上似乎印着一个黑发和服少女，下面的字符都是些日语，符轮皱着眉头从那字缝里看出几个汉字“迷宫”。
“这是？”符轮提问道。
“我托朋友买来的，万华镜5！终于可以a莲华了……”
符轮一脸懵逼。他今天已经听了太多没听说过的词汇了。读者也一脸懵逼，他们从没见过玩梗还有详尽注释的网文。
“嗯……那，保重？”符轮想了半天，挤出来两个字进行祝福。
“会的，我会保重身体的。”
符轮咽下最后一口白饭，感受着白饭被唾液酶浸染，顺着食道慢慢朝胃滑落，然后起身，朝食堂外走去。
顺带一提，饭盘里除了米饭，菜他没动一口。
他认为这副德行的菜，就该在垃圾桶里，和残羹剩饭为伴。
???
???
???
???
???
