3・4限は出ませんでした。というか頭痛のため3限出ないって決めて寝たら夢の中にも現実の影が食い込んできて起きても頭痛が続いてました。で4限はリスク小さいしもういいや…ってことに。生命科学はなんとか立ち直って出て帰りにIIDXやってきたりしましたがや…

前日に更新作業したから危なかったぜｳﾞｧｰ 1限:記号論理学 今日は述語論理の「量化子」の話。∀とか∃とか。 「xはyを愛する」をLxyと書くことにすると、 ∀x∃yLxyとするのと∃y∀xLxyとするのとでは大違いという話。 前者では「すべての人は誰かを愛する」という…