新しいプログラミング・パラダイム⑨_等式プログラミングから融合型プログラミングヘ