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