日々の流転

λ. WWW2005　2日目

今日は少し寒いな。朝食は近くのサンエトワールというところでパンを食べた。比較的美味しかったが、かかっている音楽が微妙っぽかった。

で、今日のしょっぱなは Tim Berners-Lee の基調講演「Web for real people」。彼が話すのを直接見るのは初めてなのだけど、想像してたよりもずっと面白い人だった。 ところで、会場で黒子のかっこをした人*1を見かけたのだけど、その頭の後ろにCSSの書かれた紙が張ってあって面白かった。いわく、

@media real{
  kuroko{
    display: none;
  }
}

お次はCan semantic web be made to flourish? というパネルセッションにお手伝いに入った。神崎さんを目撃。

参考

• WWW2005パネル・ディスカッション (The Web KANZAKI)

お弁当の配布を手伝って、それからお弁当を食べる。その後 Yuji Inoue 氏の基調講演を訊いて、それから「Web Application Design」へ。

最後に、「Foundations And Future Directions of Web Services」。このトラックでは、Choreographyに少し興味を持った。なんでも formally based on π-calculus らしいので。

その後はポスターレセプション。チケットの引き換えが大変だった。ポスターは結構面白いのがあった。論文をそのまま張ってだけというのもあって少し面食らったけど。発想が面白かったのは「Detecting of Phishing Webpages based on Visual Similarity」。タイトル見ただけで内容がわかっていいね。ポスターが面白かったのは「Does learning how to read Japanese have to be so difficult, and can the Web help!」かな。それから「Soundness Proof of Z Semantics of OWL Using Institution」なんて濃いポスターもあった(こんな濃ゆいポスターを見るとは思わなかった)。あと、PageRank系のポスターも結構あったな。

λ. Types for Verification から一年

そういえば、去年の今頃(2004-05-11,2004-05-12)は Types for Verification というワークショップに参加していたが、最近 Agda を触るようになって、そのときに聴いた Martin-Löf や Peter Dybjer の話への理解がようやく深まってきた気がする。