MARCH以上の大学でコンピュータサイエンスを学んでも
ラムダ計算をやらない大学があるんだな

ところでややこしくなるから前は言及しなかったが
俺が中学高校で習った関数は
xの値が決まればyの値が一意に決まるというものだった
この定義だと陰関数は関数ではない
多変数関数はどうなのか等
高校までに習う関数の定義はあまり汎用的な定義ではないよ