2024.08.05
https://www.youtube.com/watch?v=x2Uj_ILuNw0
思った
なんであれリファクタリングはつまらない
メモ
皆さんも貼ってみてくださいね
メモ
思った
今日形式化されたこと $ \bf LCの完全性 のみ トホホ…
メモ
公理$ \Gammaがフレームクラスを$ Pとして定義する：$ \mathbb{F} \vDash \Gamma$ \iff$ \mathbb{F}のフレームは全て$ Pを満たす
実は健全性，完全性を示すだけであれば片側は必要なく$ \impliesだけで良い．
もちろん逆も示すことが出来ることもある
ということも踏まえて，片側の方はDefineではなくCharacterizeと命名することにした．
思った
bilibiliの弾幕で「音MADが素材シリーズ」に相当する概念で「音MAD²」みたいな用語が流れてきていいなと思ったので勝手に使っていこうかな
メモ
https://gyazo.com/7dd7d3347da8a369bd0291601b3c3c2e
神