#author("2019-09-15T16:13:17+00:00","default:sagasite","sagasite")
#author("2020-05-13T16:19:43+00:00","default:sagasite","sagasite")
[[IT用語集]]
*ラムダ計算とは？ [#i20e9246]
1930年代、数学者アロンゾ・チャーチが関数と変数（x、y）のみを使用する論理システムの作成を試みました。
この論理システムは[[ラムダ計算]]と呼ばれます。
ラムダ計算では、すべてのものが関数として表されます。
- ラムダ計算 - Google 検索 https://www.google.com/search?q=%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97
- ラムダ計算 - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97
>ラムダ計算（ラムダけいさん、lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（evaluation）と適用（application）としてモデル化・抽象化した計算体系である。
アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。
計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。
*参考 [#ue02d585]
-「ラムダ計算」を独学で学習するための，講義ノートやPDFのリンク集 （復習用の問題付き） - 主に言語とシステム開発に関して https://language-and-engineering.hatenablog.jp/entry/20130313/LambdaCalculusBasicNoteLinks
- ラムダ計算入門 https://www.slideshare.net/_yingtai/lambda-guide
- ラムダ計算をちょっと勉強してみたので、忘れないうちに書いておく - What is it, naokirin? https://naokirin.hatenablog.com/entry/20120309/1331286179
- ラムダ計算の勉強のしかた、プログラム意味論 - きしだのHatena https://nowokay.hatenablog.com/entry/20110926/1317015450#fn-34da927f
* 動画 [#a6aaf20f]
- Lambda calculus. (Hindi & english) - YouTube https://www.youtube.com/watch?v=scNIIQWhjLE
#html{{
<iframe width="560" height="315" src="https://www.youtube.com/embed/scNIIQWhjLE" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>
}}
* ゲーム [#e7e09531]
- 🙂コンピュータサイエンスと魔法のYコンビネータ https://yj.chibicode.com/
** ラムダ（λ）という記号の由来 [#k0d4a3c9]
（参照）[[入門Haskellプログラミング ＞ LESSON 3>Get-Programming-with-Haskell_Lesson_3#ddf6be30]] ラムダ（λ）という記号の由来
