講演会の記録

• 竹内郁雄先生最終講義『発見と創造』
  2013年9月26日(木)
• 渕一博記念コロキウム『論理と推論技術：四半世紀の展開』
  2007年10月20日(土)