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