2021年12月9日，周四。
满课加休息，今天除了上课焦藏藏都没怎么和马飞互动了。上课倒是有小互动。
上午的高级计算机系统结构，相较于其他专业课，更偏向“计算机科学”一点。讲完了第七章，需要写篇课程论文。
下午的计算机程序理论与模型，内容当然是形式语言与自动机理论，上了第四章第五章，老规矩，仍然有一些课堂外内容。焦藏藏左边是胡可杰，在用华为平板看论文，右边是阿正，在用华为平板看论文，焦藏藏在用iPad2020看《智者的思辨花园》显得格格不入，不过它是讲逻辑学的，倒是和课程内容有相契的地方。
焦藏藏的手机已经没电了，为了督促自己去实验室，焦藏藏把手机充电器长期放在实验室，长时间不去实验室自然会手机没电。今天是因为一天的课，所以从昨天就没充电了。焦藏藏的手机是四五年前的华为荣耀8青春版，那个时候荣耀还是华为的。现在感觉价钱已经是三四折了。不过焦藏藏对阿正说，把所有娱乐软件放在平板上手机只有必要软件也不是不能用，卡的有限，不至于一两年就需要换手机的地步。
.
.
.
.
2021年12月10日，周五。
上午王SW日常过来看看焦藏藏，问进度，push一下。周二上午给了个机械臂，是DOBOT Magician，问能动不，焦藏藏还没看文件没了解还没开始玩，这两天不是上课就是在焦虑和陈博士同台展示的事。还有个高级分布式的课堂展示，小组展示人自然是焦藏藏，毕竟阿龙、小芳拉焦藏藏就是为了这个。还好老师直接说了分工，焦藏藏也就不用机器学习那样搞队友心态了。
马飞最近一直在看论文。
中午焦藏藏去和马飞、马涛、马负乘、陆CY、路人B一起吃饭。路人A名字是向Z，和另一个人大概是罗RX一起吃饭了。
马飞的笔记本到了！昨晚焦藏藏才和小亮聊到马飞买了小亮同款笔记本。马飞今天LCY同款的笔记本R9000P就到了，3060，2.5K，165Hz还是多少。焦藏藏今年放弃买笔记本了。
晚饭马飞马负乘们有不适合焦藏藏去的聚餐，焦藏藏有先行超能力，正好也没准备和他们一起吃晚饭。
下午睡完午觉焦藏藏去操场锻炼了一会儿，因为没戴眼镜，所以观看妹妹的体验极差。回寝室点外卖下棋洗澡一条龙。最后心血来潮剪头发。
阿龙喊打游戏。焦藏藏暂时不想打就推了。
焦藏藏搬着垃圾桶和凳子，对着寝室门后的镜子开始剪头发。
这次焦藏藏没有故作聪明剪后面的，把中间的修了修，把两边稍微剪的多了点。等拿着垃圾和长鼠标垫下楼时，焦藏藏觉得有头发渣滓在皮肤表面触动敏感肌，于是转回寝室脱掉上衣甩了甩衣服。
到实验室四楼，远远看到马飞在走廊准备打电话。于是直接跟过去。
走进，把马飞吓一跳，心想这杀马特他喵谁啊？第二眼才认出是老焦。
打完电话，马飞激动地说：“你剪头发了？”
“自己剪的。”焦藏藏说。
“来给小武看看！”
于是进408找小武。把小武也惊到了。吐槽了一会儿。小武说有地方没剪好，焦藏藏表示可以接受，毕竟是自己剪的。顺从小武的示意，焦藏藏稍蹲以便娇小可爱的小武从顶层设计角度观察焦藏藏的new look。
当然虽然褒贬不一但是整体是优大于劣的，有些小瑕疵，但毕竟是自己剪得。
“狼尾？”其他人也惊讶。
“我已经三年没去理发店了！”焦藏藏在莫名其妙的地方意外地有种自豪感。
然后去给马负乘、马涛看。哈哈，也有惊有讶的。
准备走的时候，马负乘把今天聚餐留的带回来的饮料给老焦，表示诚意。
.
.
.
.
对于焦藏藏来说，今天是14周周五，下周四考英语。还有刘MF的课有个作业，下周交估计。下周王ZH的课要结课了，要写课程论文。
所以这几天的重点在于：英语考试准备、刘MF作业、王SW老师要求机械臂动起来、王ZH课程的课程论文。
刘MF老师的《计算机程序理论与模型》继续发了些课程相关资料。
王ZH老师也转发了课程论文要求。该文件在大群也有秘书徐FF转发。学生活动相关负责人刘翌菲最近在大群也上传了活动参与、获奖证明电子档（带章）。
.
焦藏藏室友汪YK昨晚不在寝室，问说是刷夜了，还编了个瞎话说最近要考研了。真他喵的傻憨。
.
.
.
.
2021年12月11日，周六。
下周考英语。硕士生英语，有些人是不用考的。免修的和提高班的。
早上焦藏藏去看马飞，他2.5K高刷3060的笔记本玩APEX滂爽。马涛凌晨一点半还在群《约绳鸽游搞学习》里发消息，估计早上是不会很早来实验室了。
焦藏藏到实验室，杨LY永远在学习，不是课程学习就是研究学习。嗯，研二的学姐基本上也是常驻嘉宾了。有时候焦藏藏常常有一种这个实验室只有他一个男生的错觉，实际上这个实验室还有一个社会带哥风格的蔡同学以及两个学长，一个研三的长年不在，一个额只有周四上午贺老师开组会他才会出现。因为他们三个基本不在实验室，平常呢就焦藏藏一个男生。好在座位是最边角的地方，而且无论离谁都有相当的距离，加上不是一个实验室的，也不怎么交流，焦藏藏也就比较自在了。
《约绳鸽游搞学习》群里，马涛是群主，代号：讨厌出门。
马飞是管理员，代号：不想喝水。
小芳是群成员，代号：局外人。
马负乘是群成员，代号：讨厌起床。
焦藏藏是群成员，代号：喜欢游戏。
马涛小号群成员，代号：喜欢美女。
.
.
.
.
■■■■焦藏藏记仇日记■■■■
2021年12月10日
马飞马负乘他们出去聚餐没有喊我，这个仇我记下了。
马负乘把聚餐的饮料偷偷带给我，这个仇消掉。
2021年12月10日
马飞们走的时候又没喊我，这个仇我记下了。
晚上马飞艾特我看美女、给我视频点赞，马负乘发涩图，马涛表示慰问，这个仇消掉。
.
.
.
.
对形式逻辑思考
我最初接触到“哲学”，是在高中的某一堂课上，当时我的高中语文老师提到了“发展的、辩证的眼光看待事物”，她告诉我们，这是哲学，或者说，哲学的一部分。“哲学”这个词，第一次从我认为的权威口中说出，从此我萌生了探索它的想法。但并未真正开始实施，因为我是高中生，我得参加高考。
有一次高中放月假我照常在网咖包夜打游戏，打累了的找动漫看的时候，当时那个网站“这里是兴趣使然的无名小站”把动漫和日剧常常搞一起，我就看到了《尼采老师》这部日剧，由此，我就对“我是太阳”、“每一个不曾起舞的日子都是对生命的辜负”的尼采产生了兴趣。
正好语文课程要求提升课外阅读量，我就买了《尼采生存哲学》作为课外读物。
再后来我不单满足尼采，虽然我蛮喜欢他，但我知道，哲学不只是手中的尼采和课上的马克思，于是我逐渐阅读了其他和哲学有关的书籍，比如斯通普夫的《西方哲学史》、有趣的《柏拉图和鸭嘴兽一起去酒吧》，还有最近在看的《智者的思辨花园：逻辑辨谬与求真趣谈》。
从刘老师讲计算思维时，我就时不时会想到哲学中关于“逻辑”的东西。“逻辑”在从小到大的数学课理论相关中并不少见，即使我们并未专门接受过逻辑学的教导，我们也耳濡目染对逻辑学有相应的概念。溯源追本，我在《西方哲学史》的亚里士多德那里找到了源头：“亚里士多德发明了形式逻辑，他也提出了分门别类的诸科学的思想”。
这大概就是“形式逻辑”最初的模样。它的基础就是我们今天习以为常的三段论：大前提、小前提再到结论。当然，现在逻辑体系也是有所发展的。
我们来看“形式逻辑”这四个字，“形式”我们习以为常，什么走个形式的太熟了，同样“逻辑”我们也很熟稔，“这不符合逻辑”、“简单的逻辑推导……”。但是把“形式”和“逻辑”放在一起组成“形式逻辑”，我们可能就要懵圈了，这个“形式逻辑”是个什么玩意儿？
这里暂且不去管它什么定义，我说说我的粗浅理解。对于“逻辑”，其实我感觉是隐藏在事物之中的深刻的原理、本质一类的存在，就像“人终有一死、柏拉图是人、柏拉图终有一死”，我们可以发现这几乎是“理所当然”的，没错，我认为逻辑就是要理所当然的。但是这样还没体现出逻辑的具体感官，再举个反例：“金星上有人并且金星上没人”，无论“金星上有人”是否为真，我相信诸位都能判断“金星上有人并且金星上没人”这整个句子为假，也就是不符合逻辑的。这就是逻辑的某种体现。我认为呢，逻辑本身是抽象的，但逻辑蕴涵在具象之中。而形式，是妥妥的抽象，把“逻辑”加上形式，我的理解就是强调“逻辑”的抽象性，把逻辑从具体的事物中“拿”出来，就相当于抽出了逻辑的灵魂，这个脱离具象的逻辑就变成了“形式逻辑”，这就是我对形式逻辑的理解。
形式逻辑，就是研究人的思维本身的规律，我的理解是“规律的规律”。刘老师《计算机程序理论与模型》这门课主要上的内容还是形式语言与自动机理论，这里面呢，以二、三章举例，正则文法呢擅长语言产生，自动机擅长识别，具体的某个正则文法就是由其逻辑产生语言，自动机呢也有其识别语言的逻辑。具体可能用到的概念、判断、推理（演绎、归纳）就是形式逻辑的内容了。所以我对形式逻辑的思考就是它是相应理性思维的的核心，有一系列主客观相统一的关于思维的理论。
以上■■■■■■■■■■■■■■■■■■■■■■关思考。
