トップ «前の日記(2007-10-19) 最新 次の日記(2007-10-21)» 月表示 編集

日々の流転


2007-10-20 [長年日記]

λ. 渕一博記念コロキウム『論理と推論技術:四半世紀の展開』

渕一博記念コロキウム『論理と推論技術:四半世紀の展開』 に参加。 ICOT関係者など流石に年配の人が多いな。 遅刻して基調講演は最後しか聞けなかった。 他の発表に関しては内容が盛りだくさんのわりに発表時間が短かったのが少しもったい。 発表資料公開されないかなぁ(2007-11-23追記:公開された)。 それと、F川研の面々に久しぶりに会えて楽しかった。

懇親会には参加せず、RHG読書会の飲み会へ合流。

本日のツッコミ(全2件) [ツッコミを入れる]
ψ K5 (2007-10-22 17:54)

お疲れ様でした。<br>F川研のS井です。<br>僕も遅刻で基調講演の途中からの参加でした。<br><br>発表資料は欲しいですよねー。<br>ところで、<br><br>>RHG読書会の飲み会へ合流<br>この読書会では、何の本を輪読されているのでしょうか?<br>内容によっては参加したいかも、と。<br><br>メールに詳細を送って頂けると嬉しいです。<br>お手数ですが、よろしくお願い致します。

ψ さかい (2007-10-23 07:19)

どうもお疲れ様でしたー<br><br>RHG読書会は今回から PCL http://www.gigamonkeys.com/book/ の日本語訳を読んでいるそうです。<br>http://pub.cozmixng.org/~the-rwiki/rw-cgi.rb?cmd=view;name=RHG%C6%C9%BD%F1%B2%F1%3A%3A%C5%EC%B5%FE+Practical+Common+Lisp