新しいプログラミング・パラダイム⑬_プログラム代数とFP - 共立出版コンピュータサイエンス誌『bit』