2023.11.08
https://gyazo.com/9f2a23904f9a2c16fcf8d21c4a7a8364
https://en.wikipedia.org/wiki/Second-order_logic
なぜ？
前：
2023.11.07
後：
2023.11.09
#日報
観た
陰の実力者になりたくて！ 2nd Season; 第6話「」
ありえないことが置き続けていおる
メモ
矛盾許容論理
について訊かれて困ったため少し漁ったが，
関連性論理
って
矛盾許容論理
の一種なの？
矛盾許容論理
は
爆発律
を排除した論理という
WIkipedia
の解説を踏まえると，それは
Johanssonの最小論理
と何が違うのかよくわからない．どういうことなんだろう？
思った
今日はまあまあ何もしなかった．
やった
eslint-plugin-tailwind
及び
prettier-plugin-tailwind
を導入した．
clsx
でおれは文字列の配列にしていたため信じられないくらいメチャクチャになってた．