2022.10.24
https://gyazo.com/5b65841e1ed56fb92cdf89b727766652
前:
2022.10.23
後:
2022.10.25
#日報
観た
機動戦士ガンダム 水星の魔女 第4話
ぼっち・ざ・ろっく(アニメ) 第3話
素晴らしい!!
買った
408L目のペプシコーラを購入
読む
22/10/23 何故AIにはイラストを発注できないのか?(外部記事)
プログラミング言語の意味論と圏論(外部記事)
思った
田中一之
本書きすぎだろ!!!
Berryのパラドックス 各言語編
読んだ
数学のロジックと集合論(本)
どちらかといえば論理学寄りの人間のための
集合論
の本
記号論理講義(本)
圏論による論理学(本)
の著者と同じ,こっちのほうが新しく読みやすい可能性ある
ゲーデルと20世紀の論理学 第1巻(本)
数学基礎論序論(本)