講義資料 (Google Colaboratory) 今日の授業の概要 「問題」とは 計算の限界：判定不能問題 Post の対応問題 プログラムの停止性 計算不可能なことを証明するテクニック 文字列の置換問題 （semi-Thue Systemの語の問題）