Limit-Computable Mathematics and its Applications Susumu Hayashi & Yohji Akama Sep, 22, 2002 CSL’02, Edinburgh, Scotland, UK.