計算機のアルゴリズムの集合に位相をいれて幾何的にしらべるような分野はありますか?