チューリングマシンと同じ能力を持つ、「ラムダ計算」のはなしです。

この話は準備中ですが、漫画のページはこちら

コンピュータの動作を決めるためのプログラミング言語には、特徴によって手続き型や、関数型、と言った種類があります。

ここからしばらくは、関数型のプログラミング言語の基礎にもなっている、ラムダ計算についてしばらく見てゆきたいと思います。

参考文献

『プログラミング言語の新潮流』井田哲雄

随分昔に買って、持っていたので参考にしました。基本的なところは問題ないと思いますが、１９８８年初版の本なので、関数型言語についての最近の進歩について書いてある他の本を探したほうが良さそうです。