型付きλ計算を学部の授業で教えてた俺の出た大学は変態なのか