人間は無限の手続きを計算できるの?