ここではλ計算はなかったことになってるのか？