<<978
全域性を証明することができない関数に対して、十分な定義がされている
と考えるかどうかってこと