必死チェッカーもどきプログラム > 2014年09月08日

16 位/196 ID中	時間	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	Total
16 位/196 ID中	書き込み数	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	1	0	0	3

使用した名前一覧	書き込んだスレッド一覧
１	集合論に基づいた言語を作りたい

集合論に基づいた言語を作りたい 192 ：１[sage]：2014/09/08(月) 19:36:06.54 ID:ZbTP8aJt: いつの間にか関数型言語スレになってしまったな。
まあ寄り道もいいか。

集合論に基づいた言語を作りたい 193 ：１[sage]：2014/09/08(月) 20:53:29.01 ID:ZbTP8aJt: 無知をさらすようだけど、チューリングマシンで一回テープに書き込んだらそのメモリは書き換えられないマシンがあったら、それはチューリング完全になる？

集合論に基づいた言語を作りたい 195 ：１[sage]：2014/09/08(月) 21:17:06.30 ID:ZbTP8aJt: 直感的にはそうなんだけど、じゃあ一回しかメモリに書き込めないマシンでチューリングマシンをシミュレートしてみろって言われると俺には無理。

※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。