計算可能解析学
数学ならびに計算機科学において、計算可能解析学（けいさんかのうかいせきがく、）とは、計算可能性理論の観点から解析学を研究する分野である。これは計算可能な仕方で展開可能な実解析学や関数解析学の部分と関わる。この分野は構成的解析学や数値解析と密接に関係する。