大学で情報工学を学んだけれど、ラムダ計算なんてしたことがない
これって、まずいですか？