その上で層が違う系からの連続性を扱っているのが幾何学モデルやヘンテコな数式