ラムダ計算

IT用語集

ラムダ計算とは？†

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といった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。

参考†

• 「ラムダ計算」を独学で学習するための，講義ノートや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

動画†

• 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>
  }}

ゲーム†

• 🙂コンピュータサイエンスと魔法のYコンビネータ https://yj.chibicode.com/

ラムダ（λ）という記号の由来†

（参照）入門Haskellプログラミング ＞ LESSON 3 ラムダ（λ）という記号の由来

#html{{

h3 class="well">メニュー</h3>
}}

• 記事一覧
• 書籍紹介
• アイデア

• デザイン
• プログラミング
• ネットワーク・インフラ
• IoT (電子工作)
• ビジネス

#html{{

h3 class="well">まとめ</h3>
}}

• IT用語集
• ネットワーク用語
• ネットワーク講座
• ネットワークスペシャリスト

• DApps (Web 3.0)
• Haskell
• OCaml

• JavaScript
• Elm
• React
• PHP
• CodeIgniter
• WordPress

#html{{

!-- Google Ads -->

script type="text/javascript"><!--
google_ad_client = "ca-pub-1656096348298445";
/* sagasite.info_250x250_20110808 */
google_ad_slot = "6542397273";
google_ad_width = 250;
google_ad_height = 250;

/script>

script type="text/javascript"
src="http://pagead2.googlesyndication.com/pagead/show_ads.js">

/script>
}}

最新の10件

人気の10件

#html{{

p align="center">

a href="http://s09.flagcounter.com/more/lQC"><img src="http://s09.flagcounter.com/count/lQC/bg=FFFFFF/txt=000000/border=CCCCCC/columns=2/maxflags=20/viewers=0/labels=1/" alt="free counters" border="0"></a>

/p>
}}

#html{{

p align="center">

a href="http://px.a8.net/svt/ejp?a8mat=1O73NW+3B2PRM+D8Y+BXYE9" target="_blank">

img border="0" width="125" height="125" alt="" src="http://www28.a8.net/svt/bgt?aid=101108300200&wid=001&eno=01&mid=s00000001717002006000&mc=1"></a>

img border="0" width="1" height="1" src="http://www11.a8.net/0.gif?a8mat=1O73NW+3B2PRM+D8Y+BXYE9" alt="">

/p>
}}

#html{{

!-- X:S ZenBackWidget -->

!--

script type="text/javascript">document.write(unescape("%3Cscript")+" src='http://widget.zenback.jp/?base_uri=http%3A//program.sagasite.info/wiki/&nsid=94351984097772224%3A%3A95034570365255946&rand="+Math.ceil*1+"' type='text/javascript'"+unescape("%3E%3C/script%3E"));</script>

• >

  !-- X:E ZenBackWidget -->
  }}