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