トップ «前の日記(2004-01-09) 最新 次の日記(2004-01-11)» 月表示 編集

日々の流転


2004-01-10 [長年日記]

λ. 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

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

The Haskell Road To Logic, Maths And Programming (Texts in Computing)(Kees Doets/Jan van Eijck)

Tags: haskell

λ. クイズダービー

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

本日のツッコミ(全1件) [ツッコミを入れる]
ψ はら (2004-01-14 11:27)

ネタは分かってもなかだ氏の意図不明のままね。しかし当時からはらさんは鬱だったなあ。