全学共通科目講義(1回生~4回生対象)
|
現代の数学と数理解析 |
―― 基礎概念とその諸科学への広がり |
数学・数理解析の研究の面白さ・深さを、 感性豊かな学生諸君に味わってもらうことを意図して講義し、 原則として予備知識は仮定しない。 | |
日時: | 2017年6月9日(金) 16:30-18:00 |
場所: | 数理解析研究所 420号室 |
講師: | 星野 直彦 助教 |
題目: |
Lawvereの不動点定理
|
要約: |
計算機科学と論理学ではいろいろな場面で良く似た対角線論
法や不動点の構成が現れます。ここではそれらが単に良く似ているというだけ
ではなくLawvereの不動点定理という一つの定理の例になっていることをみます。
参考文献:
|
"http://www.kurims.kyoto-u.ac.jp/ja/special-02.html" |