虚空之地

数学，一个永远也放不下的东西。一次次的告别，带来的只是更加沉重的思念，与更为无力的反噬。自认为务实的自己，却做着一场场甘甜的美梦，这是我的妄自菲薄，还是我的痴心妄想，真的什么都搞不懂了。不过没事的，我会不断地给自己洗脑，不断地诉说自己的无能与无力，这就是我的坚强与反抗，我相信终有一天会将你放下，不论是一年、十年或者是一生，然后自满地说出：“数学，给我滚吧！！！” [00:17.870]指折り数えているのは [00:17.870]屈指细数着 [00:21.540]この次あなたに会えるとき [00:21.540]是下次与你相会的时刻 [00:25.170]過ぎてゆく季節の数だけ [00:25.170]随着过往季节的流逝 [00:28.740]想いは募るのですね [00:28.740]对你的爱慕越发浓烈 [00:33.230]あまい野いちごを探して [00:33.230]找寻甘甜的野草莓 [00:36.520]知らずに遠くへ来てました [00:36.520]不知不觉中走到了远处 [00:39.970]引き返せないこの気持ちは [00:39.9 ...

我的上一期活动是krkr模拟器Win版的再发布，经过几天的修养以后，我正在开启下一期计划，而这次的计划有些小庞大，是“用Lean4形式化望月新一的Inter-universal Teichmuller Theory”，就是那个宣称证明abc猜想的那篇论文。我是一个比较追求完美的人，如果一件事可以完成，那么在没完成之前，我是不会把它发布出来的，我并非从事着商业性的活动因此进度报告不是我的义务，如果个人角度来看进度报告只是给自己增加负担罢了，还会莫名形成一种周期性的无形压力。我想说的其实就是一件事，你可能很久都看不到我产出新的内容了(预估0.75年，即三个季度)。为什么要死磕这玩意呢？其实我想把它放到本科毕业论文中，说实在的大学水了太多论文，难得或者说至少也要在本科期间拿出一篇像样的论文来，这也算得上是一种小小的执念。不过不得不说的是，这个计划有些前途未卜，一方面是太多的前置性知识在Lean4中没有被形式化，而且IUT理论的叙述和传统数学的叙述有较大差异，熟悉这些表述的适应期也很长，另一方面，关于IUT理论是否证明出了abc猜想也值得商榷，能读懂的人似乎太少了，不过我们已经没有退路了，画的 ...

我曾经说过，干玩逻辑这一票，就把数学给扔掉。我很喜欢数学，这是毋庸置疑的，问题在于让兴趣成为一种职业，好像不是什么好事。这并非从数学中的得来的体会，而是学习中，做为十分热爱知识的自己，当面对一项项需要按时完成的任务时，不禁就会觉得厌烦，当一次次体会那种压迫感时，就会一种种难以突破的窒息感。没错！问题就出现在“自由”上，兴趣是一种自由的存在，当课题被限制时，当时间被限制时，当形式被限制时……它就只能作为任务而存在，而没有被冠上兴趣的资格。而且真要把数学当成职业的话，那可太难受了，写出成果其实挺简单的，但是得到令自己满意的成果，是近乎绝望的。你可能会觉得我说的太过了！确实，应用数学具有无限发展的潜力，但是作为一个数学的偏执狂，兴趣点从来不在于此，而在于更加纯正数学血脉，无法就两点，新的数学理论和解决猜想。“新”，的数学理论到底意味什么呢？在如今庞大的数学体系下，至少我们并不认为“旁系”能作为新数学，如今的数学早已被挖空，无论是基底还是上层建筑，我们已经找不到任何新的道路了。说起来，似乎还有人在数学的基底中寻找完美理论，我的个人评价是，如果不能改变语言本身那永远都是不可能的。数理逻辑的好多不 ...

什么都略懂一点，生活更多彩一些。 这么久，这么久，才完成了最新的一个猜想整理，不是因为我偷懒了，而是因为我现在正面临大三升大四的麻烦阶段，有太多学校的事要完成了，像学年论文、毕业实习之类的，不过排除万难之后，总于把它给搞定了，高中时期的遗愿又完成了一个。至于魔群月光，也没啥可讲的，它其实也就是名字吸引了我，内容有那么点巧妙，相比与我之前讨论的朗兰兹纲领还是差太多了。那么，我的下一个目标，自然就是数理逻辑与计算机证明了，这个论题我一直都很感兴趣，以前也经常试着去阅读，但由于数学基础不多，很容易导致读起来云里雾里的，但现在的我应该不一样了吧。好了，有关数学就说这么多吧，我来讲点题外话，说说我的大学都是怎么渡过的，不知不觉都已经快要毕业了，真是感慨良多啊！我的高考处于十分不巧的一年，正好是疫情爆发的那一年，也是近几年中，高考唯一延期的一年，虽然叠了不少的buff，但也就那样。唯一让人不爽的就是疫情防控了，直到大三上学期我都被笼罩在口罩、核酸检测与防控的阴影下。不知是不是疫情带来的结果，还是大学的固有特性，导致我在这两年半中直接升级成了宅男，除了舍友和经常露面的班长，基本没有认识的人了， ...

自从上了大学，有了电脑，阅读都沉迷于ACGN不能自拔，文学性作品的阅读量也远不如中学了，甚至基本就没读过，特别是经过时间洗磨后的现在，想说点骚话都无从下手了，而且更难受的是这半年来的AI发展迅速，说起来最近好多要交的文字性东西，像xx感、xx论文什么的，基本都是靠AI来生成了，一个字就是“懒”。不过就算憋不出什么东西来，文章也还是得写，就怕哪一天连话都不会说了。有太多东西从出生到死亡都只是计划，但这确实也是无可奈何的事。说起来最近在武汉玩随机乘公交地铁挺有趣的。 先来说说我自己吧，看看我到底有没有论事的资本。我自诩为一个多修的人，可能听我说吧，你也不信，反正我自己信就行了。不过嘛，我真正比较精通的理论，也就数学和物理两个罢了。物理基本都是高中时候学的，当然不是指高中课程里学的，而且我主要还是专修理论物理，里面的理论要理解并不多，基础原理就那些，大部分都是在数学推导。当然了，如固体力学、流体力学的应用物理之流也多多少少学过，但主要还是要用于现实中，不过我基本没啥机会。其实，我在刚上大学的时候，很喜欢翻培养方案，基本所有985和211的各个专业都被翻了个遍，在此基础上搜集了一大堆电子 ...

为什么我会如此着迷于数学呢？这真是件不可思议的事。丘赛结束了，对我来说确实如此，这次我没有贪心，只考了“分析”和“代数”两门，分别在周末这两天的早上，但是或许正是因为我选择了最卷的两门，最后呢？就是一无所获的离开了。是时候讲讲我和数学的故事了，这次能不能成功地和数学说“再见”呢？在高中有关我与数学的爱恨情仇说了挺多的，所以也不想重复了。我到底有没有数学的才能和天赋，这种模糊的存在，能知道才有鬼，唯一的验证法就是结果论。也就是什么也没得到，只是茫茫考生中普通的一员。我只是想读数学，但真的好困难啊！大概从初中开始，我就一直心心念念着中国的两所最高学府，尽管我超过了很多人，周围没有一个领居能打的。但是呢？越是向着高出前进就越是发现自己的渺小，我的水平虽然不高，在高中的时候也只是拿到了进入省赛的资格，但仅仅如此，通过在集训中与各种人交流也能发现，不要说省与省之间的差距了，连省内有着难以逾越的鸿沟。回到非初等数学，实际上本科的大部分课程，我在高中基本就已经自学过了，是啊！我对高考有没有上心并不清楚，反正看起来挺努力的。什么叫做自学过呢？简单来说就是对教程进行逐字逐句的阅读，并进行抄书。高中和我比 ...

无聊之时，为了不让自己的程序技术荒废，在学习数学之余，我又来参加比赛。截至到刚才不久，线上练习结束开始正式进入初赛，这是我的成绩 只能说我已经尽力了，在武长(湖北+湖南)区至少进入了一半以内，由于只有32以前才能进复赛，我看来一下，大概280多万，差了100万左右，初赛也不想搞了，就在下面放出代码。 [00:00.000] 作词 : Ayumi [00:00.000] 作曲 : 柳英一郎 [00:16.024]影絵のよう 揺れる記憶 [00:23.001]差し伸べた右手 [00:29.082]縋るように [00:33.027]求めていた 一筋の光 [00:46.094]閉ざされてた鏡の中 [00:53.086]自分を探して 消えた世界 [01:04.015]そこにどんな夢を見ていたの？ [01:14.031]どうか抱いていて明日への希望を [01:28.009]閉ざされた未来はトンネルの先へ [01:51.096]叫ぶことに意味はなくて [01:58.095]零れた涙と [02:05.044]ねぇ、聞こえる？ [02:08.099]あ ...

返校的期末考试考完了，终于不用学经法管融通，虽然有点累，但我回来了。什么财务管理、会计学、宏微观经济、法理学啥的都滚吧，终于在大三下只剩几门专业课了，差不多可以和学习说拜拜了，至于挂科，哼，不存在的。我也是第一时间进行最后的录入了，正所谓事不过三，这也是中学文集的最后一部分了，至于一些杂七杂八的垃圾就让它们继续以垃圾的身份活下去吧。 零零、新生 他的降生注定了他的不凡;他从出生起命运就被决定;他来到这个世界注定是无情的。他刚刚来到世界的时候，没有缺氧而哭泣，他在母亲怀里是如此的安份，就算是孤身一人，他也乖乖地等着母亲回到他身边。他刚回说话的时候，说的不是爸爸或妈妈，而是yigayidenerma。他的爸爸以他敏锐的政治家的直觉发现了他孩子的天份，从此一个计划让他的命运步入正轨。 爸爸为孩子准备了一个专用房间，可以排除一切干扰的房间。这个房间十分简单，只有一片白色，一扇门和不知在哪个地方的通风口。这里有一个孩子，一本特制新华字典，一堆用不完地纸笔和几本充满“文字”的书籍。他的爸爸在开始的几个月，时时会来与孩子“交流”。渐渐地，从门口来的只有新的书籍和食物。幼小的孩子真是奇特，他由 ...

接下来返校事情比较多，比如上次的期末考，所以下次录入也不知道要到什么时候。另外，我的所有文章虽然源于现实，但纯属虚构，不要信以为真。当然，中学沉迷数学竞赛确有其事，但奈何能力不济，最终沦落到初高考成绩只有下面这一点。 只能说自作自受，同时也希望大家谨以为戒。但是我认为就算不搞竞赛，最后的结果也是如此，最好的例子就是高三的时候，我怎么也放不下数学，当然不是指高中的数学，我的大多数学思想基本都是高中就奠定的，我甚至妄想自己是不是真的被数学给拿捏了。由于大学我只是211非数学专业的学生，我想甩掉数学沉迷于专业课，“数据科学与大数据技术”，也不知道到底是什么专业，反正主要学的都是计算机。但是数学这玩意像幽灵一样缠着我，每次看到数学相关的符号，莫名其妙地就想学习数学，当然主要还是大学太闲了，想要不挂科真的太简单了，而且我的竞争意识从中学开始就很薄弱了，更别说大学了。抱怨也差不多了，生活还是得继续，我们有缘再见。 弃神计 …∂再这样下去计划就无法执行了▽上层礻看得紧也是没办法▽²你潜进去帮礻吧□你怎么办□²我守在这∫好吧∂… 李涵在阳台上感受着夏季风，这是陈磊异常兴奋地走过来 ...

看着自己的计划表，发现自己实在是过于贪婪，想要完成的事实在太多了，比如数学继“费马大定理”后是“几何化定理”(特例庞加莱猜想)，后面还排了Faltings定理、连续统假设等，比如开发方面，我想基于开源的太阳神三国杀来实现一个卡牌游戏，又比如我在以弦论为基础构思的一本小说，一堆想看的小说漫画，还有更多。关键是，我不论怎么努力，想做的事却只会越来越多，搞得身心俱疲，于是想着做点简单的事情。恰巧翻出了，我在中学期间的大量手稿，因为当时在学校不能张扬地使用手机，所以我大量中学的文章全是纸制的。为了让它们更好的保持，我决定将它们电子化，由我自己一点点来录入。由于手稿实在太多了，所以就分几个合辑来录入，另外我会删去一些发病的、玄学的、宗教的、文言的、神学的、议论的文章，还有一些可笑的理论，比如“无限堆叠神论”的世界观之类的。所以主要录入的是一些比较正常的小说，而我的大部分思想基本集中在里面，因此前面所列的东西，也显得多余，没必要录入了。其实，笔者的记性一直很差，基本隔个一年没接触的东西都会忘记，所以很久以前就养成了随手记录的习惯，现在翻起以前的文章也会不禁感叹，原来我已经写了这么多文字吗？ 无 ...