広域プログラム最適化理論とその周辺(4)