2025.01.24
https://www.youtube.com/watch?v=Ds1GIvZQ-1Q
なんかすごい聞き覚えあると思ったら普通に聞き覚えありすぎて笑ってしまった
前：
2025.01.23
後：
2025.01.25
#日報
メモ
https://sno2wman.github.io/notes-on-nonstandard/main.pdf
算術の超準モデル
や
Tennnenbaumの定理
などについてのメモ．
overspill
はすごい
メモ
「この
GitHub Actions
は◯月◯日に成功しました」のバッジを作り，
PDF
や
PDFのWebページに貼る．
するとこのPDFは何日に更新されたものかがPDF外からもわかる
ちょっとおもしろいから作ってみようかな