象存唯一进步施（米特）派 @matsunagasaru@social.datalabour.com

要说为什么我回答的是模态逻辑，因为我那个时候真的是一个想用逻辑解决一切的青春期伦子哥【？】，所以我觉得模态逻辑有很多可能，可以用来刻画一切……也就是说从现在的我的角度我能解读出来其实那个时候的我是希望用逻辑解构人脑思维做人工智能的那派别的超级愚公移山派……

回忆起我的本科第二年，我回答我老师那个送分问题“你喜欢哪种逻辑？为什么？”的时候回答的东西是……模态逻辑。
啊啊啊原来我是个说了什么就会以一种迂回婉转的方式实现的家伙……而且回过头来才发现原来这是我以前的愿望，所以未来的我真的一直在实现过去的我的愿望……某种角度我的愿望基本总是在实现，这也确实增益了我的自信心和解决问题的决心……但我现在真的困了【倒下

我过去写逻辑和分析哲学论文的经验就是能举多少例子就举多少例子，这样字数总能达标的……哼哼哼哈哈哈哈……【癫狂地开始抄医学定义

说实话虽然现在很困但是不太想睡觉，因为感觉终于我真的在攻克我的论文了……
目标就是构建一个循证医学例子的模态认知逻辑系统……然后论文标题改成《基于证据和信息的另一种专家知识框架》……啊只剩二十天了写完三万字之日我要狂睡七个小时……【要求看着真可怜！

我回忆起来一件事情，开题的时候老师说这个题目申博也能继续做，我心里还不理解，其实是因为这是在做点集拓扑相关概念的邻域语义的模态逻辑系统……

好，其实我好像看懂了开集到底是什么，但是又好像没懂那你的定义到底是什么！因为我微积分也没学好！
啊！〇你妈！【字正腔圆

从我集合论笔记这个要睡着了还后来下课补了笔记可以看出我当时还很乐观地认为我一定日后能靠笔记看懂……

虽说我论文没写完但是我已经学会了自己做毕业月桂冠，连材料都找好了只差我写完论文我就开始自己做小手工，买地中海月桂回来薅光叶子，找一下圣心果的替代品……

我的集合论知识基本已经要全还给我师了，但现在每天比我一直上课的时候还懂这些概念，说明数学证明是一种不用就不会的语言……那他妈的我完蛋了我学英语就不爱背单词。

今天路遇我的数学系逃来逻辑的学妹，伊问我那你看的是点集拓扑还是代数拓扑。
我：我不知道！【大声
总之学妹辨认出来我看的是比较简单的点集拓扑……啊啊啊啊到底怎么写嘛怎么真的越来越数学了我数学就不及格啊【大喊

艾丽卡队长前任夺回作战

今天的艾丽卡队长收拾整齐，但穿了私服，以一身浅色打扮出门，路上遇到大家就如同往常一样，点了下头就继续向前笔直行走。
但问题就在于，据知情不具名人士透露，队长今天约了西住流本家，黑森峰前任副队长，现大洗副队长（实权职务）西住美穗出门，目的地疑似游乐场。
众所周知，艾丽卡队长对前副队长的美穗因爱生恨、绝不原谅，直到真穗队长惜败于决赛后才看起来有所缓和。但论起这算缓和，还是有些勉强。据另一知情不具名人士，艾丽卡队长在美穗副队长回黑森峰交流时曾口出酸言酸语，令听者无不侧目而视，尤其是一年级生还从没见过艾丽卡副队长（当时职务）这般幽怨的表现，着实留下了深刻印象。
但同时也有人提出，在大洗存废之战中，她亲眼看到艾丽卡队长独自送美穗副队长回营地，期间二人不知在战车里聊了什么，艾丽卡队长回来被真穗（前）队长问起，还露出了疑似微笑的表情。根据此证据，目前大家认为，队长与美穗副队长重归于好的可能极大，只是还缺乏一些合理契机。
但艾丽卡队长是远近闻名爱校如家，更是在真穗队长离任后励精图治，毫无个人生活，遇见她只会是在课堂和训练场，私人时间几乎被压缩到只剩下拳击锻炼时间，令“艾丽卡队长前任复合小组”的成员们扼腕叹息。同时在训练方面极端敏锐的队长隐约发觉了此小组之存在，但智慧的组长赤星小梅对本小组定义为机动作战学习小组，告知队长，本小组旨在为车长培养自主指挥能力，同时又要注意领会队长命令，因而将艾丽卡队长也作为学习范本，此番行动不过是观察队长。
尽管队长接受了此番说辞，但今天绝对不能被队长发现大家跟在后面观察她和美穗副队长约会。绝对不能。

#GuP

感觉绝对是焦虑引起的睡眠问题之我最近都晚睡但是早早醒来……他妈的这个逼论文把我的健康生活都毁了！睡不着了干脆起来干活晚上早点让我赶紧睡着求求了睡不够七个小时我真的担心自己透支生命啊！

当我第一次得知世界上有人吃重岳和令的时候，我竟生出了一种仿佛第一次听说同性恋的心情……再反应过来的时候，我已经把不论吃哪边受的人都拉黑了。
不是，为什么啊！你们咋看出来的bg，我打眼望过去只看到两个前公务员在家里议论国事……（

谢谢你！学长！还好你是我的直系同门学长否则我还没有你论文借鉴！

仔细考察了我学长的论文发现我为什么要解释什么公理化，不需要啊！我只要介绍不同解释然后自己再构建一遍然后我自己那个加上定义定理证明就行了！公理化都可以省略！然后评价部分套一下例子就行了！啊！明天就去phipaper看还有没有冤大头让我介绍一下抄抄（喂

我当初怎么就一举挑中一个我根本学都不学的其他语义模型构建的系统，然后真就给自己制造了一夜搭完墨俣城的大难题……算了都三周就要死了还想什么悔不当初啊！

看了半天悟了，这篇论文要写下去必须速成pacuit的邻域语义intro，好在pacuit讲这个真的讲很清晰所以我现在觉得pacuit我能毕业就靠你了……我不管你怎么讲拓扑反正我现在着急用我只要把交集并集子集空间当定理背下来就是了！

而且每每我都有一个大问题就是我经常有不知道它中文叫什么的数学名词，导致我正写得来劲的时候硬查十分钟翻译然后再回来思路之流就被水坝挡住了！心情只有操你妈。

现在脑子太活跃了进入又想睡觉又想坐起来跟我的论文爆了的状态……