2024.05.16
https://www.youtube.com/watch?v=QUA4oIrD9Qg
前:
2024.05.15
後:
2024.05.17
#日報
思った
Latchezar Dimitrov
がどういうアンテナで曲を集めているのかさっぱりわからない.
Memo
Semantics for minimal logic
最小命題論理の意味論
A. Colacito, D. de Jongh, A. L. Vargas; "Subminimal Negation"
https://eprints.illc.uva.nl/id/eprint/559/1/PP-2016-23.text.pdf
思った
眠い 苦しい 助けてほC
お知らせ
https://github.com/iehality/lean4-logic/discussions
iehality/lean4-logic
のDiscussionがオープンしました.
皆さんも論理学を形式化するアイデアを出したりしてみよう
いいね
https://www.youtube.com/shorts/bClgbDeBKyE
Hideki Naganuma - GET ENUF
ラビットホール