2007-03-07 [長年日記]
λ. 健康診断
内定先の健康診断に行ってきた。
λ. ⊤⊤-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 RTT b) を示しているが、a RTT 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.
「誰にも頼るな」という意味。
[ツッコミを入れる]