generated at
2023.05.21

前：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)