2025.10.17
https://gyazo.com/1fba3e1b8a5f1ab584a122bec9c8c339
管理者権限
思った
映像作らないとヤバい！！！！
メモ
$ \bf EMK = EMCK（つまり$ \mathbf{EMK} \vdash \mathsf{C}）
こっちは形式化した．
更に$ \mathbf{EMC} = \mathbf{EMCK}
こっちは証明がわからない．最悪意味論でやればよいと思っている
メモ
$ \mathrm{Ext}\mathbf{K}上でUnion-splittingという性質を持つかは決定可能か？という問題があって，解いた．という論文 思った
代数的意味論おもしろそうだなと思っているけどそろそろ本腰を入れていきたい 思った