TAKAGI-1 みくすと 総合版

Twitter @takagi1TAKAGI-1のはてなブックマークTAKAGI-1 たんぶら

<<2019/03/17 <2019/04/13 ||  

2019/04/14

Twitter

はてなブックマーク

Tumblr


“計算可能性理論において停止(性)問題(ていしせいもんだい・ていしもんだい、halting problem)は、あるチューリング機械(≒コンピュータプログラム・アルゴリズム)が、そのテープのある初期状態(≒入力)に対し、有限時間で停止するか、という問題。アラン・チューリングが1936年、停止性問題を解くチューリング機械が存在しない事をある種の対角線論法のようにして証明した。”

- 停止性問題 - Wikipedia

[ Posted Sun, 14 Apr 2019 13:09:51 ]

 

<<2019/03/17 <2019/04/13 ||  


TAKAGI-1