>>345の考えている「実函数」って定義何?