https://b.hatena.ne.jp/todesking/lambda/ lambdaに関するtodeskingのはてなブックマーク (1) http://members.at.infoseek.co.jp/nbz/ref/lambda.html todesking 2006-05-07T01:32:40Z 情報科学 lambda 63 <blockquote cite="http://members.at.infoseek.co.jp/nbz/ref/lambda.html" title="ラムダ計算ＡＢＣ"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fmembers.at.infoseek.co.jp%2Fnbz%2Fref%2Flambda.html" alt="" /> <a href="http://members.at.infoseek.co.jp/nbz/ref/lambda.html">ラムダ計算ＡＢＣ</a></cite><p><a href="http://members.at.infoseek.co.jp/nbz/ref/lambda.html"><img src="" alt="ラムダ計算ＡＢＣ" title="ラムダ計算ＡＢＣ" class="entry-image" /></a></p><p>仙台ロジック倶楽部 ラムダ計算ＡＢＣ 数学セミナー９２年８月号より Ａ. ラムダ計算とは 今から６０年程前、プリンストン大学の若手論理学者Ａ．チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の&quot;f(x)&quot;という書き方は、それ...</p><p><a href="https://b.hatena.ne.jp/entry/members.at.infoseek.co.jp/nbz/ref/lambda.html"><img src="https://b.hatena.ne.jp/entry/image/http://members.at.infoseek.co.jp/nbz/ref/lambda.html" alt="はてなブックマーク - ラムダ計算ＡＢＣ" title="はてなブックマーク - ラムダ計算ＡＢＣ" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/members.at.infoseek.co.jp/nbz/ref/lambda.html"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote>