思索，我看邻域语义定义到底对我写完这个论文有好处吗？感觉没有但是又感觉完全必须看懂邻域语义定义才能把这篇论文顺下来。妈的，因为二十天没看我现在又回到重新开始，完球了这到底怎么三周写完【大紧急事件发生
应该能写完吧毕竟不写完不行的情况下硬写至少也得写完啊！
但这么一想既然这篇论文的框架是邻域框架，那我何不直接用关系框架解释来完成本论文的创新【喂
好像终于能解释为什么Sfai的定义为什么加了个x contained A，因为从邻域语义解释fai在m的真值集contained A，所以状态x是这个真值集里的元素所以才作为一个像推论的东西标注了一下……
我要是去年恰当的时间懂了的时候就能跟我老师讨论了然后我不就有论文内容可以写了吗！啊！！！你这不好好学习的家伙！！！
而且也终于明白为什么这篇文献的参考里有拓扑，原来完全就是因为他就没用关系语义，他用邻域语义……我说为什么我最近看邻域语义什么超集什么封闭都是要干什么，原来如此……妈妈咪呀怎么速成拓扑啊这不行吧！
原本想糊弄，结果一开始写，意识到就算糊弄我也得先懂一些基础概念……但我没学过拓扑啊！
焦虑中开始规划明天注册+吃完饭以后怎么写论文，总之就是先把框架模型语义解释了，用ppt做示意图插入进来，然后删除封闭结构这一节因为我不会拓扑，然后把认知模态这部分解释出来关系，然后讲公理化，再然后讲多主体认知部分，然后给群体知识的部分找别的例子，总之我的想法是我的创新可以是专家知识内部动态平衡或者根据循证医学的例子引入一个新的解释框架然后把语义再次扭转成一般情况下的邻域语义解释，即是说fai为真的集合在X的幂集的幂集里这种情况……啊然后我要证明和公理化……啊写到的话就算证错了老师初稿给我看完应该能看出来吧！（
目前是把框架模型语义写完了，然后感觉其实还得把closure property（这到底是翻译成闭包性质还是封闭性质啊！）加上更好，但是我愣加也不好说！让我再往里面塞点东西……
一想到昨天我导师给我发的信息我现在浑身上下充满了您骂得是您骂得对……但我也不知道为什么我一直很自信（……），可能哥们天生适合去当说一些自己半信半疑的东西的人……
看证明的时候听到外面有人不知道哪间房大声笑到我戴着耳机听到了，我当时就打开门左看右看眼神如同身背三十条人命……他妈的到底是谁这么开心！此刻在这世上有人在笑，有人在杀……
不过还好我找到了pacuit教授那本我要用的书，今天不杀了……
实在心里不安感觉我这个论文一直在介绍和翻译真的可以吗，就从我室友处得知大家都差不多让我心放肚子里翻译（……），我就美滋滋接着翻译了，翻出个弗兰肯斯坦的论文来……
今天学妹跟我说latex真有够难的，我回答“其实我最近都在用word敲公式”，其实想一想我现在写这么慢，我敲公式一个字母一个字符的，这也是功不可没……对不起学长！明明你叫我们一开始就学latex，我到我要毕业才明白这到底是有多事半功倍啊！
室友回来了，说伊论文字数不够，因为一个公式只给算一个字符，我说不会吧，一看我的一个fai蕴含Sfai都给我算三个字符。结果我室友说因为她全用插入公式写的所以都只有一个公式字符，我是一个字一个字敲的所以给我一个字一个字算……我靠原来我的笨蛋还给我添加了字数啊【？
肚子好饿但是今晚必须写到几天前就设定的字数了否则真的绝对毕不了业了……
最近看证明看着看着还涉及到我没学好的数理逻辑那边的一些证明……不是，我这三年这不是除了转行这个结论以外我什么都没学会吗！
当然，也可以说我转行去政哲的时候我最大的优势是清晰明确的论证完全性的能力，毕竟我学这些东西太多了我日常说话我自己的逻辑错误我都能在说完的瞬间就指出来……更别提看太多证明以后招致我对这个步骤是不是能每一步都对应上一步非常在意，毕竟否则就接不上……
看来除了逻辑本身以外我收获都挺大的……【流汗
好受不了啊，一周了我还在跟这个拓扑死死捆在一起……我在此之前对拓扑的了解就是，呃，大家知不知道一种把自己的头发当作束缚的方法的一种不需要额外道具的扎住头发的技法【？】，总之鄙人对拓扑的了解就是这样……【
实在没想到我随手乱买的陶哲轩实分析这本书在奇奇怪怪的时刻我突然就想起来它突然就用上了一点……谢谢你，Terence Tao……
淡淡地因为在word敲公式找不到box崩溃了……以后我再碰见同专业学弟妹我一定告诉他们latex的重要性就是防止你半夜写论文找不到box和diamond崩溃……
跑去别人的文本复制了一个以为终于解决问题了，结果是word给我的box符号显示了一个问号。问号？诶？你有什么疑问？你有什么不满！这个是由得了你的吗？！
前几天拜托学妹给我买清华的数学作业纸，正想着学妹怎么给我买成了感觉是b4的大小，今天写着笔记就发现大还是好啊不然根本没法把笔记写在旁边引过来啊！是小人有眼不识珠了！
pacuit教授你竟然现在只是副教授，我不服，我不服啊！（什么东西
明早上课于是现在就要睡了，然后转头发现，呃，呃呃一周过去只多了两千字这个效率最后一周就是地狱中的地狱了啊！！！啊啊啊你这家伙为什么写不出来东西啊啊啊啊（崩溃
极度怀疑把这些东西翻译完然后我冲进来做我都不知道对不对的证明，什么Ephi可推导M，w推导phi的真值集的补集不推导出phi，啊说错了这是定义……总之就是证明一下完全性以及诸如Srphi到psai即Sr phi则 Sr psai之类的，这些东西全写完我真心怀疑刚到一万五……
而且我真的会证一致完全吗，我靠，我真的知道什么是一致完全吗，我大大怀疑我自己脑子里现在的东西都是什么……
一旦看到别人用latex之类的敲出来的漂亮公式竟会有点恼怒……呃啊啊啊啊算了睡觉吧明天还要上课搞不好就直接开始讲柏拉图了which我到现在没时间预习所以还没看……虽然要论起来我早就看了完全还记得论might那一节……
敲了一通字现在就困了可他妈得了……
听复活给听精神了……好吧复活了我再写会……但说实在的我还能写什么，妈妈的，邻域语义我能抄的部分好像就要抄完了！
来劲了敲了一个多小时，然后一看统计字数一千字，我的心情就是妈妈的我不学latex的报应就是手敲公式如同劳动密集型产业……
写到现在我感觉我的创新性就是以前大家没翻译过pacuit教授的这本书的intro……然后我还要翻译王教授的文献，嗯。
妈妈的这论文能过吗它真的像尸块（捂头
算了等我把尸块全串到一起的时候再想怎么让它们成为有机尸块……
写到现在的心情就是想对我导师说私密马赛红豆泥私密马赛，想对给我上集合论的我年兄年姐的导说私密马赛红豆泥私密马赛（彻底跪地上不站起来了）
难以忘怀我导被我搞没辙了说我不敢催你但是你总给我一种很自信的感觉。我到现在想起来还是汗流浃背！不好意思我真的不知道我怎么又不会又没写但是就有自信的！我现在没了但是也迟了呜呜呜哇哇哇好饿睡了（即刻躺下阻止自己继续大哭（……
不过写论文期间感觉我每次都是听布列兹的马勒心情比较稳定，谢谢你，机器人遇见上帝！
我操完蛋了，就算最少最少的写法我都未必真能写到那里，一想到明天学妹她们开题我导必然会来问我你怎么样了我就想两眼一闭然后跪地开始私密马赛红豆泥私密马赛！
一醒来就有种不想活了的氛围，妈妈的这论文有完没完啊！最可怕的是我发现之前规划里的一部分内容它、它塞不进去啊！你塞不进去我就写不够字数啊！好像跟一个月前的我说你没事干回家干什么……干什么啊！
崩溃了一个下午，以标准的发疯状态又哭又笑了三个小时，然后变正常了，开始敲公式。这个论文写完我的精神状态可能只能用滔滔江水听我说我诅咒一切能形容吧。【什么东西
只能说等我写完论文我开始写同人，我就会写一大堆超级sfw雷文，法拉米尔你小心了有人要把你当蘑菇农场用了【？
就我现在文件夹里的空白文档的情况看，我写完论文的那一刻起我就会不断产出经典sfw大全。
鄙人精神状态堪忧的另一体现：差点咬了过路不认识女同学一口。
目前只是理解别人的封闭性质证明，开始怀疑初稿交上之后我师跟我反馈我擦汗之际发现不能理解这到底有错没错
嗯——没懂！算了先抄进论文【敲
诶好像懂了，但是说起来证明这个封闭干什么啊【……
每每半夜拼装我的论文看到陶哲轩发毛象了我都浑身一震宛如看到我师……
写到此处意识到妈妈的我不知道封闭性质的意义是什么！总得介绍一下我才能开始证明什么交集封闭有限并封闭啊！
呃到底证明封闭的原因是为了后面证明方便还是说因为封闭可以帮助证明完全性啊……
隐约感觉，证明封闭性是为了这个框架模型的一致性而不是完全性……再不然单纯是用来证明和认知逻辑的关系的一环……
我操等下十五号前写完今天七号，这不是剩七八天了吗【捂头大喊
我操，砍掉公理化证明的七十七帕内容好了我要简单快捷得到一个结果然后用到我自己那个全是漏洞的框架证明里去！
我操，林登鲍姆引理，今次看你我仍然不懂！算了我就楞抄直接用吧我能怎么办！
想了一下，其实我的这个框架需要的难道是公开宣告动态认知……？
正在想今天怎么到现在没想出来把什么东西塞进论文，抄笔记抄着抄着突然就知道把什么塞进我自己的框架的证明里了……谢谢你，pacuit教授！