ラムダ計算はチューリングマシンと等価である
だからラムダ計算が優れている

こんな話もう嫌