• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2002 Fiscal Year Final Research Report Summary

Multilateral Researches on Computability Problems on the Continuum

Research Project

Project/Area Number 12440031
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionKyoto Sangyo University

Principal Investigator

YASUGI Mariko  Faculty of Science, Professor, 理学部, 教授 (90022277)

Co-Investigator(Kenkyū-buntansha) HAYASHI Susumu  Kobe University, Faculty of Engineering, Professor, 工学部, 教授 (40156443)
MORI Takakazu  Faculty of Science, Associate Professor, 理学部, 助教授 (00065880)
TSUJII Yoshiki  Faculty of Science, Professor, 理学部, 教授 (90065871)
YOSHIKAWA Aisushi  Kyushu University, Graduate School of Mathematics, Professor, 大学院・数理学研究院, 教授 (80001866)
TSUIKI Hideki  Kyoto University, Faculty of Integrated Human Studies, Associate Professor, 総合人間学部, 助教授 (10211377)
Project Period (FY) 2000 – 2002
KeywordsComputability structure / Effectivity / Piecewise continuous function / Uniform space / Limit computability / Domain theory / Linear operator / Constructive logic
Research Abstract

The purpose of this project is the computability structure on the continuum in Pour-E1 style; its extension, application, and formalization. Most of the objectives have been steadily achieved. We here report our results.
The major research target of this project is the computability problems of real discontinuous functions, especially piecewise continuous functions, that is, the foundations of computation of function values at discontinuous points.
1. Limit computation: This is a computation method by taking the limits of recursive functions. We have shown that many of piecewise continuous functions are computable with this method.
2. Effective uniform space: The theory of the computability structure on the uniform space obtained by isolating discontinuous points has been developed. Many of piecewise continuous functions have been shown to be computable in this theory. The equivalence of effective convergences of a function with regards to respectively uniformity and its metrization.
3. Limit computation and uniform space: Under a certain condition, sequential computabilities of a piecewise continuous function with regards to respectively limit computation and uniformity.
4. Method of Walsh analysis: The theory of representing computability notions in terms of Fine metric has been developed, and various notions of computability have been defined.
5. A formal system of limit computable mathematics: A formal system in which limiting computable mathematics can be executed has been defined, and its functional interpretation has been carried out.
6. Computability in functional analysis: Effectivity of solving the invisid partial differential equation and effectivity of some linear operators on the interpolation space have been solved affirmatively.
7. Theories of representing real numbers: Theories of representing a complete uniform space by a uniform domain, and representations of real numbers by respectively Gray codes and a certain category have been developed.

  • Research Products

    (12 results)

All Other

All Publications (12 results)

  • [Publications] M.Yasugi et al.: "Two notions of sequential computability of a function with jump"ENTCS (Proceedings of CCA2002). 66-1. 11 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.Yasugi et al.: "Metrization of the uniform space and effective convergence"MLQ. 48-suppl.1. 123-130 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Mori: "On the computability of Walsh functions"TCS. 284-2. 419-436 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] S.Hayashi et al.: "Towards limit computable mathematics"LNCS. 2277. 125-144 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] A.Yoshikawa: "Interpolation functor and computability"TCS. 284-2. 487-498 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] V.Brattka: "Some notes on Fine Computability"JUCS. 8-3. 382-395 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M. Yasugi, et al.: "Two notions of sequential computability of a function with jumps"ENTCS (Proceedings of CCA2002). 66-1. 11 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M. Yasugi, et al.: "Metrization of the uniform space and effective convergence"MLQ. 48-Suppl. 1. 123-130 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Mori: "On the computability of Walsh functions"TCS. 284-2. 419-136 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] S. Hayashi, et al.: "Towards limit computable mathematics"LNCS. 2277. 125-144 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] A. Yoshikawa: "Interpolation functor and computability"TCS. 284-2. 487-498 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] V. Brattka: "Some notes on Fine computability"JUCS. 8-3. 382-396 (2002)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 2004-04-14  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi