• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2023 年度 研究成果報告書

限定算術における強制法の応用

研究課題

  • PDF
研究課題/領域番号 18K03400
研究種目

基盤研究(C)

配分区分基金
応募区分一般
審査区分 小区分12030:数学基礎関連
研究機関群馬県立女子大学

研究代表者

黒田 覚  群馬県立女子大学, 文学部, 教授 (30300586)

研究期間 (年度) 2018-04-01 – 2024-03-31
キーワード限定算術 / 計算量理論 / 超準モデル
研究成果の概要

本研究において,竹内外史と安本雅洋が提案した,限定算術の超準モデル上での強制法の理論を体系的に整備し,従来は多項式時間計算可能クラスとの関係においてのみ示されていた結果を,そのいくつかの部分クラスでも同様に示した.
また,従来の理論においては極めて弱い論理式のクラスの扱いのみが示されており,例えば鳩の巣原理のような命題のモデルにおける取り扱いについては不可能であったが,より強い論理式を扱う方法を与えた.
さらに,独立命題の候補について考察し,線形代数学におけるいくつかの命題のよわい算術体系における証明可能性を考察した.

自由記述の分野

数理論理学

研究成果の学術的意義や社会的意義

本研究において得られた結果は,限定算術におけるモデルの考察に新たな視点と方法を与えるものであり,必ずしも体系的な方法が与えられていなかったこの分野に大きく貢献するものである.
また,ここで得られた計算量クラスと限定算術体系との関係は,理論計算機科学においてもいくつかの示唆を与えており,複合的な分野にまたがった貢献が期待される.

URL: 

公開日: 2025-01-30  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi