2023.05.26
https://www.youtube.com/watch?v=tJQb5BP1nTU
TVアニメ『ダンジョン飯』ティザーPV
TRIGGER
すぎる！！
TRIGGER
さん、ありがとうございます♪
前：
2023.05.25
後：
2023.05.27
#日報
やった
特に意味はないが
ArchLinux
に入れ直した
読んだ
新井敏康『数学基礎論』
補強版欲しすぎる（図書館にあるのは改定前）
メモ
数学における証明と真理 第1部メモ
様相論理のLindenbaum補題
多分
Lindenbaum補題
と呼ばれるものは様相論理に関わらず存在するらしい
正規様相論理の完全性定理
https://dic.nicovideo.jp/b/a/ドナルド/661-#676