暑假总结(上)
暑假堪称转瞬即逝（，转眼已经过了一个月了.尽管自己大概花了2周半的时间在上小学期，修国际学分,所以不完全觉得是假期. 暑假的学校令人意外的人多，不过仍旧比平日少了很多，公共空间的占有率则变得相当舒服且合理，令人期盼"要是学校一共就这么多人就好了"。 我选修了3门暑期课(尽管如今看来有些多了),不过事实证明我的自律性远达不到不上课的学习效率更高的水平(长期来看),所以也算强迫自己了. 第一门课是有向图与算法，是网课，由一个丹麦人来讲。只能说听了个大概。一方面是因为语言上想滴水不漏地捕捉信息更加困难，有些证明即使讲了我也只能听懂个大概，另一方面是因为我对图论这个方向不抱有多少热情. 所以后面摸鱼的时间比较多不过多少也算多了一些大方向上的了解，以及耳熟比较重要的定理. 第二门课是代数拓扑与拓扑数据结构分析(TDA). 后者可以看作前者的一个应用领域. 不过我在此之前并没有多少代数拓扑基础，开课前也仅简单读了armstrong的基础拓扑学作为补充和了解. 好在这门课的预备知识要求相当之少，我的点集拓扑和代数基础足够,是初级的代数拓扑，所以恰好是我全能听懂的难度. 外加...
poem test
波兰来客北岛那时我们有梦 关于文学 关于爱情 关于穿越世界的旅行 如今我们深夜饮酒 杯子碰到一起 都是梦破碎的声音
红烧天堂 四上
终于推完了红烧天堂四上…（回坑不久 卧槽啊麻枝准还是这样，他的剧情未必是合理的，人物也未必前后行为逻辑一致，甚至转机未必是自然的，一切的一切都是为了打出他心中的那张底牌而作铺垫。 而恰恰是这样不甚自然的剧情，在所有的要素集齐后，在一瞬间用发力过度的音乐和演出轰炸你的大脑，把节奏推向高潮，宣泄一种人类最为朴实的情感之时，你又怎能不为之落泪。 正如朋也在花田里的大哭，正如风子消失时微风中的细语. 逢川惠————名为救世主的自卑少女在杀死了一次自己之后称为了真正的救世主。 哎呀真是太期待四下了，等明天考完试马上就推。如果不是去瞄了一眼真的担心我惠就这样退场,感觉亲情戏会更刀…麻子的亲情一直有一手的。 说句题外话，这一章看的我真的蛮生气的，这些队友跟人机一样啊，知道惠没自信还那么不关注她，最多的剧情是去基地溜达找惠，特别是战斗结束后也没几个人好好夸赞了惠，让出力最多的人偷偷溜了我是真没想到，有些ooc了。只能说麻子的大手决定了她们也不能对惠特别亚萨西和体贴，因为他就是要塑造起来惠，创造离别。这就是我说的不大合理之处。 哎麻子这种编剧，就是过程中能让你骂他一百句，但他大多数时候...
看李文威老师github
才发现李文威老师是在自己的github上开源并更新维护的（ 倾佩. 话说这代数学方法1的曲线莫名好笑
离散数学结课总结
上完了离散数学的最后一课，想了想，还是要写这么一篇半导论，半总结式的锐评文章。 正文 课程介绍 首先，这门课算是融合了数学中集合论，代数基础，抽象代数，图论，组合，数理逻辑等学科的大杂烩，而每个部分的介绍相当浅尝辄止（（ 叠甲：鉴于有时我没去听课，有的章节是云的课本所以你可以觉得本文“全是”刻板印象，不要打我QAQ 你将要迎来的是： 集合论：但是不讲公理体系 一些代数基础：关系，函数，笛卡尔积… 常出现在专业代数教科书的基础知识环节（其实要说的话集合论也可以放在这里，但是毕竟人家单独有个称谓和学科就单独写了） 抽象代数：但是连群都只停在了同构基本定理和拉格朗日定理，环和域更是只能算提到了，可以说是科普级别的，主要意义就是引出计算机中有用的格和布尔代数 图论：不如小蓝本（暴论）, 不过优点是用标准的数学语言叙述的，这点有优势，大致导论式的介绍了这个方向，节奏明快 组合:依旧是导论，最深刻的理论是生成函数^^ 数理逻辑: 常规数理逻辑基础，该会的会了就好 笔者的基础 在本书涉及的内容中，或许集合论以及代数部分我事先还是比较熟悉的（至少包含书本内容的闭包（（ ） 所以前半学期很...
周记1
本周是17周，下周就没课了。对应的，也有很多ddl。经过我的力挽狂澜，成功地赶上了所有的ddl，其中高程的作业迫害我最深。 两天写了5份实验报告和1份大作业。其实那些实验报告还好，毕竟我只是没做实验，不是一点不会，不过还是学了不少知识，但c++的知识我感觉自己很快就会忘（ 要说的话使用linux更熟练应该是最大的收获。 但这个魔兽世界大作业是真的。。短期真的搞不定，规则太复杂了。我又不想纯抄别人的，因为还有思路和架构要写，所以选择了75%得分的那一档交了。 喜悦来自于我真的能有面向对象编程的思路了（（ 大致的封装思路比较合理，虽然部分实现交给ai了（顺便吐槽ai对代码的优化能力真的是依托，我很容易就想到的优化，它不仅想不到还改不对，给自己改的编译出错也是神人了。 但依然超多要复习的。。下周要不好过了QAQ （看了眼相册本来想放最能代表这周的照片，发现几乎没拍照，草，真没时间玩了吧） 写博客正好想起来两个关于博客的事，一个是上传照片的合理工作流是什么…现在传到电脑上总觉得还有些麻烦，以及存储的优秀方案是啥？本地的话时间一长恐怕问题很大，现在在用图床，但一个稳定的图床也蛮难找的，万...
末日后酒店中评
末日后酒店这个片很让我惊喜 我惊叹于其流畅精确的表达和演出，细腻自然的人物变化，还有最打动我的一点，这是一个我从看vivy时就在期待着的 ——关于ai的等待与改变的故事。 AI在它的发明人，或是开发者消失之后，在下达的命令不会更改后，要如何在繁复变化的世界里传达人类最初始的美好愿望。这一步所需的变通要以何种形式达到，对使命和人生的理解要如何“进步”？这是我一直想在动画里看到的。 我认为这个片就很好的做到了这一点，每次出现owner的片段，女主通过对铭记于心的多年以前owner的话语，思想，进行再一次的思考和想象，（甚至看到了人类作为教育者的感觉（（ ）然后做自己认为对的事情，我都很感动。“用有限的时间提供无限的服务”，酒店对待客人的主旨与人类对待机器人的主旨恰好完成了暗和。只要怀之诚恳，有限的话语和行为也可以产生无限的影响。owner正是这样诚恳的人。 本片除了制作和演出上的极高水准，节奏的良好把控让人有泪有笑，bgm的烘托也恰到好处，但虽为类单元剧但其主题上的一致性更是罕见。可能是我这个季度最难忘的作品，或许算是一种对追vivy时的遗憾的补全（（ byd在成为太空丹迪...
想学分析了
纯欠揍了，转专业（前）特有的只要不想就能很久不接触分析（（ 真的是皮痒了，但瘾上来了（对手指） 怎么办呢，这周要补作业，下周要四级，下下周开始就是期末 QAQ
离散数学小测(3)个人解析
离散数学小测(3) 作者：MURENzzz 摘要 为学弟学妹们留点排版美观的资料（尽管也是朴素的 LaTeX\LaTeXLATEX）顺便记录一下，毕竟我在本学院的时光也所剩无几了（）最后燃尽一下。 不过苯人是个菜鸡难免会有疏漏和错误，欢迎指正以及发明更好的解法。 不过感觉这份题课上20来分钟想都写清楚还是挺难的… 测试3题目 (1) 画出 5 阶 4 条边的所有非同构的无向简单图 (2) 画出 4 阶 2 条边的所有非同构的有向简单图 设 G=⟨V,E⟩G = \langle V, E \rangleG=⟨V,E⟩ 是无向连通图，GGG 中至少有 3 个顶点，证明 GGG 中存在 2 个顶点，将它们删除后图仍然是连通的。 证明在任何有向完全图中，所有顶点入度的平方之和等于所有顶点出度的平方之和。 （说明：有向完全图是指以无向完全图为底图的有向图） 若 GGG 为简单图，且 m>(n−12)m > \binom{n-1}{2}m>(2n−1)，则 GGG 是连通的。 其中 m,nm,nm,n 分别为该图的边数和顶点数。 假设 TTT...
CHT11-平面图&图的着色
平面图 可平面的 [! 定义1] 如果一个图能画在平面上，使得它的边仅在端点相交，则称这个图为或说它是可平面嵌入的，平面图G的这样一种画法，称为G的一个平面嵌入 平面图的平面嵌入称为平图 eg： Jordon约当定理 本节中我们会介绍Jordon约当定理来说明平面图的一个基本的相交判定，从而帮助理解什么样的图是可平面的 [! 定义2] Jordon曲线: 一条连续的、自身不相交的封闭曲线称为Jordon曲线 外部闭包、内部闭包: J的外部，extJ，外点，extJ与J之并称为extJ的闭包，记为ExtJ;另一部分(不含曲线J称为J的内部，记为intJ，intJ的点称为J的内点，intj与J之并称为intJ的闭包，记为IntJ [! 引理(Jordon约当定理)] 设J是一条Jordon曲线，任何连接J的内点与外点的引理的曲线必与J相交 事实上，Jordan曲线定理（Jordan Curve Theorem）是拓扑学中的基础定理。设 JJ是一条Jordan曲线（即平面上的一条简单闭合曲线，无自交且连续）。它断言： 平面被分割：J 将平面分成两个不相交的区域—...