今天学习的时候狠狠地一边抄笔记默念ψ属于p一边“迟早把大家都杀了”……这反而佐证了我精神很好(……受不了了我真的能做这种东西再做四年吗,等我全学会了我真的会把大家都杀了吧(呆我不然还是去考政治哲学吧我什么都能读……(没戏了!)
今天跟学妹吐槽说我觉得模态逻辑做的东西这些用可能世界语义学做出来的系统都超他妈trivial,结果学妹说她们上次也这么问老师,结果老师说从数学角度就比较trivial,但是逻辑把这个能够可视化。我:就是变得显而易见的trivial。啊啊啊啊啊我不要做了啦!!!好虚无的成果啊!!!!
不过中午吃了学妹的软饭,伊请我喝了奶茶,我今天就是软饭学姐【……】
那年的廣場,那些年的廣場,讓我們重造廣場。手機App:https://tooot.app/
今天跟学妹吐槽说我觉得模态逻辑做的东西这些用可能世界语义学做出来的系统都超他妈trivial,结果学妹说她们上次也这么问老师,结果老师说从数学角度就比较trivial,但是逻辑把这个能够可视化。
我:就是变得显而易见的trivial。
啊啊啊啊啊我不要做了啦!!!好虚无的成果啊!!!!