コンピュータサイエンス
チューリングマシンとかの話で出てくる停止性問題について、とてもわかりやすいたとえ話を聞いたので紹介。 停止性問題 停止性問題(ていしせいもんだい)は、(直接的には)計算可能性理論の問題で、チューリング機械(≒プログラム、アルゴリズム)Aに入力x…
チューリングマシンとかの話で出てくる停止性問題について、とてもわかりやすいたとえ話を聞いたので紹介。 停止性問題 停止性問題(ていしせいもんだい)は、(直接的には)計算可能性理論の問題で、チューリング機械(≒プログラム、アルゴリズム)Aに入力x…