我曾经说过，干玩逻辑这一票，就把数学给扔掉。我很喜欢数学，这是毋庸置疑的，问题在于让兴趣成为一种职业，好像不是什么好事。这并非从数学中的得来的体会，而是学习中，做为十分热爱知识的自己，当面对一项项需要按时完成的任务时，不禁就会觉得厌烦，当一次次体会那种压迫感时，就会一种种难以突破的窒息感。没错！问题就出现在“自由”上，兴趣是一种自由的存在，当课题被限制时，当时间被限制时，当形式被限制时……它就只能作为任务而存在，而没有被冠上兴趣的资格。而且真要把数学当成职业的话，那可太难受了，写出成果其实挺简单的，但是得到令自己满意的成果，是近乎绝望的。你可能会觉得我说的太过了！确实，应用数学具有无限发展的潜力，但是作为一个数学的偏执狂，兴趣点从来不在于此，而在于更加纯正数学血脉，无法就两点，新的数学理论和解决猜想。“新”，的数学理论到底意味什么呢？在如今庞大的数学体系下，至少我们并不认为“旁系”能作为新数学，如今的数学早已被挖空，无论是基底还是上层建筑，我们已经找不到任何新的道路了。说起来，似乎还有人在数学的基底中寻找完美理论，我的个人评价是，如果不能改变语言本身那永远都是不可能的。数理逻辑的好多不可能定理，还有形式证明的许多东西，我在高中就有所了解，只不过当时的消极言论比较多，导致我的关注深度不够，这次借着我几年修炼来的基底，重温了一下数理逻辑，也学习了一遍类型论，也深入了解了各个证明工具。在此之前我本以为这是数学的结束，但我错了，我终于找到了我想要做的且适合我的事情，就是参与到数学的形式化工作。对数学严谨的最求，对数学知识的热爱，对无法贡献数学的遗憾，最终汇聚而成的结果就是“复现”，这就是我在数学中唯一能做的事情。当然这东西肯定是无法作为工作的，因此它将成为我对数学最后的遗念，与之相对的在学习上，我将渐渐走向自然科学和工程领域。不过嘛，我从来都是多线程进行的，一般都是学着学着，累了就换下一个，这算是我的一个缺点吧，但拜其所赐，我觉得自己的知识面算是比较广的，虽然它对我的考试没啥帮助，但我自己能热在其中就足够满足了。
严肃的学习本分谈完了，我们来说点其它的吧，这篇文章来得有点晚了，其实是我的一个坏习惯，每次做完一件长线的事情以后，我就会找个Gal来推。第一件值得贺喜的事是，终于把去年屯的金恋给推完了，只剩下一个樱萌了，当然这也是一个长线过程，只不过刚好碰上了这个时间节点。金恋本身其实没啥好说的，只要不开启godentime都还挺好的，不过就算开了能回收开头能回收万事之源也挺好的，只可惜兄妹事实并没有震撼到我，因为无聊的时候翻翻资料就发现了姓氏一样，比较震撼的是脑袋缺口，有点超出认知还没有对应cg，不过仔细想想废萌也不大可能有猎奇的东西。好吧，废话说太多了，金恋不是今天的主角，真正的主角是“宝石心学院”，就是那个曾制作过恩典小镇和樱云的那个包菜社的去年新作，这作品在去年我就一直想推，但这玩意片假名太多了，机翻辅助都有些不好读，所以就一直被放着了，但今年在chatgpt的加持下，机翻水平直接上升了几个档次，再稍微配合一下原文，终于在这几天把它推完了，只能说确实过瘾。我该说点啥呢？讨厌圣母，理解圣母，成为圣母？当然了“圣母”不是核心，当时的公主宣讲，我还真以为要结束了，结果嘛！看了都知道，而且还玩了恩典小镇没有文字的类似套路。不知不觉感觉有好多可以谈的东西，我们一个个来说吧。比如大家都比较厌恶的圣母、感化之类的行为吧，说实在的我以前也不是很喜欢这种行为，但渐渐看多了似乎有点理解作者的意图了，我做不到改变别人的意志，但只想说一句没必要和虚拟作品较真，黑深残的时代已经过去了，现实中没办法追求美好就算了，难道连虚拟世界中也不允许吗？或许我们这类人会被嘲笑天真，或许我们会被认为不喑世事，但是心怀美好、心怀希望的感觉实在太好了。不过嘛！也有不少值得吐槽的套路，比如靠意志获得能力提升之类的，又或者靠群众之力之类的，不过仔细一些宝石心学院的主题好像就是意志，好吧这确实是一个区分点。但还有其它套路，比如无限反转，这可能是我觉得最不适的一点了，特别是最终之战的时候，我个人觉得中间稍微拉长一下战线也好，过于紧凑的反转很容易产生审美疲劳从而感觉厌烦，不过仔细一想可能是作品自身工期的问题吧，宝石心学院的世界观其实还挺庞大的，虽然核心理念就一个意志宝石，但串起来的东西却十分的多，虽然故事确实完整，但还不够多，但除了无病呻吟我啥也做不到，真是抱歉。说起来，我好像只会抱怨和吐槽，就不能把优点夸一下吗？额，只是优点和感悟点都是只能靠自己去感受的，其实很久以前我就说过吧，文字就是拿来感悟的，无论优劣，而评价的目的是交流，提出自己不喜欢的点，让别人据此自行思考判断，是否需要为此作品花费时间，买商品先看差评也是这个道理。所以我再来说一下这个作品中我不喜欢的几个点吧，首先是最后的“时空”和“成神”，都有这种牛逼的能力了，为啥不让两个已逝之人在最后露个脸给个安慰，哦露脸了，只不过在思想中，要么你就别加这种能力，这种能力本来就太犯规了，让班长觉醒点其它的能力也好些。然后是最后的大合照问题，官方钦定的显然是班长和男主的cp了，那就别加其它线啊，加了也不做差分，还是班长靠着男主，猫猫靠着王子，其实朋友之间勾肩搭背的好像也没啥，但就是看着不爽。这里可以透露一个事实，其实我是一个纯爱战神，最近两个季度里我最喜欢的恋爱番是，我心理危险的东西和甜点转生，前一个很自然后一个你没看错，就是甜点转生，没有原因就是喜欢纯爱。其实不想讨论优点的原因就是容易剧透，有不少作品似乎具有一次性，但其实我个人觉得真正优秀的作品是不会因为剧透而失去光彩，并且有着温故而知新的效果的，具有戏剧性的东西比较难做到这点，所以才说平淡而美好才是如今的主旋律，如今的作品虽然不具有古典韵味，但能够用来反复温存美好就足以成为它留下来的理由了吧。
失去珍视之物与复仇一直以来都是大多数作品的主要冲突。关于其讨论实在太多了，所以我就想讨论一下自己，“我害怕失去什么吗？”自问自答从来都是阅读一部作品后的最大体会。不得不说，我似乎害怕失去，但好像也就那样，因为就算失去了又能改变什么呢？曾经我对数据十分的珍惜，但自从失去几次后，早就已经无所谓了，我之所以会去收集只是为了满足自己的搜集欲，至于能不能发挥作用好像也不是什么重要的事，因为需要的时候我会自然地去把它找回来。你说绝版，可是仔细一想，我收集的都是什么呢？基本都是学习资料和ACGN，那你觉得稍微少学点东西，又或者稍微少看几部娱乐作品，真的是很严重的打击吗？至于亲人，我不是很想谈论如此不吉利的话题。
事实证明，我是缺乏野心和欲望的，并没有什么伟大的蓝图与构想在我脑中生成，我也没有实现他人愿景的义务。而平淡生活的构想是十分简单的，一天工作从早上8点到晚上5点，中午休息一个小时总共8小时，每周还有双休，如此少量的工作时间，只要求全国平均薪资稍小一些就够了，对于生活水平要求不高的自己来说，这也足够攒钱来实现自己的爱好了。而在空余时间能做的事情就多了，搞搞数学的形式化、学学自然科学和实践工程、或者着迷于ACGN、还可以做做饭做做家务，不得不说料理其实也是我的兴趣之一，虽然机会都在寒暑假，所以磨练实在不够，但以后的机会可就太多了。未来会发生什么样的变故，我不知道，至少如今我的期望就是如此的简单。