1. 前のページに戻る

効率的な学習可能性の証明困難さに関する研究

研究課題

戦略的な研究開発の推進 戦略的創造研究推進事業 ACT-X

体系的番号 JPMJAX190M
DOI https://doi.org/10.52926/JPMJAX190M

研究代表者

七島 幹人  東京工業大学, 情報理工学院, 大学院生(修士課程)

研究期間 (年度) 2019 – 2021
概要本研究では,我々がある概念の学習可能性を証明するという行為の計算論的な困難さの解析,及びそれに向けた,新しい理論の構築を目指します.学習可能性の証明困難さを扱うアイデアとして,学習可能性を学習概念クラスの性質として捉え,その証明を学習概念クラスの性質判定問題の一種であるメタ学習問題として定式化することで,その困難さについて,多項式階層や対話証明系などの既存の計算複雑さの理論との関係性を解析します.
研究領域数理・情報のフロンティア

報告書

(4件)
  • 2021 事後評価書 ( PDF )   終了報告書 ( PDF )
  • 2020 年次報告書 ( PDF )
  • 2019 年次報告書 ( PDF )

URL: 

JSTプロジェクトデータベース掲載開始日: 2019-12-25   JSTプロジェクトデータベース最終更新日: 2025-03-26  

サービス概要 よくある質問 利用規約

Powered by NII jst