2025.06.02
https://gyazo.com/37d5d4a4e61019d757c64780de9c2b98
日報を書き始めてから5周年
前:2025.06.01
後:2025.06.03
#日報
思った
https://gyazo.com/b4369954df9675f8ae3ceaf08e09a9e5
Logic of the End of the World
$ \bf S4.4のフレームは1点と無限点を含むクラスタで特徴づけられる.
1点を現在(now),無限点を永劫(eternal)と考えるとキリスト的な千年世界っぽく見える,ということからの類推らしい.
物騒すぎ
Zeman 1971
カノニカルらしい(G. H. Hughes, M. J. Cresswell; "A New Introduction to Modal Logic")のだが,どうやってやればいいのか唸ること数時間
次のユークリッド性に近い性質に関して:
$ x R y, x Rz, x \neq y \implies zRy
存在系ではない性質に関してのカノニカル性の示し方わからない…
普段Geach公理でやっていたのが完全に仇になってる
思った
倫理講習を受けた
様相論理で安全保障を脅かせるのなら…
いいね
♪ペィペイ
https://nicothumb2img.vercel.app/image/sm42130712#.png https://nico.ms/sm42130712
これ今まで知らんかったの悔しい
ネオユニ(sm45016680)
https://nicothumb2img.vercel.app/image/sm45016680#.png https://nico.ms/sm45016680
もってけ!セーラーふくEX.Mottekremixの音MADあるのすごすぎる
ルビィちゃんはチョコミントよりもダブステップの事が好きなのか…
https://nicothumb2img.vercel.app/image/sm45045501#.png https://nico.ms/sm45045501
これなんの曲だっけ?