- 巨大数探索スレッド13
870 :132人目の素数さん[sage]:2018/06/13(水) 21:35:04.50 ID:xW9095UW - >>869
詳しく
|
- コラッツ予想がとけたらいいな その2
248 :132人目の素数さん[sage]:2018/06/13(水) 22:08:23.72 ID:xW9095UW - >>247
ん、これコラッツのプッシュダウンオートマトンなの?
|
- コラッツ予想がとけたらいいな その2
251 :132人目の素数さん[sage]:2018/06/13(水) 22:14:59.61 ID:xW9095UW - 有限オートマトンのこと?
コラッツってそんな弱いの?
|
- コラッツ予想がとけたらいいな その2
253 :132人目の素数さん[sage]:2018/06/13(水) 23:07:39.84 ID:xW9095UW - うーん、プログラムが正しくオートマトンの制限を守ってるかどうか判断できない orz
パッと見、チューリングマシンのようにも見える。LとかRとかあるし。
|