虚空之地

无能为力，还有什么好说的呢？开始、结束、离开、回来，循环往复，毫无改变，只有珍贵的时间在一点点的失去。无依无靠，最后的归宿，想要摧毁它又谈何容易？无论进行多少次的表达、宣言，无论立下多少的誓言、戒律，终究还是无法洗去、洗净，那不知从何而来的律动。 [00:00.000]作词 : Duca [00:01.000]作曲 : ANZIE [00:05.087]編曲：ANZIE [00:06.789]神様のような君へ [00:07.789]致神明般的你 [00:21.381]緑が輝いていた [00:21.381]春树萌芽 万物生辉 [00:25.572]始まりはそんな季節 [00:25.572]一切也始于这样的季节呢 [00:31.415]散らばる記憶達を [00:31.415]数不尽的点滴回忆 [00:35.478]二人で集める [00:35.478]两人共同编织 [00:42.169]目を細めて頷いた [00:42.169]颔首时的笑容 [00:46.439]横顔が優しいのは [00:46.439]不经意的温柔 [00:52.296]乗り越 ...

擅自过分解读、擅自过分期待、擅自失望而归，或许一生都不要怀有希望、并向往着希望才是最为美好的，同时也是最为残酷的。因为我们可是，最为光荣的，秉持艰苦奋斗精神的，勇于自讨苦吃的，追寻远大理想的，普普通通的平凡打工人。只要一切的所有，都带着最低限度的要求，就会发现世间的一切都是真善美，那么又怎么会有所不满呢？ [00:00.00]作曲 : 冬馬かずさ/下川直哉 [00:01.00]填词 : 北原春希/須谷尚子 [00:02.00]编曲 : 冬馬かずさ/下川直哉 [00:20.95]人は苦しみも微笑みも [00:20.95]人的痛苦也好，微笑也罢 [00:27.90]つないでゆける [00:27.90]都是彼此相通的 [00:33.90]あなたといるときの私なら [00:33.90]如果是与你在一起之时的我 [00:39.24]そんなことも思える [00:39.24]就会这般地想着 [00:45.61]こんな 一枚の葉もつけない [00:45.61]就算未能察觉到，一片这般绿叶 [00:52.38]枯れた木にも キセキはおきる [00:52. ...

记忆是一个神奇的东西，当我们对其细节含糊不清的时候，就会不由自主地将心中所想给填充进去，并且随着时间地流逝使我们确信其正确性。我或许就是一个这样健忘的人，但这又何妨，珍贵的回忆自然不会忘记，其它的往事也不过是拿来服务现在并走向未来的，我自始至终都是一个注视着前方的人，我也为此而感到自豪，尽管它只是我对自己的洗脑罢了。 [00:00.000]作词 : Ceui [00:01.000]作曲 : 小高光太郎 [00:02.000]编曲 : 小高光太郎 [00:21.930]心の中で描いた地図は [00:21.930]曾经绘于心的地图 [00:27.670]行き止まりばかり 迷路みたいで [00:27.670]如同迷路了一般 总是处处碰壁 [00:33.040]きっと誰もが傷つきながら [00:33.040]谁都一样 都是在受伤时 [00:38.430]心に鍵かけて泣いているんだろう [00:38.430]闭上自己的心扉哭泣着吧 [00:44.100]いつも強がって 自分を奮い立たせ [00:44.100]一直故作坚强 让自己奋起直追 [00: ...

数学，一个永远也放不下的东西。一次次的告别，带来的只是更加沉重的思念，与更为无力的反噬。自认为务实的自己，却做着一场场甘甜的美梦，这是我的妄自菲薄，还是我的痴心妄想，真的什么都搞不懂了。不过没事的，我会不断地给自己洗脑，不断地诉说自己的无能与无力，这就是我的坚强与反抗，我相信终有一天会将你放下，不论是一年、十年或者是一生，然后自满地说出：“数学，给我滚吧！！！” [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]あ ...