構成的逆数学の新たな展開と数学定理の計算論的意味の解明 Constructive reverse mathematics and computational content of mathematical theorems
