日々の流転

λ. http://xmlns.com/wot/0.1/pubkeyAddress

ちょっと現実逃避に自分のFOAFファイルを弄っていたのだけど、WOTボキャブラリのpubkeyAddressの定義って分かり難いよなぁと思った。

• コメントの"present document"って最初はdomainのリソースのことかと思ったのだけど、どうやらwot:pubkeyAddressの使われたRDFファイルの事らしい。そんなのアリかよ!? (T_T)
• それから、domainの方は実際にはwot:PubKeyのようだけど、それなら最初からResourceではなくwot:PubKeyと書いておいて欲しいものだ。

<rdf:Property rdf:about="http://xmlns.com/wot/0.1/pubkeyAddress" 
  rdfs:label="public key address" 
  rdfs:comment="The location of the public key used to sign the present document" >
  <rdfs:domain rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource" />
  <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource" />
</rdf:Property>

λ. "The Haskell Road to Logic, Math and Programming" by Kees Doets and Jan van Eijck

メモ。なかなか面白そう。ドラフトが公開されている。

λ. クイズダービー

遠山さんに教えてもらって、ようやく2日の日記のツッコミの元ネタを理解する。一番年代が近いはずのささださんが知っているのに、これまで知らなかったのがなんだか悔しい。