トップ «前の日記(2007-03-06) 最新 次の日記(2007-03-09)» 月表示 編集

日々の流転


2007-03-07 [長年日記]

λ. 健康診断

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

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

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

メモ

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

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 \[\preceq_R\] b ∧ b \[\preceq_R\] a」の部分は以下から言える。

  • \[\preceq_R\]\[\preceq\] より、a \[\preceq_R\] b ∧ b \[\preceq_R\] a ⇒ a \[\preceq\] b ∧ b \[\preceq\] a ⇔ a R b
  • R ⊆ \[\preceq_R\] と R-1\[\preceq_R\] より、a R b ⇒ a \[\preceq_R\] b ∧ b \[\preceq_R\] a
Tags: 論文

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

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

Tags: 英語