私の苦手はさておき、研究集会のコミュニケーション難度ってけっこう高いと思うんですよね。まあ、社会って大体そうなのかもしれないが……。

顔見知りが大量にいるのに話しかけられずにただ佇んでいるのいつもの研究集会すぎる

ウェブ検索で 4 件しか出てこないワードを ChatGPT が知らないのは許してあげてほしい

古典論理に ∃x A(x) → ∀x A(x) を加えても矛盾しないってなんだそれ……と思ったけどモデルの濃度が 1 以下みたいな？　h-level 1 みたいなアレか？

直観主義述語論理に Drinker's paradox を加えると選言特性は成り立つが存在特性は成り立たないらしい

やっぱり伝統的なロジックの定式化にこだわる必要があんまりわからんのですよなあ

勉強すること多すぎるなあ

眠い

ちょっと前に様相 μ 計算の概要を少しだけ眺めたのが効いてきている

グラフ理論の問題を様相論理で書き直しまくると何か見えるかもという話っぽいなあ