1. 初等関数以下の族での実現可能性解釈 構成的数学、数理論理学、証明論などの文献、他機関の研究者の意見を参考に、実用上重要である多項式時間計算可能関数の族に対する形式体系および実現可能性解釈を調査した。その際、計算の理論、計算の複雑さ理論などの文献、他機関の研究者の意見を参考に、多項式領域計算可能関数、NC、LOGSPACEに対応する族などとの関係について検討を行った。 既存の体系はCobhamの多項式時間計算可能関数の特徴付けを用いているが、この特徴付けの問題点を明確にし、新たな多項式時間計算可能関数の特徴付けを提案した。 2. 評価・検討 他研究機関の研究者の意見を参考に、全体にわたって評価を行い、問題点の明確化、解決案の調査等を行った。 自然数論、初等解析を形式化することを考えたが、自然数論を展開する際の問題点と初等解析を展開する際の問題点では性格が異なり、この両面から形式体系を検討する必要があることがわかった。
|