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