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

2007年10月20日(土) 9:00〜18:00
慶應義塾大学三田キャンパス東館6階 G-SEC Lab (地図

主催:渕一博記念コロキウム組織委員会
協賛:人工知能学会,日本ソフトウェア科学会,情報処理学会

今年は第五世代コンピュータ・プロジェクトが始まってから25年になります. また,同プロジェクトを指揮してこられた渕一博さんが亡くなられてから1年が 経過しました.

この機会に,第五世代プロジェクトや渕さんの周辺で芽生えた技術が,その後 の四半世紀でどのように展開したかを概観するコロキウムを企画しました.

当時から現在に至るまで各分野の第一線で活躍を続けている研究者の方々に, 「現在の視点から」当時の技術とその後の発展,およびそれを踏まえた将来展望 を語っていただきます.今回は特に『論理および推論技術』に焦点をあてて,そ の多様な展開を紹介したいと思います.基調講演は,論理学・計算機科学者であ り歴史学者でもある京都大学の林晋先生にご快諾いただきました.

本コロキウムは,第五世代プロジェクトに関係した方々はもちろんのこと,プ ロジェクトには直接のご関係がなかった皆様にもぜひ多数ご参加いただき,日本 発プロジェクトがきっかけとなって開花した多くの技術にふれていただきたいと 思います.特に,学生は参加費無料としましたので,若手の方々の積極的なご参 加をお待ちしています.

 渕一博記念コロキウム組織委員会
 上田 和紀(代表),佐藤 泰介,近山 隆,中島 克人,新田 克己, 橋田 浩一,古川 康一(五十音順)


【プログラム・講演概要・講演スライド】

こちらをご参照ください.


【懇親会】


【参加申込み方法】

参加される方は下記の申込書の情報をお送りください.学生は無料ですが,会場定員 がございますので,事前申込みをお願いします.お早めの連絡をお待ちします.

参加費は以下の通りです.当日お支払い下さい.

コロキウム参加費 一般: 2,000円, 学生: 無料
懇親会参加費 8,000円


【渕一博記念コロキウム『論理と推論技術:四半世紀の展開』 参加申込書】

返送先・問合せ先: ronri@ntt.dis.titech.ac.jp (半角文字に変換してください)
(受領後数日以内に確認のお返事を差し上げます.)
 ・ 氏名(ふりがな):
 ・ 氏名(漢字):
 ・ 所属:
 ・ 住所:
 ・ 電話:
 ・ FAX:
 ・ E-mailアドレス:
(以下は,該当する選択肢を残してください)
 ・ 会費種別: 一般 ・ 学生
 ・ コロキウム: 参加 ・ 不参加
 ・ 懇親会: 参加 ・ 不参加

Last Update: 2007-10-02