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