509(1): デフォルトの名無しさん [] 2024/10/04(金) 23:04:12.66 ID:tixO3LDq(20/22) AAS
βη簡約するとλ項が別の簡約されたλ項になる。この対応関係を数学的関数とみなせると言ってると解釈してる。