作者：Bernhard Steffen, Falk Howar, and Maik Merten
摘要：在本文中，我们将介绍Mealy机的主动学习，这是一种特别适合用于建模现实反应系统行为的自动机模型。主动学习的特点是其探索阶段和测试阶段的交替。在探索阶段，所谓的成员查询（membership queries）被用来构建学习中系统的假设模型。在测试阶段，所谓的等价查询（equivalence queries）被用来比较相应的假设模型与实际系统。这两个阶段会迭代进行，直到产生目标系统的有效模型。我们将逐步详细阐述这个简单的算法模式、其背后的正确性论证、其局限性，以及特别是克服实际应用中明显障碍的方法。这应该为该领域的学生和外行人提供一个直观的描述，展示了这个具有挑战性的研究领域尤其在控制和验证不断发展的反应系统方面的高潜力。

　　あらゆる形態と生の流動との、あのような親和は消えた。世界は相対性の中へ打ち捨てられ、時間だけが動いていたのである。（所有的形态和生的流动之间再无亲昵。世界被钉死在相对性中，只有时间向前奔跑。）

——三島由紀夫『金閣寺』

引言：被推迟的毕业旅行

　　第一次萌生世界旅行的想法还是在大约四年之前。那是在2020年的年初，当时笔者正在读大三，而新冠已经悄悄开始传播。尽管身边不断传出一些零星的相关消息，但此时还并未引起多少重视，武汉也还要再过一周多之后才开始封城。当时，笔者第一次跟好友提到，想在本科毕业时一同去距离比较近的日本旅行几天。但笔者和好友都没有也绝无可能意识到，那个后来被命名为COVID-19的病毒，将会对未来数年人们的日常生活产生多么巨大而深远的影响。

问题描述

　　Compound Literals是一个C99特性，GCC和LLVM都对其做了拓展，支持在C++中使用该特性，但在具体的实现上有一定的差异，这也导致了LLVM与GCC存在一定的兼容性问题。例如下述代码，GCC可以编译通过，LLVM则会编译报错。项目主页

1
2
3
4

typedef struct FormatInfo_ { int * a = nullptr; bool isa = false; } FormatInfo;
int * b = nullptr;
FormatInfo a = (FormatInfo) {b, false};
int test( ) { return 0; }

　　请分析GCC及LLVM对Compound Literals的C++拓展的实现，通过修改LLVM的实现，解决上述问题。并基于上述场景，分析LLVM与GCC在该特性的C++拓展实现上的差异，分析改特性是否存在其他场景也存在兼容性问题，给出对应的分析文档。若有其他存在兼容性问题的场景，修改实现解决。

没错，在几乎没有新增任何文章的情况下，我又一次为博客更换了框架。这次回到了Hexo，主要是由于发现先前公式渲染上遇到的问题似乎已经得到解决。

本站目前有三两个可选的访问源，访问量互相独立计数，评论区与站点内容自动同步更新。

• 主站 ：基于 Ucloud 香港，国内访问较快。
• Github镜像 ：基于Github Page。
• Gitee镜像 ：基于Gitee，国内访问较快。由于需要提交各种身份证明材料，已废弃。

前言

　　我知道，考虑到一个人如何希望并相信他能够把“自身”的某些事情说出来，当他要求自己说出这些的时候，如果打断、解析、合并、重组这些内容，这将会多么令人难以忍受，以至此时原作者早已面目全非，根本无法辨识。如此多的词汇聚集在一起，如此多印在纸上标记呈现在无数双眼睛面前。这些标记所蕴含的内容远远超过了构成它们的笔画所表达的，并且它们是多么虔诚地努力将其保存到人们的记忆之中——在这之后，追溯它们的根源时，一定会发现两手空空，在它们之中寻找平静时，一定会发现一无所获。空无的生命已经终结，可它们是否还在继续？通过讲述，我并非在驱除我的死亡，而是在建立它，或者更确切地说……我压抑着整个内心，并将话语让位给了一个对我的生活如此冷漠的、无关我的生与死这般中立的外部世界。

——米歇尔・福柯，《政治与话语研究》

　　TL;DR 版：花三个月时间刷往年卷，期间做听力专项训练，再练一下阅读答题技巧即可。说起来容易里面其实有很多坑

　　TL;DR 有书读了。

前言

自恋是愚蠢在其舞蹈中的第一个舞伴。其原因在于，它们具有一种特殊关系：自恋是疯癫的第一个症状。其原因还在于，人依恋自身，以致谬误为真理，以谎言为真实，以暴力和丑陋为正义和美。——米歇尔・福柯，《疯癫与文明》

目的

　　随着度过的年岁越来越多，逐渐察觉到自己对于时间流逝的概念已经开始有些模糊。那些一个月以内前发生的事件还比较好说，而在回忆超过大概三个月之前的事件时，得到的印象时常会出现紊乱。这进而导致我丧失了与许多重要时间节点之间的距离感。于是，为了记录一些可能会对未来有积极意义的事物，并时常使自己保持对时间流逝的敏感性，决定从今年开始在每年的年初为上一年编写年度回顾。

引言

　　在经历了去年睡过头因而完美错过上海电影节（SIFF）的开票时间只能眼巴巴看着其他网友跑去看今敏的代表作之后，今年很早就开始关注SIFF的消息。虽然今年动画排片阵容不如去年，但EVA新剧场版系列这样的重量级动画在国内的展映依然是不容错过。

前情提要：笔者就读于华东理工大学计算机科学与技术专业，即将毕业。

前言

　　时值21年2月中旬，此时春节假期刚刚过去，距全国硕士研究生统一招生考试初试也已经两月有余。由于在初试中数学科目失利，一方面需要花一些精力准备复试，另一方面也要考虑到存在没有通过初试的风险，在焦急等待着复试分数线的我决定开始寻找一份能让我在大四下学期即不太忙（以至不影响复试的准备与后续的毕设工作）也不太闲（以至在未能进入复试的情况下能为这一学期的生活托底）的实习工作。