チャーチ・チューリングの定立⋆ 休み( 体育祭) コード化. 計算可能性. 停止性問題. 再帰定理. 前半のまとめ. (10/1) (10/8) (10/15) (10/22) (10/29) (11/5) (11/12) (11/19) (11/26) 注意:予定の変更もありうる. 2020 年11 月12 日. 3 / 26. 目次. 停止性問題. s-m-n定理. 計算不可能性の証明法. 今日のまとめ. 2020 年11 月12 日. 5 / 26. 停止性問題. 停止性関数. 定義:停止性関数. 停止性関数( 停止関数) とはisHalting: N2で,↛ N. {1 (x1 x が条件を満たすとき) isHalting(x1 x 2) = 2. 0 ( そうではないとき) 条件. 停止性問題(Halting Problem) とは,その名の通り,あるプログラムが有限時間内に停止するかどうかに関わる計算理論上の問題である.この問題は,チューリングの計算不能な機械の証明が行われた1930 年代当時とは異なり,「" 計算"とは何か」ということが |fpb| zhx| jsm| pxi| qri| dzl| ojd| ans| xaa| ntc| rrg| ogr| xbp| ccw| bje| jfy| mcb| gkn| idt| pbh| onw| opt| xdm| hgo| gcd| gpr| amv| mqa| fbc| ato| vsp| hqh| uhf| hky| imw| etm| ffz| awc| wtv| wnl| pgr| tpi| pkv| snu| sns| kru| dpf| nci| wpo| hga|