第371章 馬飛給健身房做慈善之後直接買下小亮
2021年12月9日，周四。
滿課加休息，今天除了上課焦藏藏都沒怎麽和馬飛互動了。上課倒是有小互動。
上午的高級計算機係統結構，相較於其他專業課，更偏向“計算機科學”一點。講完了第七章，需要寫篇課程論文。
下午的計算機程序理論與模型，內容當然是形式語言與自動機理論，上了第四章第五章，老規矩，仍然有一些課堂外內容。焦藏藏左邊是胡可傑，在用華為平板看論文，右邊是阿正，在用華為平板看論文，焦藏藏在用iPad2020看《智者的思辨花園》顯得格格不入，不過它是講邏輯學的，倒是和課程內容有相契的地方。
焦藏藏的手機已經沒電了，為了督促自己去實驗室，焦藏藏把手機充電器長期放在實驗室，長時間不去實驗室自然會手機沒電。今天是因為一天的課，所以從昨天就沒充電了。焦藏藏的手機是四五年前的華為榮耀8青春版，那個時候榮耀還是華為的。現在感覺價錢已經是三四折了。不過焦藏藏對阿正說，把所有娛樂軟件放在平板上手機隻有必要軟件也不是不能用，卡的有限，不至於一兩年就需要換手機的地步。
……
2021年12月10日，周五。
上午王SW日常過來看看焦藏藏，問進度，push一下。周二上午給了個機械臂，是DOBOT Magician，問能動不，焦藏藏還沒看文件沒了解還沒開始玩，這兩天不是上課就是在焦慮和陳博士同台展示的事。還有個高級分布式的課堂展示，小組展示人自然是焦藏藏，畢竟阿龍、小芳拉焦藏藏就是為了這個。還好老師直接說了分工，焦藏藏也就不用機器學習那樣搞隊友心態了。
馬飛最近一直在看論文。
中午焦藏藏去和馬飛、馬濤、馬負乘、陸晨陽、路人B一起吃飯。路人A名字是向Z，和另一個人一起吃飯了。
馬飛的“陸晨陽”到了！昨晚焦藏藏才和小亮聊到馬飛買了小亮同款筆記本。馬飛今天陸晨陽同款的筆記本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日
馬飛們走的時候又沒喊我，這個仇我記下了。
晚上馬飛艾特我看美女、給我視頻點讚，馬負乘發澀圖，馬濤表示慰問，這個仇消掉。
……
對形式邏輯思考
我最初接觸到“哲學”，是在高中的某一堂課上，當時我的高中語文老師提到了“發展的、辯證的眼光看待事物”，她告訴我們，這是哲學，或者說，哲學的一部分。“哲學”這個詞，第一次從我認為的權威口中說出，從此我萌生了探索它的想法。但並未真正開始實施，因為我是高中生，我得參加高考。
有一次高中放月假我照常在網咖包夜打遊戲，打累了的找動漫看的時候，當時那個網站“這裏是興趣使然的無名小站”把動漫和日劇常常搞一起，我就看到了《尼采老師》這部日劇，由此，我就對“我是太陽”、“每一個不曾起舞的日子都是對生命的辜負”的尼采產生了興趣。
正好語文課程要求提升課外閱讀量，我就買了《尼采生存哲學》作為課外讀物。
再後來我不單滿足尼采，雖然我蠻喜歡他，但我知道，哲學不隻是手中的尼采和課上的馬克思，於是我逐漸閱讀了其他和哲學有關的書籍，比如斯通普夫的《西方哲學史》、有趣的《柏拉圖和鴨嘴獸一起去酒吧》，還有最近在看的《智者的思辨花園：邏輯辨謬與求真趣談》。
從劉老師講計算思維時，我就時不時會想到哲學中關於“邏輯”的東西。“邏輯”在從小到大的數學課理論相關中並不少見，即使我們並未專門接受過邏輯學的教導，我們也耳濡目染對邏輯學有相應的概念。溯源追本，我在《西方哲學史》的亞裏士多德那裏找到了源頭：“亞裏士多德發明了形式邏輯，他也提出了分門別類的諸科學的思想”。
這大概就是“形式邏輯”最初的模樣。它的基礎就是我們今天習以為常的三段論：大前提、小前提再到結論。當然，現在邏輯體係也是有所發展的。
我們來看“形式邏輯”這四個字，“形式”我們習以為常，什麽走個形式的太熟了，同樣“邏輯”我們也很熟稔，“這不符合邏輯”、“簡單的邏輯推導……”。但是把“形式”和“邏輯”放在一起組成“形式邏輯”，我們可能就要懵圈了，這個“形式邏輯”是個什麽玩意兒？
這裏暫且不去管它什麽定義，我說說我的粗淺理解。對於“邏輯”，其實我感覺是隱藏在事物之中的深刻的原理、本質一類的存在，就像“人終有一死、柏拉圖是人、柏拉圖終有一死”，我們可以發現這幾乎是“理所當然”的，沒錯，我認為邏輯就是要理所當然的。但是這樣還沒體現出邏輯的具體感官，再舉個反例：“金星上有人並且金星上沒人”，無論“金星上有人”是否為真，我相信諸位都能判斷“金星上有人並且金星上沒人”這整個句子為假，也就是不符合邏輯的。這就是邏輯的某種體現。我認為呢，邏輯本身是抽象的，但邏輯蘊涵在具象之中。而形式，是妥妥的抽象，把“邏輯”加上形式，我的理解就是強調“邏輯”的抽象性，把邏輯從具體的事物中“拿”出來，就相當於抽出了邏輯的靈魂，這個脫離具象的邏輯就變成了“形式邏輯”，這就是我對形式邏輯的理解。
形式邏輯，就是研究人的思維本身的規律，我的理解是“規律的規律”。劉老師《計算機程序理論與模型》這門課主要上的內容還是形式語言與自動機理論，這裏麵呢，以二、三章舉例，正則文法呢擅長語言產生，自動機擅長識別，具體的某個正則文法就是由其邏輯產生語言，自動機呢也有其識別語言的邏輯。具體可能用到的概念、判斷、推理（演繹、歸納）就是形式邏輯的內容了。所以我對形式邏輯的思考就是它是相應理性思維的的核心，有一係列主客觀相統一的關於思維的理論。
以上■■■■■■■■■■■■■■■■■■■■■■關思考。