19/03/16 22:28:06.65 d55EZFA9.net
Loader.cって、たしかn文字のCoCで書かれたプログラムのうち、最大の数を出力するものみたいな感じなんだっけ？
CoCは、ZFCと同じ強さ、表現力があるうえ、
なんと、必ず停止するという最強の利点があるから、これで総当たりしたら絶対でかい数ができるじゃんずる・・・賢いなー
19/03/16 22:28:06.65 d55EZFA9.net
Loader.cって、たしかn文字のCoCで書かれたプログラムのうち、最大の数を出力するものみたいな感じなんだっけ？
CoCは、ZFCと同じ強さ、表現力があるうえ、
なんと、必ず停止するという最強の利点があるから、これで総当たりしたら絶対でかい数ができるじゃんずる・・・賢いなー