2024.04.04
https://gyazo.com/abddc9149cde961d9dd26366b24a9874
Ethno; "オンライン空間の文化とその実践に関する人類学的考察―「淫夢」を事例として― "
前:
2024.04.03
後:
2024.04.05
#日報
メモ
A. Chagrov, M. Zakharyaschev; "Modal Logic" Chapter.1 読書録1
Post完全性
と
Halldén完全性
については知らなかった.そんなのあるんだ
メモ
写経しかしてない
思った
Geach論理
を形式化しようとした結果全ての性質は
Geach合流性
に絡め取られてこれはこれですごい面倒だということになってきた
結局,個々の具体的な論理の性質が
Geach合流性
のコンビネーションで特徴づけられることが証明できたとして,
Geach合流性
そのままで扱うと非常に面倒だから結局は
推移律
とかの具体的な性質に帰着させなければいけなくてあまり旨味が…
観た
ぱにぽにだっしゅ!
の1話を観た.全てが散漫としており,メチャクチャだった