2023.10.15
https://gyazo.com/9110186180bf5cf6ed1cec92526bc360
https://gyazo.com/703c4cd3368b8ff8ac89347dc3a5564f
親しみやすいアイコンが新登場
前:
2023.10.14
後:
2023.10.16
#日報
メモ
思った
冬なのにコバエが湧いてたらもう夏に対しての冬の優位性が一切無くなるけど、それで良いのか?
メモ
ビュー; "ダウナー"
https://www.pixiv.net/artworks/70884478
これ今でも好きだな
メモ
直観主義様相論理
って
古典命題論理
のトートロジーを
直観主義命題論理
に置き換えたものとして解釈していいのか