ラムダ計算

　Wikipedia日本語版より、はてなキーワードの方が詳しい…。