2,931 followers
@SakaeFuchino @Amuta151 また多項式時間とまでは言いませんが、PRA (つまり原始再帰) で可能なことはそれなりに有名なfolkloreになっていると思います。例えばなどでは言及されています。https://t.co/OJRaIUZBJZ
@SakaeFuchino @Amuta151 また多項式時間とまでは言いませんが、PRA (つまり原始再帰) で可能なことはそれなりに有名なfolkloreになっていると思います。例えばなどでは言及されています。https://t.co/OJRaIUZBJZ