为了更好地研究密码学，本着“磨刀不误砍柴工”的想法，对本科时学习的《离散数学》进行一个复习。不一样的是，这次直接对抽象代数（特别是其中的群论、环论、域论）进行再次探索。参考书目为Joseph J. Rotman的《Advanced Modern Algebra》以及丘维声的《抽象代数基础》。对于我认为重要的定理，我会记录下来并附加上主观感受，并不会给上详细证明。 这篇博客先主要复习群论，其余之后再

约瑟夫问题 约瑟夫斯置换是一个出现在计算机科学和数学中的问题。在计算机编程的算法中，类似问题又被称为约瑟夫环。 人们站在一个等待被处决的圈子里。 计数从圆圈中的指定点开始，并沿指定方向围绕圆圈进行。 在跳过指定数量的人之后，处刑下一个人。 对剩下的人重复该过程，从下一个人开始，朝同一方向跳过相同数量的人，直到只剩下一个人，并被释放。 问题即，给定人数、起点、方向和要跳过的数字，选择初始圆圈中的

《服务计算基础》这门课质量是很高，但是课程作业也可以说是非常折磨人。作业里要求编程的内容并不多，但是每个实验都需要配置环境，非常的麻烦。所以把这个作业的实验报告稍加修改，作为一篇博客发表，希望可以帮助到后来的人。 服务计算基础 Homework1 作业1: 服务开发和调用 12345678910111213>Class person>{String name;int ag

在学着做lept_json这个项目时，作者在教程中介绍了单元测试的概念，并使用测试驱动开发（Test Driven Development）的方法来循序渐进地完善程序的功能。这篇博客就简单地展开讲一下单元测试和测试驱动开发，并介绍一下在Java中如何使用JUnit库来对代码进行单元测试。 单元测试 单元测试其实挺好理解的，平时在写代码时，有经验的程序员经常会将不同的功能拆分成函数，这样便于对每个

自从上了大学，高中的算法竞赛的内容就逐渐地忘记了，到现在已经快退化到平均水平了。上了研也应该重新收拾一下，开始准备实习、找工作了。本篇博客长期更新，记录算法题的做题思路，只记录思路，不是特殊情况不记录代码。 LeetCode 25. K个一组翻转链表 题目链接 题面 给你一个链表，要求每k个链表为一组，将它们翻转。当剩余的链表不足k个时，不做任何操作。 12输入：head = [1,2,3,

最近在恶补CMU 15-213 CSAPP，课程的质量是非常高的，但是其中有不少内容在西电的《计算机组成原理》、《微机原理与接口技术》等课程学过了，于是就只能“略读”一下。但是这门课的LAB质量也是很高的，于是便尝试了一下。体验了一下LAB1:bomb和LAB2:attack后，发现难度真的很大，基本上都是看着网上的答案来做的。 因为汇编语言在本科就学过了（而且实验基本上也是看网上做的），所以这篇

本篇博客用以总结在实现Json Tutorial时获得的经验和心得，项目仓库地址json_tutorial。 个人认为这个项目还是一个非常适合的入门项目，作者深入浅出地讲解如何从零用C语言实现一个自己的Json解析库。虽然Json解析的算法并不算难，但是项目教程中提到如单元测试等实践中常用的开发方法，以及关于指针的一些陷阱，并且解释了之前困扰我的许多问题，非常适合学习。 程序的编译和链接 在教程

最近接到导师布置的一个横向任务，要利用前沿的密码学算法实现一个可搜索加密+授权加密的桌面程序。虽然密码学算法已经心里有数，但是这个程序的功能稍微有点复杂，程序设计的难度也有所提高，所以在写的时候，往往没有头绪，不知道使用怎样的设计思路来编写代码。经过一番资料的搜索后，发现了*《设计模式》这本书，这本书被广大同行所盛誉。然而图书馆的所有《设计模式》已经被借走了，于是我就找到《Head First设计

众所周知，前后端的就业已经是强弩之末，但是作为科班的学生，不能对前后端的开发一点都不熟悉。所以，我利用暑假时间浅学习前端的知识，也算是为将来开发自己的个人网站作铺垫。 HTML学习笔记 HTML相对好理解，毕竟是所见即所得的东西，并且HTML的语法又与之前学的WPF非常相似，所以很多东西就不再往这里写了。对于HTML中存在的大量标签类型，也只要在开发时上网查询即可。 嵌套、内联元素与块元素 部

轶事两则 起因是我和父母视频电话时抱怨毕设难度大，他们就说找个机会去文昌阁求一下神明保佑，我也没当回事。后来，解决了“结构体越界”这个bug后（这个bug我花了三个礼拜才解决），我就打电话和他们说了这件事，我妈才说就在4月21日（还是20日，忘了），他和我爸一起去了文昌烧香，结果第二天（如上图，4月22日）就遇到了高人指点。这多少让我这个无神论者有一些震惊。我妈还自豪地和我说，虽然有些事她不懂，