新世代プログラミング①_理論(1)_ラムダ計算とコンビネータ論理 - 共立出版コンピュータサイエンス誌『bit』