ラムダ算法
【らむださんぽう】
【ramudasanpou】
λ演算
ラムダ算法
【らむださんぽう】
【ramudasanpou】
演算