JUCS - Journal of Universal Computer Science 15(6): 1264-1279, doi: 10.3217/jucs-015-06-1264
Fine-computable Functions on the Unit Square and their Integral
expand article infoTakakazu Mori, Mariko Yasugi§, Yoshiki Tsujii§
‡ Faculty of Science, Kyoto Sangyo University, Kyoto, Japan§ Kyoto Sangyo University, Kyoto, Japan
Open Access
Abstract
We discuss the integral and Fubini's Theorem for a Fine-computable function F(x, y) on the upper-right open unit square [0, 1) x [0,1). The core objective is Fine-computability of f(x) = ∫ [0,1) F(x,y)dy as a function of x ∈ [0,1).
Keywords
Fine-computable function, Fubini's Theorem, integral operator