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陝キ�エ 4隴幢ソス >>
隴鯉ス・隴幢ソス霓」�ォ雎鯉スエ隴幢スィ鬩・�ス陜ィ�ス

123456
78910111213
14151617181920
21222324252627
282930



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


TAKAGI-1  SNS ブログ Webサイト

検索help