ラムダ計算
【らむだけいさん】
【ramudakeisan】
λ演算
ラムダ計算
【らむだけいさん】
【ramudakeisan】
演算