北海道是一片白雪覆盖的山野，山脉高低起伏，在谷间留下一方栖息，在海岸放缓陡峭的脚步，而承载着开拓意志的人类，在这里建起大大小小的城市，让万家灯火点亮这苍茫的覆雪之地。 函馆——山水间的梦幻雪乡   我们初到这里时，厚厚的积雪覆盖了道路，阳光从云层的间隙……

(本文由于题材原因，仅供同学朋友作为旅行参考，请勿向外转发，另外本文图片较多，建议在WiFi环境下阅读)   记得第一次听说日本的北海道，还是小时候看见肯德基甜品站上的海报。金黄色的灯光映照在玻璃幕墙，纯白如雪的冰激凌奶油分外诱人。在图片一旁的空白处，25元……

funny problem from model theory problem sheet 题面 Let L be a countable language, T a theory. Let c_1,c_2,... be new constants, L'=L\cup\lbrace c_1,...\rbrace, and let X be the set of all complete theories of L' with T\subset t. Enumerate the L' se……

前言 红黑树是一种复杂的平衡树，在大部分情况下都会使用父指针或者递归实现。假如我们一定要三无实现呢？ 本文必须配合OI-Wiki食用！！ 基础结构 #define BLK_COLOR 0 #define RED_COLOR 1 #define LEFT 0 #define RIGHT 1 #define Color(node) (node==NULL?BLK_COLO……

感谢XLH同学指出blog中的一些错误，本文已于2024/9/28更新 引入 AVL树有种种实现方式，其中最自然的是采用递归的写法，毕竟AVL树是递归定义的。但是，有的老师认为“递归时间常数大”，觉得应该用迭代。但是，还有老师认为迭代要用栈，“栈空间大（指占用了 O(\log n) ）……

集合论想学自己学去吧, 该回归一般意义上的数理逻辑了. 另外本系列持续使用中文写作. 默认的latex编译器又哈哈了, 喜欢我美刀吗￥￥￥ 上期我们浪费了一期在最为基础的集合论上, 然而集合论并不是一个很好的例子, 毕竟其中很多东西若深入讨论需要大量基础, 关于其……

ref 起因： 在阅读ics-pa代码macro.h中发现这样一个需求：如何在宏中测试特定宏是否被定义 #define str_temp(x) #x #define str(x) str_temp(x) // strlen() for string constant #define STRLEN(CONST_STR) (sizeof(CONST_STR) - 1) // calculate the length of an……

背景 笔者最近在参加某校在线平台前端的开发，收到了这样的要求： 将服务器传输过来的文件尽可能（图片/PDF）在网页中就显示下来，这样就不用下载了！ 笔者劈里啪啦敲下了如下代码（由于渲染问题，美元符号已替换为人民币符号！！！）： var xhr = new XMLHttpReq……

（提醒：本游记体量较大，字数超过21500，图片数量超过100，可以考虑在WiFi环境下阅读）   “慢下来，一倍速生活” ——大理市公益广告标语   在眼前一闪而过的文字，是身处大城市遥不可及的幻想，或许只有一片无比纯净而美丽的山水与天地，才能承载得住这样温暖又令人动……

概括 原文为英文，本文是回忆版，具体数据可能有误。考完收试卷、草稿纸。可以携带一张A4手写笔记。不可以带计算器。 期中传送门 120分钟5题. P1 有一根长为2a的均匀杆子竖立在光滑水平面上，由于扰动开始倒下，问： 快接触地面时的角速度 快接触地面时的质心速度 P……