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

2009 Fiscal Year Annual Research Report

超準解析と計算可能性理論の融合-ランダム性へのロジカル・アプローチ

Research Project

Project/Area Number 19340019
Research InstitutionTohoku University

Principal Investigator

田中 一之  Tohoku University, 大学院・理学研究科, 教授 (70188291)

Co-Investigator(Kenkyū-buntansha) 山崎 武  東北大学, 大学院・理学研究科, 准教授 (30336812)
Keywords超準解析 / 計算可能性理論 / ランダム性 / 逆数学 / 2階算術
Research Abstract

本研究のメインテーマは、超準解析の論理的基礎付けである。これまで集合論をベースに行われていた超準的方法を、2階算術の弱い体系、とくにWKLoと呼ばれる公理系において展開する技法を数年前に研究代表者が考案し、その改良を続けている。昨年度に引き続き、研究協力者の横山啓太と堀畑佳宏が、この方法でいくつかの重要な結果を導き、種々の研究会で報告している。次のテーマは、2階算術の超準モデルと、実数集合の計算構造について広い意味での基礎研究を行うことである。とくに計算可能な閉集合の次数の研究と、2階算術における種々の決定性公理の比較に関する研究が主テーマの理論を深めるために重要と思われる.前者については、分担者・山崎武と、研究協力者の木原貴行が目覚ましい成果をあげつつある。後者については、代表者が2階算術の上で必要な集合存在公理を特定する研究を行った。第3の研究テーマはランダム性の計算論的研究であるが、これは二つに分かれ、一つはアルゴリズムにおけるランダム性の役割の研究、もう一つはランダム性のアルゴリズム的定義についての研究である。前年度に続き、劉晨光と山崎武と代表者が協力して、ランダム性の定義の系統的な分析を行っている。また、劉晨光と代表者は、生産管理のセル生産システムにおいて生じるセル形成問題に対する実際的有効解の求め方について研究した。劉晨光は、西安理工大学に「決定分析とアルゴリズム設計」という研究センターを立ち上げ、代表者たちとの研究協力体制を確立している。最後に、研究代表者らは、本研究に関連して、いくつかの研究集会を主催した。とくに2010年2月には、Wu Guohua (Singapore)らを招待して、福島県猪苗代でProof TheoryとRecursion Theoryの合同会議を開催した。

  • Research Products

    (4 results)

All 2009

All Journal Article (3 results) (of which Peer Reviewed: 3 results) Presentation (1 results)

  • [Journal Article] A note on multiple inductive definitions2009

    • Author(s)
      K.Tanaka
    • Journal Title

      Proceedings of the 10th Asian Logic Conference

      Pages: 345-352

    • Peer Reviewed
  • [Journal Article] Uncertain Association Rule Mining Approach for Cell Formation Problem in Cellular Manufacturing Systems2009

    • Author(s)
      K.Tanaka
    • Journal Title

      International Journal of Production Research 47(3)

      Pages: 667-685

    • Peer Reviewed
  • [Journal Article] An Algorithm for the Design of Manufacturing Cells2009

    • Author(s)
      K.Tanaka
    • Journal Title

      The 5th IEEE International Conference on Natural Computation

      Pages: 207-211

    • Peer Reviewed
  • [Presentation] An Algorithm for the Design of Manufacturing Cells2009

    • Author(s)
      K.Tanaka
    • Organizer
      5^<th> ICNC and 6^<th> FSKD, 2009
    • Place of Presentation
      Tianjin(中国)
    • Year and Date
      2009-08-14

URL: 

Published: 2011-06-16   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi