lambdaって単語にどうしてこれほど拘るんだろ。
アメリカじゃChurchは論理学の分野で神的存在なんですかね。