質問です。
ラムダ計算の分野と
コンパイラ作成や最適化の分野って
同じ?違う?