A)('B')'B'まとめると、Python言語のような人気のプログラミング言語も、1930年代に考えられたラムダ計算の影響を間接的に受けているのです。15工夫することそろそろ終わりが近づいてきましたが、最後に「コンピュータサイエンス=計算機科学」についてもう一言だけお話をさせてください。それは、「計算機を工夫すること」が、コンピュータサイエンスではとても大事というお話です。今回紹介したラムダ計算、すなわち弁当箱は、仕組みはとてもシンプルです。弁当箱の基本の法則は、初級その3〜5で紹介したように、非常にシンプルです。こんなシンプルな弁当箱でも、現代のコンピュータが行えるすべての計算を行うことができるのです。それができる理由は、弁当箱を工夫すれば、四則演算や、条件分岐や、繰り返しを行うことができるからです。条件分岐や、繰り返しを行うことができるたとえば今回紹介した通り、Yコンビネータの弁当箱を使えば、繰り返しを行うことができますよね。他にも工夫次第で、さまざまな計算を行うことができます。「Yコンビネータ」の弁当箱を使えば繰り返しを行うことができる1122111221コンピュータサイエンスは、「計算機(コンピュータ)の作り方や使い方をどう工夫すれば、より効率的に問題を解けるのか」について考える学問です。今回学んだ弁当箱は、シンプルでも工夫次第で複雑な計算ができる計算機です。そんな弁当箱には、コンピュータサイエンスのエッセンスが詰まっていると思うのです。弁当箱は、シンプルでも工夫次第で複雑な計算ができる計算機。15コンピュータサイエンスの他の分野でも同じ今回は時間の都合で、たくさんあるコンピュータサイエンスの題材のうち、ラムダ計算(弁当箱)しか紹介できませんでした。いえ、コンピュータサイエンスの他の分野を学ぶときも、やることは弁当箱のときと同じです。どの分野でも、弁当箱のように「計算機(コンピュータ)を工夫して、問題を解く」ことが大事になってくるからです。コンピュータサイエンスのどの分野でも、キーワードは「工夫」なのです。「コンピュータをどう工夫して使えば、美しいCGや、人工知能や、仮想通貨が作れるだろう?」といった感じですね。仮想通貨が作れるだろう?長くなりましたが、本稿を読んで、「コンピュータサイエンスの他の分野でも、コンピュータの工夫の仕方を学んでみたい」と思ってくだされば嬉しいです。15まとめ本稿で学んだことを短くまとめると、以下のようになります。弁当箱は、工夫次第で四則演算や、条件分岐や、繰り返しといった複雑な計算ができる。繰り返しを行う弁当箱をYコンビネータと呼ぶ。弁当箱は、1930年代に考案された空想上の計算機「ラムダ計算」が基になっている。ラムダ計算は、現代のコンピュータが行えるすべての計算を行うことができ、また多くのプログラミング言語に影響を与えた。コンピュータサイエンスは「計算機(コンピュータ)をどう工夫して問題を解くか」を考える学問。工夫次第で複雑な計算ができる弁当箱には、そのエッセンスが詰まっている。チューリング最後に、「その後」の話をしましょう。先述したイギリスの数学者で、空想上の計算機「チューリングマシン」を考案したアラン・チューリング。彼はチューリングマシンを考案したのち、イギリスからアメリカに渡り、ラムダ計算(弁当箱)を考案したチャーチのもとで学びました。チューリングマシンを考案したアラン・チューリングは、ラムダ計算(弁当箱)を考案したチャーチに弟子入りしたその後チューリングはイギリスに戻り、第2次世界大戦でドイツ軍の暗号通信「エニグマ」を解読しました。その後、彼は人工知能の分野でも先駆的な役割を果たし、「人工知能の父」とも呼ばれるようになりました。チューリングは「人工知能の父」にチューリングは同性愛者で、当時のイギリスでは同性愛行為が違法でした。ある日、若い男性との性的関係を持ったことが発覚し、チューリングは有罪になりました。彼は薬品投与による「化学的去勢」を受け続け、42歳になる直前に毒物を服用して亡くなってしまいました。チューリングが亡くなってから55年後の2009年、英政府はチューリングに対する迫害を謝罪し、2013年には亡きチューリングに恩赦が与えられました。この記事の執筆中、2019年7月15日に、イギリスの新しい50ポンド紙幣の肖像にチューリングが採用されることになったのです。その50ポンド紙幣には、彼が考えた空想上の計算機「チューリングマシン」のイラストが載っています。ラムダ村ではその後、ラムダ村はどうなったかというと...村人たちは、何でも計算できる弁当箱を村の外の人たちに売りさばき、大金持ちになろうと悪巧み中です。高く売れる!がっぽり稼ぐぞ!悪魔は暇になったので、日々ミニオンに新しい芸を覚えさせようとしていますが、なかなかうまくいっていません。ミニオン、「おすわり」しなさい!何度言ったらわかるんだ!そして、年頃になったサヤちゃんは、好きなアーティストのコンサートにもっと参戦したいからと言って、ラムダ村を出ていきました。今日も自担が尊い〜以上でおしまいです!ラムダ村の名前の由来も、今回お分かりになったかと思います。ここまでお付き合いくださり、本当にありがとうございました。15プログラマの方へのメッセージ本稿をお読みになったプログラマの方の中には、「これはプログラミング未経験者にとっては難しすぎるのではないか」と思われた方もいるかもしれません。そんな方に伝えたいことがあります。続きを読むありがとうございました!お疲れ様でした!本稿に対するご意見・ご感想を、ぜひ下のツイートを引用リツイートしてご共有ください。本稿の内容について質問がございましたら、上のツイートにスクリーンショット付きで返信してくだされば最優先で対応します。メール(shu@chibicode.com)でもお答えできますが、返事が遅れる可能性が高いです。本稿を読んで、「プログラミング未経験者だけど、コンピュータサイエンスを学びたくなった。次は何を読めばいい?」と思ってくださった方へ:次は何を読めばいい?プログラミング抜きに、コンピュータサイエンスを学べる教材が他にもあればご紹介したいのですが、現時点では筆者がおすすめできるものが見つかっておりません。いうわけで、一定数の方がリクエストしてくださったら、続編を書こうかなと思っています。続編を書くとしたら、人工知能についてプログラミング抜きに学べる教材を作りたいと考えています。続編を書くとしたら人工知能について続編をリクエストしたい方は、以下のツイートの引用リツイートで「続編が読みたい」と書いてくださると嬉しいです。難しい内容の教材でも最後まで読んでもらう工夫についてもまとめました。本稿で多用した工夫ばかりです。ご興味があれば、わたしが共訳した書籍『ファクトフルネス』や、わたしのブログもご覧ください。