コンピュータ・サイエンス入門 （全学共通科目, ２０１１年度前期・木曜第５時限）
数理解析研究所の計算機科学の教員が担当する, 京都大学の全学共通科目に関連する情報のページです. 講義では, 理論計算機科学の主要なトピックのなかからいくつかを, なるべく予備知識を仮定することなく紹介することにより, 受講者にこの研究分野に対する興味を持ってもらうことを目的としています. 講義は数理解析研究所で行います.
講義に関する問い合わせは, 各担当教員までお願いします.
開講時と場所
木曜５限（１６：３０〜）
数理解析研究所４階４２０号室（５月以降は変更）
内容（予定）
- 計算可能性と再帰的関数の理論（４〜５月、照井）
- ラムダ計算とプログラミング言語（５〜６月、勝股）
- 自己言及の論理と計算（６〜７月、長谷川）
試験
レポート試験． ７月１４日の講義中に問題を配布します．
訂正: 問題 I(1)に、 「ただしg(0)=0とする。」 を追加してください。
講義資料
照井担当分 [pdf]， 勝股担当分 その１ [pdf]， 勝股担当分 その２ [pdf]， 長谷川担当分 [pdf]
担当教官と専門分野 （２０１１年度）
- 照井 一成 （てるい・かずしげ） （数理解析研究所） ４〜５月担当
- 数理論理学と理論計算機科学
- 勝股 審也 （かつまた・しんや） （数理解析研究所）５〜６月担当
- 理論計算機科学、特にプログラミング言語の理論
- 長谷川 真人 （はせがわ・まさひと） （数理解析研究所） ６〜７月担当
- 理論計算機科学、特に計算の意味論