制作状況(未リリース分)：極限

ベクトル値関数の極限、距離空間から距離空間への関数の極限に進出。