虚空之地

因为约束、无法自由，完美的贪婪令我第一次失去了语言，因此我得到了陪伴、支持、幸福与满足。因为过于快乐，只懂得表达不满的我第二次失去了语言，因此我得到了描绘美好的权力。一次次的失去，与一次次的找回，强大的自我竟如此产生了，未来还等着我去描绘、故事还等着我去书写，我还在梦想的途中，还行走在那不变的生活日常的轨道上。 [00:00.410]こんなに近くで [00:00.410]如此得接近 [00:02.860]誰よりも側で [00:02.860]比任何人都更陪在你身旁 [00:05.610]君の空を見上げてきたから [00:05.610]因为一直仰望着你的天空 [00:10.770]こんなにも好きな [00:10.770]如此得喜欢 [00:13.510]誰よりも好きな [00:13.510]比任何人都更喜欢你 [00:16.390]この気持ちに気づけなかったね [00:16.390]没能察觉到我的这份感情呢 [00:32.500]あの角を曲がればいつも [00:32.500]转过那个路口 [00:37.710]眠そうな声 見慣れた朝 [00 ...

没有兴趣，没有想法，张嘴词穷，浑浑噩噩的二十多年竟如此简单地流逝了，琐事只会越来越多，无论多么地拼命，无论付出多少的时间，对于享乐之人又有何商量余地？世界动荡不安，却能在此处高谈阔论、怨东怨西，也就应该知足了，和平来之不易啊！ var options = {"narrow":false,"autoplay":true,"showlrc":0,"lrcType":3,"music":[{"title":"predge","author":"五十嵐裕美,相澤麻依","pic":"/archives/2024-02-29-毕业论文那些事/cover.jpg","lrc":"predge - 五十嵐裕美,相澤麻依.lrc","url":"/archives/2024-02-29-毕业论文那些事/五十嵐裕美,相澤麻依%20-%20predge.mp3"},{"title":"Regretto","author":"M.A.O,yuka","pic":"/archives/2024-02-29-毕业论文那些事/cover.jpg","lrc":"R ...

无能为力，还有什么好说的呢？开始、结束、离开、回来，循环往复，毫无改变，只有珍贵的时间在一点点的失去。无依无靠，最后的归宿，想要摧毁它又谈何容易？无论进行多少次的表达、宣言，无论立下多少的誓言、戒律，终究还是无法洗去、洗净，那不知从何而来的律动。 [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的各个专业都被翻了个遍，在此基础上搜集了一大堆电子 ...