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