2023/02/07

やったこと

• 通信工学
• 本読んだ

通信工学を少しやった。
映画観たかったけど時間無かった…

思ったこと

『入門！論理学』をだいぶ読み進められた。 述語論理や量化の話が出てきてプロ言でやったやつだ！となった。 本読み終わってからプロ言のスライド見返したらちゃんと理解できるかも。
ゲーデルの不完全性定理の話が出てきて熱すぎた。

今日の英会話

https://eikaiwa.dmm.com/app/daily-news/article/major-earthquake-kills-thousands-in-turkey-and-syria/lpS_DqY6Ee2k6bMq5eQpvQ

トルコとシリアでの地震の話。