Matias Scharager

コンパクトネス補題と再帰プログラミング関数におけるその役割を見てみよう。