打铁不是结束，All Last 只是开始。
标题含义：这次 WC，APIO，NOI 都是以远程方式参加，故称之为「云游记」。
继续阅读All Last——WC 2020 & APIO 2020 & NOI 2020 云游记灯下随笔（四）——强基计划与竞赛的未来
零
最近发生了不少耐人寻味的事情。
乐意去上竞赛课的少了不少，听说有一次 MO 课全年级只去了 19 人，场面一度十分尴尬。
强基计划的消息已经传到了老师和学生的耳朵里，听说学校要开始为竞赛生安排培优班，不过目前还没下文。
继续阅读灯下随笔（四）——强基计划与竞赛的未来Euclidea 游戏解答与证明
在 X Round 4 上做到了「尺规作图」这道非常有意思的提交答案题，后来得知这题的灵感来自于 Euclidea 这款智力游戏，于是决定体验一下。
然后就意识到自己的几何水平退化实在太厉害了…于是决定写篇博客来记录一下自己解题的心路历程。
继续阅读Euclidea 游戏解答与证明灯下随笔（五）——一个历史悠久的错误解法给我们的启示
我思考了很久，试图寻找一本通在 牛的旅行 这道题目上给出错解的原因。这个寻找的过程也给了我一些启发，在此与各位分享。
继续阅读灯下随笔（五）——一个历史悠久的错误解法给我们的启示浅谈函数重载规则
引子
昨天在某个群看到了这样一段代码：
#include <iostream>
#include <string>
using namespace std;
void foo(string str) { cout << "string" << endl; }
void foo(bool b) { cout << "bool" << endl; }
void foo(char c) { cout << "char" << endl; }
int main() {
foo("hello, world");
return 0;
}
现在的问题是，这段程序的输出是什么？或者说，foo("hello, world"); 调用的究竟是哪个函数？
要解决这个问题，我们就要详细讨论一下函数重载的规则。
继续阅读浅谈函数重载规则