トップ «前の日記(2008-02-29) 最新 次の日記(2008-03-02)» 月表示 編集

日々の流転


2008-03-01 [長年日記]

λ. 大岩元先生・古川康一先生 合同最終講義・演奏会

今日は「Hasなんちゃら」もあったそうだけど、こっちに参加。 古川先生にはAbduction勉強会を初めとして、とてもお世話になっていたので、行こうと思っていたのだった。

最終講義は、「第5世代コンピュータからスキルサイエンスへ」というタイトルから、先日の渕一博記念コロキウム『論理と推論技術:四半世紀の展開』(c.f. ヒビルテ(2007-10-20))のときの「帰納・発想論理プログラミングとスキルサイエンス」と同様の話かと思っていたが、自伝的な内容であり、楽しく聞くことが出来た。

もっとも、メインはその後の演奏会だったわけだけど。

それから、色々な人に久しぶりに会えたのがうれしかった。特に、大学にはいって最初の学期(2001年春学期)にとった「論理プログラミング」の授業で一緒だった何人かの人に随分久しぶりに会えたのは楽しかった。

ビデオ

演奏会で演奏していた曲

今日演奏してた曲をナクソス・ミュージック・ライブラリ(NML)で探してみた。

他の方の日記等

本日のツッコミ(全2件) [ツッコミを入れる]
ψ とおる。 (2008-03-17 08:58)

古川康一さんの『帰納論理プログラミング』という本をもっていますが、さかいさんの先生だったんですか。びっくり。

ψ さかい (2008-03-31 01:08)

そうだったのです。<br>そういえば、とおるさん、以前に http://weblo.torus.jp/archives/000153.html でProgolのことを書いてましたね。