ネット时代の情报センス - 情报知识ネットワーク研究室.PPTVIP

ネット時代の情報センス 基礎情報科学のトピックス はじめに 計算理論概説 情報検索技術 データ圧縮技術 喜田のこれまでの研究 さいごに コンピュータができること きれいに整形した文書をプリンタを使って印字できる 3D CGをグリグリ動かして動画を作ることができる 美しい音楽を奏でることができる 本を読むことができる メールを遠くの友人に送ることができる ある決まった手順にしたがって，計算ができる 計算とは？ 計算可能性 コンピュータには（原理的に）計算できない問題がある （プログラムの）停止問題 (1936, Turing)「あるプログラムがきちんと計算を終了して停止するかどうかを決定するようなプログラムは存在しない」 Postの対応問題 (1946, Post)「任意に与えた ? = x1, x2,???, xk, ? = y1, y2,???, yk,に対して， xi1 xi2??? xi k = yi1 y2??? yi kとなる添え字の列が存在するかどうかを決定する問題は非可解である」 アルゴリズムと計算量 計算可能　?　アルゴリズムが存在する 入力長の多項式程度の時間で計算できる　→　P問題 答えが与えられたら，入力長の多項式程度の時間で答えが正しいかどうかを検算できる　→　NP問題 P ? NP ? 問題 まだ未