関数の定義可能性