今年は第五世代コンピュータ・プロジェクトが始まってから25年になります. また,同プロジェクトを指揮してこられた渕一博さんが亡くなられてから1年が 経過しました.
この機会に,第五世代プロジェクトや渕さんの周辺で芽生えた技術が,その後 の四半世紀でどのように展開したかを概観するコロキウムを企画しました.
当時から現在に至るまで各分野の第一線で活躍を続けている研究者の方々に, 「現在の視点から」当時の技術とその後の発展,およびそれを踏まえた将来展望 を語っていただきます.今回は特に『論理および推論技術』に焦点をあてて,そ の多様な展開を紹介したいと思います.基調講演は,論理学・計算機科学者であ り歴史学者でもある京都大学の林晋先生にご快諾いただきました.
本コロキウムは,第五世代プロジェクトに関係した方々はもちろんのこと,プ ロジェクトには直接のご関係がなかった皆様にもぜひ多数ご参加いただき,日本 発プロジェクトがきっかけとなって開花した多くの技術にふれていただきたいと 思います.特に,学生は参加費無料としましたので,若手の方々の積極的なご参 加をお待ちしています.
渕一博記念コロキウム組織委員会
上田 和紀(代表),佐藤 泰介,近山 隆,中島 克人,新田 克己,
橋田 浩一,古川 康一(五十音順)
参加される方は下記の申込書の情報をお送りください.学生は無料ですが,会場定員 がございますので,事前申込みをお願いします.お早めの連絡をお待ちします.
参加費は以下の通りです.当日お支払い下さい.
コロキウム参加費 | 一般: 2,000円, 学生: 無料 |
懇親会参加費 | 8,000円 |