名古屋大の計算可能性理論のpdf(リンク1, リンク2)を軽く読んだら全然初学者向けではなかったので、もうちょい初学者向け寄りの資料を見つけてきた。都立大の学部向け講義っぽい。

https://mathsuzuki.fpark.tmu.ac.jp/lec/np20/computability_part0_j3.pdf

https://mathsuzuki.fpark.tmu.ac.jp/lec/np20/computability_part1_j3.pdf

https://mathsuzuki.fpark.tmu.ac.jp/lec/np20/computability_part2_j3.pdf

電通大の資料も良さそう？

http://dopal.cs.uec.ac.jp/okamotoy/lect/2020/comp/handout01.pdf

---

今日は早起き出来た。そのままラジオ体操をした。午前中に用事があったのでちゃんと活動できた。