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

実数関数作用素の多項式時間計算可能性に関する研究

Research Project

Project/Area Number 14780210
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionToho University

Principal Investigator

竹内 泉  東邦大学, 理学部, 講師 (20264583)

Project Period (FY) 2002 – 2003
Project Status Completed (Fiscal Year 2003)
Budget Amount *help
¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 2003: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2002: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywords実数計算 / 構成的数学 / 計算可能性数学
Research Abstract

今年度は引き続き、実数計算の計算量を測る方法について研究してきた。これまでの計算量は整数の上の計算に対して定義されてきたので、実数計算の計算量を量るには、何らかの意味で実数計算を整数の計算と比較しなければならない。そのために、何らかの形で実数の上の計算を、整数の計算として表現する必要がある。
実数を表現する方法にはこれまで幾つか知られている。その代表的なものが、数論的関数による実数の表現と、計算可能性構造によるものである。数論的関数による実数の表現は、ドイツ、ハーゲン放送大学のバイハラーフ教授らによって提唱されているまた計算可能性構造による方法は、ミネソタ大学のプルエル教授や京都産業大学の八杉教授らによって提唱されている。
今年度の研究では、この両者の方法を比較するのに実効的極限作用素を導入した。そして、数学的構造が計算可能であることと、実効的極限作用素が計算可能であることが重要に関連していることを指摘した。実数計算の計算量を測る際には、位相が極めて重要な役割を果たしている。
この成果はフランスで行なわれた国際会議「実数と計算機」にて発表した。

Report

(2 results)
  • 2003 Annual Research Report
  • 2002 Annual Research Report
  • Research Products

    (4 results)

All Other

All Publications (4 results)

  • [Publications] Takeuti Izumi: "Effective Limit in Computable Analysis"5th Conference on Real Numbers & Computers. 161-176 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 竹内 泉: "様相論理の文脈意味論"科学哲学. 36巻2号. 135-150 (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] 竹内 泉: "The normal open set almost equal to a regular omega language"京都大学数理解析研究所講究録「代数系のアルゴリズムと計算論」. 1268. 50-58 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 竹内 泉: "System of logic for necessity"京都大学数理解析研究所講究録「シークエント計算による証明論」. 1301. 122-138 (2002)

    • Related Report
      2002 Annual Research Report

URL: 

Published: 2002-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi