2023.08.12
https://gyazo.com/3dc0b408fb3d33454c2c349c30b9bf12
ワルシャワ大学図書館の像
正面から映せよと思う
前:
2023.08.11
後:
2023.08.13
#日報
やった
連結の理論
を
Lean 4
で形式化するやつを進めた
Witnessに基づく乗法の形式化を素朴に行ったが,意味がよく分かっていないまま形式化したのでよくわかっていない
Grzegorczykの元論文をとりあえずまず読んだほうが良い
観た
生徒会役員共*
を全部観た
ただただ力押しで物語の根幹的な問題が解決されたの力押しすぎて最強だった
知った
P.Blackburn, M. de Rijke, Y.Venema; "Modal Logic"
って無料のpdfあるんだということを知った
読んだ
スチュワート・シャピロ『数学を哲学する』