それにはformula_86にformula_115を割り当てるとよい。