2021.11.12
https://gyazo.com/72c369d4dea5537830e63b6a79078b18
DORCELESSNESS
前:
2021.11.11
後:
2021.11.13
#日報
思った
論理学Ⅰ(山口尚の講義)
論理
おもしろすぎ
今週からノートパソコンでマウスを使わない生活をしていくことにした
いい加減に 慣れろ と思った 慣れるといいな…
読んだ
メタ倫理学入門 第5章
途中
学んでみよう!記号論理 第1講
読みて〜
Coq/SSReflect/MathCompによる定理証明 (本)