>>817
形無しラムダ計算を教えるためにはLispが必要と考える理由が
むしろ知りたい。