情報処理（講義）2001－2学期.pptVIP

情報数学セミナーチャーチの提唱の周辺 亀山幸義 kam@is.tsukuba.ac.jp http://www.is.tsukuba.ac.jp/~kam * １学期補足資料「計算可能性の話」 N→N 自然数を１つ引数に取り、自然数を１つ返す関数の全体（集合） 理想化されたプログラム言語 たとえば、いくらでも大きな自然数を取り扱えるように拡張されたC言語 対角線論法 N→N　の要素（つまり関数）すべてが、この言語のプログラムとして記述できると仮定すると矛盾 プログラムとしては記述できない関数が存在する * 当然起きる疑問 この話は「理想化されたプログラム言語」として何をとるかに依存するのではないか？ つまり、?計算可能関数」という(一般的な）概念には何の関係もないのではないか？ 単に、「C言語で記述可能なプログラム（関数）の範囲がどうか」という話ではないか？ * 計算機科学の最も基本的な問い 計算とは何か？ 答えはもちろん１つではない 計算機科学の永遠のテーマ * 計算モデル 「計算」はいろいろな意味をもち、様々な形で定義される 現代的な（フォンノイマン型）コンピュータでの計算 数学的な関数による計算、λ計算体系による計算 定理証明手続き 最近の話題 量子計算 DNA計算、自然計算 * 自然な問い さまざまな「計算」の定義の間の関係を知りたい どの計算モデルが強力か？ より