日々の流転

λ. 健康診断

内定先の健康診断に行ってきた。

λ. ⊤⊤-closed relations and admissibility by Martín Abadi

一ヶ月前にKeisukeNakanoさんに紹介してもらったのをようやく読んだ。

メモ

Theorem 2 の証明の前半では R⊇{(a,b)∈A×B | a b ∧ b a} だけ示して R⊆{(a,b)∈A×B | a b ∧ b a} は示していないが、後者は R ⊆ と R^-1⊆ より自明。

Theorem 2 の証明の後半では R が TT-closed であることを示すのに、¬(a R b) ⇒ ¬(a R^TT b) を示しているが、a R^TT b ⇒ a R b を示すようにした方が全体の流れが分かりやすくなると思った。

Corollary 3 の「It follows that: a R b ≡ a b ∧ b a」の部分は以下から言える。

• ⊆ より、a b ∧ b a ⇒ a b ∧ b a ⇔ a R b
• R ⊆ と R^-1 ⊆ より、a R b ⇒ a b ∧ b a

λ. 今日の英語: Don't count on anyone except yourself.

「誰にも頼るな」という意味。