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

研究課題

体系的番号	JPMJAX190M
DOI	https://doi.org/10.52926/JPMJAX190M
研究代表者	七島幹人東京工業大学, 情報理工学院, 大学院生(修士課程)
研究期間 (年度)	2019 – 2021
概要	本研究では,我々がある概念の学習可能性を証明するという行為の計算論的な困難さの解析,及びそれに向けた,新しい理論の構築を目指します.学習可能性の証明困難さを扱うアイデアとして,学習可能性を学習概念クラスの性質として捉え,その証明を学習概念クラスの性質判定問題の一種であるメタ学習問題として定式化することで,その困難さについて,多項式階層や対話証明系などの既存の計算複雑さの理論との関係性を解析します.
研究領域	数理・情報のフロンティア

報告書

(4件)