思索，我看邻域语义定义到底对我写完这个论文有好处吗？感觉没有但是又感觉完全必须看懂邻域语义定义才能把这篇论文顺下来。妈的，因为二十天没看我现在又回到重新开始，完球了这到底怎么三周写完【大紧急事件发生
应该能写完吧毕竟不写完不行的情况下硬写至少也得写完啊！
但这么一想既然这篇论文的框架是邻域框架，那我何不直接用关系框架解释来完成本论文的创新【喂
好像终于能解释为什么Sfai的定义为什么加了个x contained A，因为从邻域语义解释fai在m的真值集contained A，所以状态x是这个真值集里的元素所以才作为一个像推论的东西标注了一下……
我要是去年恰当的时间懂了的时候就能跟我老师讨论了然后我不就有论文内容可以写了吗！啊！！！你这不好好学习的家伙！！！
而且也终于明白为什么这篇文献的参考里有拓扑，原来完全就是因为他就没用关系语义，他用邻域语义……我说为什么我最近看邻域语义什么超集什么封闭都是要干什么，原来如此……妈妈咪呀怎么速成拓扑啊这不行吧！
焦虑中开始规划明天注册+吃完饭以后怎么写论文，总之就是先把框架模型语义解释了，用ppt做示意图插入进来，然后删除封闭结构这一节因为我不会拓扑，然后把认知模态这部分解释出来关系，然后讲公理化，再然后讲多主体认知部分，然后给群体知识的部分找别的例子，总之我的想法是我的创新可以是专家知识内部动态平衡或者根据循证医学的例子引入一个新的解释框架然后把语义再次扭转成一般情况下的邻域语义解释，即是说fai为真的集合在X的幂集的幂集里这种情况……啊然后我要证明和公理化……啊写到的话就算证错了老师初稿给我看完应该能看出来吧！（
要说为什么我想起的专家知识例子都是医学的，基本就是我真的会经常有事没事看默沙东，自从开始用默沙东，我上搜索引擎查病往自己身上按的毛病蜕变成没事就去默沙东查病往自己身上按还有往自己推身上按。
对不起但是我太爱看自己有没有病了（……），本人的疑病症能用来给我年姐那篇动态认知逻辑的概率方面那个案例当现世活例啊！（
正说着我证明大概率就写错了的时候就看到陶哲轩发毛象，我不敢细看因为我现在罹患证明困难症！！！（什么东西
真是没能想到我完全一开始都准备略过不管的邻域语义内容恐将成为本篇论文还稍微不算洗稿的突破之处（
对不起singleton和booth我毕业全指着你们写的证明了（（
等我、等我把论文写完我要立即开始写同人看政治哲学好好爽他妈的一年半载！啊啊啊啊现在一口气全凭想看政治哲学以及写我cp单性转吊着！但最近看逻辑给我看出新感觉了，然后b站不知道怎么了又在狂给我推数学分析之类的内容，搞得我有点爱看证明（……
但看别人证明当然很爽，自己写证明就好比我刚学完西里尔字母就让我去写塞克语小作文……
要说起来真把这些东西写完到底能不能够字数啊……算了想这个干什么先写完再说！
现在脑子太活跃了进入又想睡觉又想坐起来跟我的论文爆了的状态……
而且每每我都有一个大问题就是我经常有不知道它中文叫什么的数学名词，导致我正写得来劲的时候硬查十分钟翻译然后再回来思路之流就被水坝挡住了！心情只有操你妈。
看了半天悟了，这篇论文要写下去必须速成pacuit的邻域语义intro，好在pacuit讲这个真的讲很清晰所以我现在觉得pacuit我能毕业就靠你了……我不管你怎么讲拓扑反正我现在着急用我只要把交集并集子集空间当定理背下来就是了！
我当初怎么就一举挑中一个我根本学都不学的其他语义模型构建的系统，然后真就给自己制造了一夜搭完墨俣城的大难题……算了都三周就要死了还想什么悔不当初啊！
仔细考察了我学长的论文发现我为什么要解释什么公理化，不需要啊！我只要介绍不同解释然后自己再构建一遍然后我自己那个加上定义定理证明就行了！公理化都可以省略！然后评价部分套一下例子就行了！啊！明天就去phipaper看还有没有冤大头让我介绍一下抄抄（喂
谢谢你！学长！还好你是我的直系同门学长否则我还没有你论文借鉴！
感觉绝对是焦虑引起的睡眠问题之我最近都晚睡但是早早醒来……他妈的这个逼论文把我的健康生活都毁了！睡不着了干脆起来干活晚上早点让我赶紧睡着求求了睡不够七个小时我真的担心自己透支生命啊！
今天路遇我的数学系逃来逻辑的学妹，伊问我那你看的是点集拓扑还是代数拓扑。
我：我不知道！【大声
总之学妹辨认出来我看的是比较简单的点集拓扑……啊啊啊啊到底怎么写嘛怎么真的越来越数学了我数学就不及格啊【大喊
我的集合论知识基本已经要全还给我师了，但现在每天比我一直上课的时候还懂这些概念，说明数学证明是一种不用就不会的语言……那他妈的我完蛋了我学英语就不爱背单词。
虽说我论文没写完但是我已经学会了自己做毕业月桂冠，连材料都找好了只差我写完论文我就开始自己做小手工，买地中海月桂回来薅光叶子，找一下圣心果的替代品……
好，其实我好像看懂了开集到底是什么，但是又好像没懂那你的定义到底是什么！因为我微积分也没学好！
啊！〇你妈！【字正腔圆
我回忆起来一件事情，开题的时候老师说这个题目申博也能继续做，我心里还不理解，其实是因为这是在做点集拓扑相关概念的邻域语义的模态逻辑系统……
说实话虽然现在很困但是不太想睡觉，因为感觉终于我真的在攻克我的论文了……
目标就是构建一个循证医学例子的模态认知逻辑系统……然后论文标题改成《基于证据和信息的另一种专家知识框架》……啊只剩二十天了写完三万字之日我要狂睡七个小时……【要求看着真可怜！
我过去写逻辑和分析哲学论文的经验就是能举多少例子就举多少例子，这样字数总能达标的……哼哼哼哈哈哈哈……【癫狂地开始抄医学定义
回忆起我的本科第二年，我回答我老师那个送分问题“你喜欢哪种逻辑？为什么？”的时候回答的东西是……模态逻辑。
啊啊啊原来我是个说了什么就会以一种迂回婉转的方式实现的家伙……而且回过头来才发现原来这是我以前的愿望，所以未来的我真的一直在实现过去的我的愿望……某种角度我的愿望基本总是在实现，这也确实增益了我的自信心和解决问题的决心……但我现在真的困了【倒下
要说为什么我回答的是模态逻辑，因为我那个时候真的是一个想用逻辑解决一切的青春期伦子哥【？】，所以我觉得模态逻辑有很多可能，可以用来刻画一切……也就是说从现在的我的角度我能解读出来其实那个时候的我是希望用逻辑解构人脑思维做人工智能的那派别的超级愚公移山派……
完蛋了，摸鱼看同人，看到“xxx走进来成为这个空间的中心”，我：你成为这个空间U的邻域……你们这房间还是个开集啊。不是，什么东西，这房间肯定不是开集，应该说房里的人组成了开集……
【你别看同人了你快点去写论文啊！（催
好饿外加明天要早起去上另一门课还得早睡，纠结再三觉得还是去那个课比较好，但是这个论文又是个老大难问题……
思路上来说倒是整理好了，但是落笔的时候就开始犹豫加写不下去，因为不知道这样到底在写什么，这不算直接翻译我的主要文献吗（
算了真要说我这个没法通过我也就是延毕罢了！延毕也并不碍我的事！（
我已然对证明这件事已经进入了burn out 阶段虽然其实我还没开始证……虽然事情一件一件做但是一想到明天转换大脑到我喜欢的东西上还没停留几个小时又要回来证明，我就小型崩溃大型瘫倒……不管了今晚原则上是周日的晚上我明天上课我现在要睡觉！！！
其实最主要是我估算了一下字数，算完发现诶怎么少一万字……一万字的缺口啊！！！
哦我考虑了一下这个说错了，应该说这位成为空间的中心导致附近的东西自动成为他的邻域，然后他们一屋子人以他为中心组成了邻域系，总之现在这个房间是一个以大哥为中心的邻域或者叫拓扑空间……【你别说了你看看论文啊！
喜欢数学的人才是这个世界上最喜欢形而上学的人吧【抽泣
而且我一想到这个我就想到康德，我靠我感觉我现在去读康德恐能立即获得一种新的体验。【指至少康德在证明的概念还是个能想象出来的东西】
我理解了、我明天醒来就看到底有没有邻域语义的中文文献，然后硬塞进我的论文里介绍……
真是他妈的堪称离奇了，我一看别人的硕士论文，我看完就会觉得不过尔尔那我也行……他妈的我怎么做到每次都会突然就感觉自己行了但是其实不行啊！
说着又让我搜需要用的文献搜到我之前想报的中山珠海的那个跟我看着很合得来的教授的博士期间的论文……不是，哥，你，我，难道你注定要成为我的贵人？【什么东西
……哥简单易懂地让我马上理解了我前几天看懂了但是说不出来的那个东西……
目前是把框架模型语义写完了，然后感觉其实还得把closure property（这到底是翻译成闭包性质还是封闭性质啊！）加上更好，但是我愣加也不好说！让我再往里面塞点东西……
一想到昨天我导师给我发的信息我现在浑身上下充满了您骂得是您骂得对……但我也不知道为什么我一直很自信（……），可能哥们天生适合去当说一些自己半信半疑的东西的人……
看证明的时候听到外面有人不知道哪间房大声笑到我戴着耳机听到了，我当时就打开门左看右看眼神如同身背三十条人命……他妈的到底是谁这么开心！此刻在这世上有人在笑，有人在杀……
不过还好我找到了pacuit教授那本我要用的书，今天不杀了……
实在心里不安感觉我这个论文一直在介绍和翻译真的可以吗，就从我室友处得知大家都差不多让我心放肚子里翻译（……），我就美滋滋接着翻译了，翻出个弗兰肯斯坦的论文来……
今天学妹跟我说latex真有够难的，我回答“其实我最近都在用word敲公式”，其实想一想我现在写这么慢，我敲公式一个字母一个字符的，这也是功不可没……对不起学长！明明你叫我们一开始就学latex，我到我要毕业才明白这到底是有多事半功倍啊！
室友回来了，说伊论文字数不够，因为一个公式只给算一个字符，我说不会吧，一看我的一个fai蕴含Sfai都给我算三个字符。结果我室友说因为她全用插入公式写的所以都只有一个公式字符，我是一个字一个字敲的所以给我一个字一个字算……我靠原来我的笨蛋还给我添加了字数啊【？
肚子好饿但是今晚必须写到几天前就设定的字数了否则真的绝对毕不了业了……
最近看证明看着看着还涉及到我没学好的数理逻辑那边的一些证明……不是，我这三年这不是除了转行这个结论以外我什么都没学会吗！
当然，也可以说我转行去政哲的时候我最大的优势是清晰明确的论证完全性的能力，毕竟我学这些东西太多了我日常说话我自己的逻辑错误我都能在说完的瞬间就指出来……更别提看太多证明以后招致我对这个步骤是不是能每一步都对应上一步非常在意，毕竟否则就接不上……
看来除了逻辑本身以外我收获都挺大的……【流汗
好受不了啊，一周了我还在跟这个拓扑死死捆在一起……我在此之前对拓扑的了解就是，呃，大家知不知道一种把自己的头发当作束缚的方法的一种不需要额外道具的扎住头发的技法【？】，总之鄙人对拓扑的了解就是这样……【
实在没想到我随手乱买的陶哲轩实分析这本书在奇奇怪怪的时刻我突然就想起来它突然就用上了一点……谢谢你，Terence Tao……
淡淡地因为在word敲公式找不到box崩溃了……以后我再碰见同专业学弟妹我一定告诉他们latex的重要性就是防止你半夜写论文找不到box和diamond崩溃……
跑去别人的文本复制了一个以为终于解决问题了，结果是word给我的box符号显示了一个问号。问号？诶？你有什么疑问？你有什么不满！这个是由得了你的吗？！
正在想今天怎么到现在没想出来把什么东西塞进论文，抄笔记抄着抄着突然就知道把什么塞进我自己的框架的证明里了……谢谢你，pacuit教授！
前几天拜托学妹给我买清华的数学作业纸，正想着学妹怎么给我买成了感觉是b4的大小，今天写着笔记就发现大还是好啊不然根本没法把笔记写在旁边引过来啊！是小人有眼不识珠了！
pacuit教授你竟然现在只是副教授，我不服，我不服啊！（什么东西
明早上课于是现在就要睡了，然后转头发现，呃，呃呃一周过去只多了两千字这个效率最后一周就是地狱中的地狱了啊！！！啊啊啊你这家伙为什么写不出来东西啊啊啊啊（崩溃
极度怀疑把这些东西翻译完然后我冲进来做我都不知道对不对的证明，什么Ephi可推导M，w推导phi的真值集的补集不推导出phi，啊说错了这是定义……总之就是证明一下完全性以及诸如Srphi到psai即Sr phi则 Sr psai之类的，这些东西全写完我真心怀疑刚到一万五……
而且我真的会证一致完全吗，我靠，我真的知道什么是一致完全吗，我大大怀疑我自己脑子里现在的东西都是什么……
一旦看到别人用latex之类的敲出来的漂亮公式竟会有点恼怒……呃啊啊啊啊算了睡觉吧明天还要上课搞不好就直接开始讲柏拉图了which我到现在没时间预习所以还没看……虽然要论起来我早就看了完全还记得论might那一节……
敲了一通字现在就困了可他妈得了……
听复活给听精神了……好吧复活了我再写会……但说实在的我还能写什么，妈妈的，邻域语义我能抄的部分好像就要抄完了！
原本想糊弄，结果一开始写，意识到就算糊弄我也得先懂一些基础概念……但我没学过拓扑啊！