全学共通科目講義(1回生〜4回生対象)
|
現代の数学と数理解析 |
―― 基礎概念とその諸科学への広がり |
| |||
第13回 | |||
日時: | 2010年7月16日(金) 16:30−18:00 | ||
場所: | 数理解析研究所 420号室 | ||
講師: | 長谷川 真人 教授 | ||
題目: |
Computer Science Contradicts Mathematics: An Exercise
| ||
要約: |
講義の題目「Computer Science Contradicts Mathematics」は、ある著名な数
学者が、計算機科学で必要とされる数学構造は常識的な数学の世界と(一見)
相容れない、ということについて言及した際のものです。計算という複雑な現
象の背後に隠れている本質的な数学構造を発見・解析することは理論計算機科
学の大きな研究目標のひとつですが、今回の講義では、自分自身を呼び出すよ
うな計算(再帰計算)の分析のために必要な数学構造の構成を、(予備知識を
仮定せずに)実際に「実演」し、それがどのように「Contradicts
Mathematics」なのか、考えたいと思います。
|