2025.06.18
https://gyazo.com/e42cca1011c8d5a036699197957c7ed8
前:2025.06.17
後:2025.06.19
#日報
思った
私はアニメよりもアニメーションが好きだということと、システムや設定やメタのことばかり考えてしまうことがわかってきた 画面がシャカシャカ動いているとそれだけで楽しい
#アニメvsアニメーション
以前話した数学基礎論屋の人に「数学を形式化することは有用だが神秘的なものは失われる」という世界観で生きている人がいて意外だった
数学的神秘について
メモ
$ \sf S4.2Topだが普通に$ \sf S4.2.1だった.
思った
ゼミの時間配分が上手くいかず…
思った 
観た
ジークアクス #11
エウレカセブン ハイエボリューション & レディ・プレイヤー・1
アポカリプスホテル #11
背景美術が決まりすぎ
メモ
全ての数学は無矛盾な$ \sf ZFCで展開できるという前提は一旦認めるとしてどういう数学的実在論/前提/仮定/立場を認めるか?:数学の世界とはどのようなものか?:というものを考えるとこれは本当にKripke意味論の意味での世界というものに対応する構造を入れることが出来る:集合論的多元宇宙という分析があり,これを$ \sf S4.2などの様相論理によって分類できる,みたいな捉え方があった.