関数的プログラミング⑤_理論的基礎_ラムダ計算法 - 共立出版コンピュータサイエンス誌『bit』