Fuchi Memorial Colloquium渕一博記念コロキウム 『論理と推論技術：四半世紀の展開』 2007年10月20日(土) 9:00〜18:00 慶應義塾大学三田キャンパス東館６階 G-SEC Lab （地図） 主催：渕一博記念コロキウム組織委員会 協賛：人工知能学会，日本ソフトウェア科学会，情報処理学会 今年は第五世代コンピュータ・プロジェクトが始まってから25年になります． また，同プロジェクトを指揮してこられた渕一博さんが亡くなられてから１年が 経過しました． この機会に，第五世代プロジェクトや渕さんの周辺で芽生えた技術が，その後 の四半世紀でどのように展開したかを概観するコロキウムを企画しました． 当時から現在に至るまで各分野の第一線で活躍を続けている研究者の方々に， 「現在の視点から」当時の技術とその後の発展，およびそれを踏まえた将来展望 を語っていただきます．今回は特に『論理および推論技術』に焦点をあてて，そ の
