篠田寿一『帰納的関数と述語』