このシリーズの一番最初に,「なぜ包括原理」というタイトルで書かせてもらいました.でも(その1)で書いたOWLにおける「包括原理」と(その2)で書いた集合論の「包括原理」がどうしても合わなくて,これが不思議だったのです.違うものだということは分かるのですが,なぜ違うことを同じことのように言っているのかが分からなかったのです.だって,それでOWL-DL派は「包括原理はパラドックスを導く」とRDFを攻撃しているのですからね. それが,最近,ひょっとしたらこれのせい?というのが見つかったのです.ここからはあくまでも,私個人の推測ですから,それを最初にお断りしておきますが,ここは日記ですからね.日記として以下に,大胆に書かせていただきます. Google.com in Englishで,「list comprehension」としてググると,いくつかの記事が出てきますが,そうですね,wikipedi