6/20 當初看到這題第一眼時，整個人直接傻掉，連題目的意思都看不太懂... 題目網址: https://inst.eecs.berkeley.edu/~cs61a/fa19/hw/hw02/ Church Numerals 是美國數學家與邏輯學家 Alonzo Church 發明的數字系統，他發明的這套數字系統不需要倚賴我們原來的數字123, 它純粹是以邏輯建構出來的，而它可以進行加法、乘法、Boolean 運算等數學運算。 這題是讓我們訓練對 Higher Order Fuction 的感覺，意思就是函數的函數的函數..., 所以在做的時候頭腦很容易就打結。 題目

2020/6/18 正常使用有線網路連接後，再照著網路上一般linux電腦設定wifi的方式進行設定應該是不會出問題。 但是我這裡的情況是接有線網路相當麻煩，我只好直接使用wifi，但是在上一篇 在Raspberry Pi 4 安裝 Ubuntu 20.04 中下載的 Ubuntu 映象檔只包含了必要的一些核心，wifi的初始化設定變得比較困難，甚至無法使用一些net tools 如 ifconfig 來查看網路資訊，因此我看了很多網路上的解法，最後解決的方式竟然意外的容易。 設定 Wifi 回到在Raspberry Pi 4 安裝 Ubuntu 20.04 的第2和第3步驟之間，此時將安裝好的 SD card 在電腦中打開，可以在其中找到一個README文件，打開後可以看到不同文件的設定以及其代表的意義，可以看到與網路相關的資料放置在network-config中。 用VScode打開network-config文件後，將黃色的框內的資訊取消註解 (把#刪掉)，access-points下面填入wifi名稱，記得加上雙引號，password 填入密碼。

2020/6/18 今天看到 ROS 2 Foxy Fitzroy (可安裝於Ubuntu 20.04) 釋出的消息，趕快將塵封了好久的rpi4拿出來玩玩，順便紀錄一下從安裝到設定的一些過程。 上官網下載Ubuntu 20.04的映象檔 官網: https://ubuntu.com/download/raspberry-pi 我下載的是64bits for Raspberry Pi 4 Ubuntu 20.04 LTS (long term support) 下載完如果是個壓縮檔，就要解壓縮

2020/6/17 在Linux環境裡，vim的設定都是在家目錄下.vimrc這個隱藏檔裡面， vimrc裡的語法就是能夠直接打在vim Command mode的指令。 vimrc示意圖 vimrc 以下介紹一些我覺得很方便的設置