16 Gruber,J. and Wise,D. [1997]を参照。