| Project/Area Number |
12640107
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | College of Liberal Arts, International Christian University |
|---|
Principal Investigator |
TAKAHASHI Masako International Christian University, College of Liberal Arts, Professor, 教養学部, 教授 (00015588)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
OSAKI Kenji International Christian University, College of Liberal Arts, Professor, 教養学部, 教授 (60160834)
POGOSYAN Grant International Christian University, College of Liberal Arts, Professor, 教養学部, 教授 (90234640)
中村 明 国際基督教大学, 教養学部, 準教授 (00296790)
|
|---|
| Project Period (FY) |
2000 – 2003
|
| Project Status |
Completed (Fiscal Year 2003)
|
| Budget Amount *help |
¥2,500,000 (Direct Cost: ¥2,500,000)
Fiscal Year 2003: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2002: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2001: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2000: ¥700,000 (Direct Cost: ¥700,000)
|
|---|
| Keywords | theory of computation / binary tree / recursive functions / primitive recursive functions / computable tree functions / 万能コンピュータ / コンピュータの歴史 / 数理論理学の歴史 / 型理論 / 証明論 / 項代数 / 原始帰納法 / 計算可能性 / 二分木上の関数 / 木構造を扱うアルゴリズム |
|---|
| Research Abstract |
First, in order to investigate the structure of computable functions over binary trees, we define two classes of recursive funftions by extending the notion of recursive functions over natural numbers in two different ways, and also define the class of functions computable in while-programs over binary trees. Then we show that those classes coincide with the class of conjugates of recursive functions over natural numbers via a standard coding function between binary trees and natural numbers. We also study what happens when we change the coding function, and present a necessary and sufficient condition for a coding function to satisfy the property above mentioned.
Roughly speaking, this means that in studying computability of tree functions, whether one relies on the classical way to reduce the problem to the computability of numeric functions via a coding function (from binary trees to natural numbers) or whether one applies the new notion of recursive tree functions is immaterial, as long as the coding function one chooses is a right one.
While working on computable functions as mentioned above, we noticed the fact that in the early days of investigation of computability, people were concerned with natural numbers as the unique data structure, because in 1930's there was no computers, and no need to be bothered by complex data structures, since there was no one who wrote programs in programming languages which provide facilities to handle various data structures. But nowadays people have a lot of experiences with computers, and write programs in various languages which provide tools for handling various data structures. In this respect, we have been working on what would be a suitable "modernization" of theory of computation.
|
