第一次上前沿研究类的讲座课，本来是想像竞赛的时候按日写赛题评析一样，按照
DAY1~DAY5
的顺序每天上完课梳理一下思路，简单提一提觉得有趣的点。结果到 DAY2
就被复杂度和计算理论知识直接干碎了。
后面的课虽然很有意思但一涉及到相关问题就不太能完全理解，硬要写的话没太大意义，遂放弃，变成了日常吐槽（又在水 blog 了是吗
DAY 1
注：第一天结束之后随手记的东西，这一天完全理解了是因为之前就学过一点，遂保留。
第一节课还是比较熟悉的内容。上学期刚在数据库课上学过 Relational Algebra，开课前一晚找了本离散补了一下 First Order Logic。上课的时候 wiki 查了一下什么是 Relational Calculus 之后对照着 PPT 看了一遍，就去摸鱼了。
查作业题熬到半夜，关于证明 Relational Algebra 中 difference
的独立性。Google 出来一个看起来像是泰国人写的课件，细讲了一下怎么证明乘积、并、投影和选择的独立性，偏偏没有取差。然后给了一个
Monotonic Query 的定义，看了一大圈回来才意识到这好像是证明 difference
独立性的提示。想了亿会之后意识到的确是提示，用单调性举个反例就好了，我好蠢！太优雅啦！
证明吸取过往教训没有口胡，而是口胡加上举了个反例。第一天没打
LaTeX，作业直接手写了个塑料英语交掉。句子丑到高三英语春考前的我自己都要跳出来骂人的程度。
Phokion 的塑料英语
DAY1 我还在怀疑自己是不是因为秋季学期法语二外的荼毒，已经不能辨别正常的英文读音了，但 Chrome 的字幕显示确实和老爷子的读音差别好大。于是下午又去听了一下 Hybrid Logic 主题，不用字幕的话也能听懂。得出结论不是我的问题（
这几天啃 PPT 之余好奇的就是：Phokion 的母语真的是英语吗？还是法语或者某个与法语相近的语言，比如西班牙语？（不是很懂语言学的知识，关于语系什么的ww）
听到了无数个法语读音的 -an，不发音的 h，只有 Chrome 字幕能明白的 “Query”， PPT 上关于 naive chase procedure 的描述中用的是有分音符的 naïve（也有可能是出于正式），读音也接近法语耶。感觉母语不是英语的可能性增加了！（x
Google 救大命
我的数据结构选的是下学期自动化系的课，相比计算机系的课来说是3学分阉割版（主要是为了保命），秋季学期才开课。于是此前关于时间复杂度问题的认识还只停留在符号层面，计算理论更是一窍不通。从
DAY2 开始类似的问题就没太懂，常见问题的规约全靠 Google
救命，最后作业做了个七七八八，还行吧。
DAY3 的 Problem2 直接查出来一篇 Phokion 的 paper，在里面找某个结论的时候发现证明标了个引用符号，往前找文献又是给引理标了引用，最后找到了 Repair of Inconsistent Database 理论初建的论文。其他很多问题查文献往往也只有若干篇 Phokion 团队的 paper，只有您的实验室在做这个方向是吗.jpg
什么叫逻辑学专题与前沿啊。我还是第一次上前沿专题讨论课形式的课程呢。想到春季学期的时候差点选了数学系的《现代数学前沿概览》，后来学长说目前本来就比数学系基础差一点，不如再学一年再去挨打上课，而且这课是
647 开的，可能要慎重，遂暂时放弃。
奇妙的作息时间
回家之后不用去教室，早十可以九点半起床了。形成了很怪的作息：
- 早晨九点半起床洗漱恰饭。对着字幕和 PPT 听 Phokion 的塑料英语，一直到十二点一刻。
- 早午饭间距有点近，可以先睡个午觉，一点半（甚至更晚）再起来吃午饭。
- 睡醒，恰饭，写作业。有可能还要听一遍回放，我太菜了QAQ
- 一边查文献一边摸鱼到深夜，两点半睡觉是基本操作
，甚至可以睡够七个小时，多好。
要是说没休息好，好像也不至于，加上午觉一天至少睡八个小时；要说没干活好像也没有，该做的都做了，起码不至于非常摸鱼。要说哪里很怪，可能就是午觉有点长，而且时区不太对了（
在学校无论晚上睡多久，似乎也很少睡午觉。从早晨出门开始就漂泊在外一整天，中途回寝室睡感觉挺麻烦的；即使多骑几段路回寝室，说不定上床睡觉也不方便；在教室或者图书馆趴着睡觉醒来都会头晕好一阵，体验也不是很好，干脆撑住就不睡了；第二节和第三节都有课的话吃个饭就不错了，这哪有觉给你睡啊，你睡不睡吧（
回家真好，松软的床就在两步之外，还不用爬梯子，累了就倒头睡觉qwq
到底学到了什么
真要说学到了多少 Database 理论知识，我自己都觉得愧疚：证明还要靠
Google，对着各种文献 Ctrl+F 然后剪刀手，DAY2
作业里不理解的题直接上手糊了但是还拿了9/10是为什么呢，之类的摸鱼行为真挺多的。当然也不能指望我五天迅速精通老爷子研究了二十年的东西对吧，哪怕讲座上的只是一点皮毛。
所以如果真的说学到了什么，大概之后回忆起来的还是 Phokion 在 PPT 上讲过的 target tgds&egds 以电影数据为例的描述、总统选举不同规则下的结果等等，很有趣。
举例是理解的试金石。
学抽代和高代（选）的时候也是一样，正是因为有各式各样的例子和动手操作的空间，我才觉得初学数学相比初学其他很多东西来说更有趣。当然，哪怕很多时候最终目的还是回归抽象，“用做游戏的方式理解规则”的这个过程还是很乐在其中。
另外就是很开心坚持到了最后，没有自闭退课跑路。DAY2
的计算理论看麻了的时候想过无非几种可能：后面的内容变轻松一点，顺利上完
or
后面还是侧重于计算理论，越来越不懂，退课跑路明年多学点计算机知识之后再来
or 头铁把课上完，1
学分绩点拉胯的话就当多上了一门体育课，反正怎么样也卷不过院系里那群卷王。
还好后三天的内容很成体系也很有意思，也不是太需要基础，作业和 take-home exam 已经顺利搞定了。可能还有个原因就是有朋友（唔赛博朋友可以这样说吗，起码我认为是朋友的ww）也在上这门课，虽然也没鼓起勇气问 dalao 各种 trivial 的问题，但不知道为什么有很踏实的感觉，单人行动的话可能中途受不了跑路的概率也会增加一点吧（
系里之前还有几个也选了课的同学（但我其实并不认识，惭愧）问我打不打算退课跑路，尤其是第二天的时候虽然很犹豫，但回答至少会把课跟完，认真看看作业。你院每个学期为了
GPA 3.9+ 退课退到 20
学分的人真的好多，第一学期的时候我的心态其实也一样，为了 GPA
而没有手选数分高代，而是去微 A
和线代爆杀了。当然我目前的考虑还是不保研直接留学，就算保研也没什么地方可以去，可能也没有资格居高临下一般议论他人为了维持
GPA 的努力。
但我自己还是觉得学有趣的、有用的、对自己来说更有价值的东西，比保持一个毕业后就迅速贬值的数值更有意义；与此同时，培养方案只是顺便完成的东西而已（其实是自己专业的培养方案太烂了）。选一条更困难的道路，也是相当幸福的事情。（别中二了啊，以后再看到这句话肯定会尴尬的啊啊啊（
结课合影
结课合影的时候发现没给 zoom 开摄像头权限，网页版打开权限后要刷新重进，重进之后大家都打开了摄像头于是直接卡爆，啥也显示不出来。好不容易把自己的摄像头打开，听到助教说已经截完图了，呜呜（
事后去看了课程回放，想自己截一个合影，发现因为电脑卡住而看不到界面的我完全失去了表情管理，还给所有人表演了一个展示浓密的头发（在镜头前理了半天乱糟糟的头发（应该没人看我吧应该没人看我吧x
是时候认真配一下另一台电脑的设置，然后把主力机换掉了。surface 中看不中用啊（但是真的很轻便呜呜
