CBもちろん、もっと複雑なラムダ計算の記述式もあります。こちらをご覧ください。B))これを弁当箱にすると、次のようになります。当てはめると、上級編で登場したYコンビネータの弁当箱になります。当てはめると、Yコンビネータの弁当箱になる1122111221つまり、先ほどのラムダ計算の記述式はYコンビネータを表しているのです。B))Yコンビネータを表しているまとめると、本稿では、実はみなさんにラムダ計算を教えていたのです。」という形で教えることで、とっつきやすくしていたというわけですね。本稿では、実はラムダ計算を教えていた。」という形で教えることで、とっつきやすくしていた。15村人の質問に戻ると...ここで、ラムダ村の村人の質問に戻りましょう。弁当箱にできない計算はあるのかな?先ほど、「弁当箱とラムダ計算は同じ」という話をしましたね。上の質問は以下のように言い換えることができます。ラムダ計算にできない計算はあるのかな?では、ラムダ計算にできない計算はあるのでしょうか?結論から言うと、ラムダ計算は、現代のコンピュータが行うことができるすべての計算を行うことができます。あなたのパソコンやスマホができる計算はすべて、ラムダ計算にもできるということです。ラムダ計算は、現代のコンピュータが行えるすべての計算を行うことができるこのことは、1930年代に証明されました。「これから先にどれほど強力な計算機が登場しても、その計算機ができる計算は、理論上はラムダ計算にもできる」ということが数学的に証明されたのです。この証明は難しすぎるので省略します。理論上はラムダ計算にもできる」と1930年代に証明されたそして、弁当箱とラムダ計算は同じなので、弁当箱も、現代のコンピュータが行えるすべての計算を行うことができるというわけですね。チャーチが考案したラムダ計算だけでなく、チューリングが考案した空想上の計算機「チューリングマシン」も、現代のコンピュータが行えるすべての計算を(理論上は)行うことができます。このことも、1930年代に証明されました。先ほど説明したように、ラムダ計算はもともと、とある数学の問題を解くためにチャーチが考案したものでした。ラムダ計算もまた、コンピュータサイエンスの発展に大きな影響を与えたのです。ラムダ計算は、コンピュータサイエンスの発展に大きな影響を与えた特に、ラムダ計算は数々のプログラミング言語に影響を与えました。現存するプログラミング言語の多くには、ラムダ計算の名残が残っています。(パイソン)という言語があります。ちなみにパイソンとは大蛇のことで、Python言語のロゴにもヘビの絵が描かれています。(ラムダ)」という機能があります。以下のPython言語のコードをご覧ください。A)('B')上のPython言語のコードは、以下のラムダ計算とほぼ同じ意味です。