新しいプログラミング・パラダイム⑰_カテゴリカル・プログラミング