虚空之地

起因学习累了，放送一下，看看书，玩玩游戏是很正常的事情，但是呢！有些游戏就是让人十分的不爽，比如下面这个 这是我目前见过汉化最糟糕的游戏了，没有之一，时不时蹦出日语还不是事情，结合前后文和日语基础还是看得懂的，但后面莫名其妙出现的“第三种语言”——乱码，就真的令人十分难受了，再加上这游戏的强制缩放屏幕，搞得一天的好心情都没了，所以我决定来破解它。既然如此我们要破解什么呢？我个人猜测，后面的乱码会不会是已经翻译的文本，因为GBK和UTF-8的编码不同导致封包后，一部分内容完好，另一部分乱码，基于这个猜测，我们来看看能不能把它还原回来。当然，事实到底如何呢？现在的我也不明白。 学习既然要破解，第一步当然是学习了，我呢！实在不想再体验当初那种一步步读汇编码的痛苦精力了，这次我要站在巨人的肩膀上，在GalGame的破解方面技术是十分成熟的，这并不像我上次解包的那个游戏，基本没有人去研究，自然需要来消磨耐心了。破解的技术散布在各个论坛里，目前还活跃在国内的论坛，有看雪、吾爱等，甚至还有bilibili，首先是下面这位大佬的基础性视频，当然讲得都比较简单，基本都是识别基本引擎，使用现成工具， ...

费马大定理的基本证明路径，我差不多摸透了，但并不能说完全看完，因为其内部应该还包括几个数学领域的重要定理。数学学习的基本思想是先建立基本的数学认知，无聊之时再去看看一些零散的定理是怎么证明的，数学一个重要的作用是建立正确的直觉，在数学的某个领域中，当你感觉应该是这样，并且已经有定理来验证的时候，这个领域也学得差不多了。不讲更多数学方法论的东西了，不过我们应该要清楚一点，数学的定理是十分多的，每个定理都一一地去看证明的话，是十分消磨学习热情的。 上篇旅行的起点费马大定理即，当n>2时方程 没有非零整数解。当然n必须要求是整数，当n为2时方程是有整数解的即勾股数，在直角三角形中可以很容易地找到解，当n为3和4时使用的方法都是无穷下降法，即假设存在解，然后找到了一个更小的解，因为整数是不可能无限地变小的，所以方程没有非零整数解，大概就是这么一个流程。实际上，费马大定理的证明也包含了无穷下降的思想在里面，接下来我们需要考虑的是n为不小于5的素数的情况，素数情况没有非零整数解通过反证法足以推出所有不小于5的整数的情况。素数和不超过5在后面的证明中都是需要的，稍微整理一下，我们只需要证明下 ...

在费马大定理证明过程中，一个重要的步骤是Ribet定理，但通常情况下，人们印象中的其实是它的一个推论，在Ribet的论文里，我们可以找到主要定理和它的推论 推论说的是如果证明Q上的椭圆曲线是模的(其实就是谷山-志村定理)，则费马大定理成立。其实推论没啥，问题在于这个可以被称为Ribet定理的主定理，原始定理的叙述比较古老，所以我们应该看一些比较现代的叙述，但一看反而让我对这个定理的内容越来越模糊了。首先是我学习模形式的书籍 虽然一笔带过了，主要讲的Serre的模猜想，这里我不得不提一嘴，国内的百科真不靠谱，国内搜索Serre猜想，只是随便拿一个出来讲讲，讲得还不清不楚的，最后还是得靠维基百科 叫法并不重要，只要是Serre提出的猜想都可以叫Serre猜想，但不做区分，不叙述具体的内容，谁知道你是不是在胡说八道。我们探究的是Serre的模猜想，在wiki上有详细的叙述 比较让人在意的是absolutely irreducible，有人给出翻译叫绝对不可约，甚至莫名其妙在国内还能找到绝对不可约表示的定义，即扩域保持不可约性。但我认为是错的，这里的absolutely ...

人可以不“完美”，但一定要多样。古话说得好，人无完人，但我却不禁思考，什么才叫完美的人？生而为人，我们能做到些什么呢？无非两个方面，思想和行动。先从思想这个易得的方向开始，思想有理性的和感性的两方面内容。前者源于学识，后者属于观念。当然以个人观点来看的话，直接分为理科和文科是可行的，当然此文理科非彼文理科，我们就以此为基础进行更进一步地探究。理科的思想领导是数学，唯一的差别在于，数学的公理是凭空产生的而非数学的公理源于规律的总结，规律总结得出的公理并不完全正确，所以特例的出现是自然的。比如对于金融，我只有一个观点，风险与收益的平衡，事实或许并非如此，但还是得说一说。金融是经济一个特例，特指交易现象以及由此产生的价值度量。交易似乎是个很简单的现象，一手交钱一手交货，但一旦引入数字或者对钱和货的概念进行引申，它就会变得纷繁复杂。交易的根本是价值判断，所以物物交换并不在考虑的范畴，就算真的有物物交换，其本质也要通过钱来做间接判断的媒介。实际上，钱和物本质上也是等同的，它们的区别在于不同的价值判断，价值判断我说了很多次，那么什么是价值判断呢？交易离不开群体，价值判断包含两方面内容，个体对其的预 ...

翻译是件很平凡的事，平凡到也不知道有什么好讲的。但是体会一下多种语言的交互也是一件很美妙的事情，最开始引起我对翻译进行思考的是下面这篇漫画 说实话，我很久，甚至没有见过，哪个翻译直接在漫画后面说翻译问题。在第一幅图有两个不太恰当的地方，看译文没什么感觉，我特地看了一下原文 把第一句单纯拷贝过来是这样的，“あいつにさ気にすなっつっといて”，机翻还真是我在意那家伙(aitu)，但考虑上下文，说话的人快要死了，说话应该是断断续续的，可以看到“あいつにさ…”少了一些东西，但看到“sa”应该是使动用法，“気にすなっ”中看到“na”应该是在“nai”加后缀的时候去掉了“i”，表示别在意，“つっといて”由“つる+おく+て”组成，意思是一个人传递给另一个人，看到“て”是“てください”的简略版，表示请求，所以整句话表达了，请求听者将别在意自己这件事给传达过去。第二句，将“名字+のこと”翻译成“XX的事”，字面好像确实是这样，但原因是日语里的名字和中文里的名字包含的分量不同，在日语里名字是单纯的一个称谓，如果要包含名字所代表的人的全部，就如同字面那样加上“のこと”，简单来说，就是习惯问题。我们 ...

当一种东西做久以后，就会十分的无聊呢！学习也是、小说也是、游戏也是、漫画也是，热情总是周期性的，这可能是个人的原因，但拜其所赐，人只会渐渐变成只知其祥不知其略的机器了。我十分的高傲，看不起世间的许多东西，知识永远都在进行无意义重复，最明显的例子就是数学了，“区区”微积分凭什么需要这么多版本的教程，大体内容一致、本质内容同质化，难道编排与所谓的讲解真的能改变教程的本质吗？好好想想就知道，都是资本在作祟，因为还有很多深层次的知识没有任何愿意来讲的书籍，原因很简单，受众小，市场小，除非是某些基金赞助的项目。最近闲得慌，还是得干点什么，于是真正地玩起了单片机，简单来说就是更加深入地去了解计算机底层的东西，重要的是实际操作。很幸运的是正好有这样的一个机会，随便写一堆虚伪的大话，很轻松地拿到一块开发板 这是拿来做物联网的，当然我没有任何经历，它那所谓拿来考察能力的问卷真是毫无作用呢！嘛嘛，既然板子都拿来了就随便玩玩吧，实际上是有一个任务的，完不成的话就把板子寄回去而已。那么，该怎么调教这块板子呢？首先是学习资料，物联网的统一标准很少，基本都是各厂家各自为政，能依靠的只有高中学到的那些物理知识 ...

手机、电脑是好东西，但很多人都对其持批评的态度，说沉迷其中是不好的，注意我所说的沉迷二字。过分的舆论和周围的流言导致自己都不禁对沉迷于现代科技的自己感到羞愧。嗯，手机不离身是一种罪孽吗？这是在害我自己吗？或许我们应该考虑一下，现实之于我们的意义。现实的意义在于人类社会，以及人类之间的交流，人是社会的人，在世间孤独的活着无异于一个人活在幻想的世界里。你可能会说，衣食住行，运动健身，工作生计等又算什么呢？衣食住行属于刚需，并非现实的意义，也就是不论活着虚拟的世界里，还是活着现实的世界里，这都无法摆脱。所谓“现实的意义”在于现实与虚拟的“区别”，但所谓的“区别”已经越来越小，唯一能拿出来说的也就那些了。运动健身属于可有可无的东西，每天去食堂吃个饭都算一种运动，与此相关的是健康，说实在的，这些都算什么呢？我也不太理解，大概是现实与虚拟的必要联系，没有它们现实与虚拟都是维持不了的。对于活在虚拟中的人而言，最麻烦的还是生计问题，生计问题的本质就是我所说的社会。社会是一个整体，其中的每个个体——人，的区别之一在于“知道”的不同。人不可能什么都知道，也不可能什么都做到，人是社会的局部，社会膨胀的速度远 ...

最近有许多专业课要考试，本来没太多闲功夫搞其它的东西。但没想到一个月前的比赛，我竟然要准备一下复赛了。大概一个月前，当时这个比赛初赛截止应该是15号，但不知道为什么延期到了30号。当时我提交的算法优化到了48亿的成本，排名第三，当时前面就有两个团队优化到了37亿，其它赛区也有，我估摸着37亿应该才是优化的开始，因为评分系统中，成本是大头，进行时间优化才是竞争的关键，如果没有达到基本的成本线，再怎么优化也是徒劳，因为一直到20几号都没有通知，以为黄了，所以干脆就不管了。到现在，我当初的猜想确实没错，我是以12名进复赛的，前面有十个团队都优化到了37亿甚至是36亿。因为依照惯例，复赛是在初赛基础上加限制的，如果我以现在的基础的参加复赛的话，那在起点上就已经输了，虽然已经没办法使用服务器的判分系统了，但原来的代码已经有点看不懂了，所以还是稍微总结回忆一下，并记录下来以防止忘记。 研究题目这次的题目十分精炼，连代码的基本框架也没有，所以数据读入和输出需要自己完成，上一届其实是有这部分的，当然了，我是第一次参加这种比赛，主要还是因为好多比赛都太默默无闻了，不知不觉过去了都不知道，我还是5月份看别 ...

网络爬虫，想必大多数人或多或少都有听过，但爬虫真的有那么神奇吗？真得随随便便就可以得到大量数据吗？今天，我将从开发者的角度来深入讲解爬虫的基本思想，可不是那种，一个软件加输几个参数就轻易得到数据那么简单的东西。 爬虫的基本原理做任何事前，我都会研究其原理，并探究其可能性，搞爬虫也是一样的。首先爬虫是干什么的，做了一件什么事情？在网络上自动化数据采集。我这里所给的限定词一个也不能少，比如本地的数据采集也是存在的 这里我们通过tree指令得到采集当前文件夹内所有的文件，并将结果保存到data文件内，这样我们就实现了一次自动化的数据采集。关于本地的数据采集，其实我以前特别喜欢玩，主要为了更好的辅助我进行文件管理，比如下面这个 作用是在特定的文件夹内的所有可读文件中查找相应字段，为什么会有这个玩意？主要还是因为以前没有电脑，唯一的开发工具就是手机了，手机上的IDA功能不是很强大，比如我引用了某个开源库的某个函数，但我想知道这个函数是怎么实现的，就需要找到它的实现在哪？开发都是遵循多文件管理的，一个文件一个文件点开查找的话是不太现实的，所以就自己搞了自动查找器，想想以前的说干就干的能 ...

连机器都会泛化能力，我们没理由不会。学习的目的是为了学习，通过学习我们应该懂的不是所学的东西，而是知道学习到底是怎么一回事。有时，我不禁思考，学习真的有必要跟着教程一步步来吗？话说回来，教程到底是什么呢？我不明白，比如一个保存文件的操作，还需要教吗？接下来，我将以几个冷门的工具为例，来讲讲我是如何用会它们的。 软件软件本身应该是一个很泛的概念，比如python的代码应该也称为软件，但在有些人的认知里，软件就是软件，代码就是代码，所以我们先从软件开始。当然我们不会选择傻瓜式的软件，而是操作复杂的工程式软件，因为这样才有学习的必要，如果对于就点几个按钮的软件都不会用的话，只能说别学了吧。 kritakrita是一款的绘图软件，不像PS之流有着烂大街的教程。但并不意味着它没有教程，官方文档及官方文档的中文翻译就是最好的教程，有的时候只有一份教程是件好事，至少不会为选择而犯难。我很喜欢一句话，“软件能达到目的就足够了，是否流行并不重要。”学习一个软件前，要明白它能做到什么，官方描述是电子绘画和一点图像处理，也就是说krita的最后目标就是一张图片而已，与PS，SAI之类的如出一辙，那为什么我要 ...