2024.07.14
https://gyazo.com/2af29d4b69878753553c2478635074bb
メモ
思った
今日はDJのmixを投稿する予定だったのにBPMが全然メッチャクチャになって終わった
わかったこと
ゆったりとした曲と激しめな曲を共存するのは不可能に近い
やった
$ \mathbf{GL} \vdash A$ \iff任意の有限推移木Kripkeモデル$ \mathcal{T}の根$ rで$ \mathcal{T}, r \vDash Aだということが知られている この事実を形式化しようとした
必要な道具立ては点生成モデルと木展開で,割とこれらの定義自体はすんなり行けそうだということがわかった 思った
大体$ 2^{4^n}ぐらい(大雑把な概算)