2023.05.21
https://gyazo.com/0a815c563dc7ee1ba5cd9b241280d8fe
前：
2023.05.20
後：
2023.05.22
#日報
思った
筑波大学の学園祭を支えるさくらのクラウド(外部記事)
チラ読みした感じだとこれはNixOSを使ったというより単に（パッケージマネージャとしての）Nixの範疇な気もする
https://twitter.com/SnO2WMaN/status/1659889804212043778
思った
Craigのトリック
や
Craigの補間定理
の
Craig
は
William Craig
であって，
Craig Smoryński
ではないということを知った
正確にはSmoryńskiの本名が
Craig Smoryński
であることを知った．
メモ
証明のGödel数
多変数関数の極値
読んだ
ゲーデルと20世紀の論理学 第3巻(本)
初めて1巻以外読んだけど面白いな
数学における証明と真理 第2部メモ
の証明は一部これを参照しろと書いてあるので読んでみている
いいね
https://open.spotify.com/album/0Pt4YCY8BAYnls5v16LRos?si=oYWnf-NxTyiL88QCPx5QfA
全部いいの凄すぎる
読んだ
ごきげんよう、一局いかが?(1)
ニンジャスレイヤー キョート・ヘル・オン・アース(12)